Registered user since Wed 15 Feb 2017
Name:Lars Birkedal
Country:Denmark
Affiliation:Aarhus University
Personal website: http://cs.au.dk/~birke/
Contributions
2024
POPL
- An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
- Modular Denotational Semantics for Effects with Guarded Interaction Trees
- Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
- Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
- The Logical Essence of Well-Bracketed Control Flow
- The Essence of Generalized Algebraic Data Types
POPL 2024-profile
View general profile
View general profile