Programming languages in security: keynote
Abstract
No abstract available.
Related papers
- A new approach for software correctness and reliability (keynote) SLE 2018
- Confluences in programming languages research (keynote) POPL 2016
- Redex: a language for lightweight semantics engineering (keynote) SLE 2016
- Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion CAV 2000
- Engineering meta-languages for specifying software languages (keynote) SLE 2017
- Bringing Mixed-Stage Programming to OCaml (Keynote) GPCE 2026
- Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) GPCE 2026
- CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote) CPP 2023