conf.researchr.org / Lars Birkedal
Registered user since Wed 15 Feb 2017
Name:Lars Birkedal
Country:Denmark
Affiliation:Aarhus University
Personal website: http://cs.au.dk/~birke/
Contributions
2024
SPLASH
ICFP
- Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the Artifact Evaluation-track
- Author of Almost-Sure Termination by Guarded Refinement within the ICFP Papers and Events-track
- Author of Almost-Sure Termination by Guarded Refinement within the Artifact Evaluation-track
- Author of Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs within the ICFP Papers and Events-track
RTFM
POPL
- Author of An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic within the POPL-track
- Author of Modular Denotational Semantics for Effects with Guarded Interaction Trees within the POPL-track
- Author of Asynchronous Probabilistic Couplings in Higher-Order Separation Logic within the POPL-track
- Author of Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement within the POPL-track
- Author of The Logical Essence of Well-Bracketed Control Flow within the POPL-track
- Author of The Essence of Generalized Algebraic Data Types within the POPL-track
2023
SPLASH
ICFP
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the Artifact Evaluation-track
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the ICFP Papers and Events-track
PLDI
2022
SPLASH
ICFP
2021
ICFP
POPL
- Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
- Author of Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic within the POPL-track
- Author of Mechanized Logical Relations for Termination-Insensitive Noninterference within the POPL-track
CPP
2020
POPL
- Session Chair of Automatic Differentiation / Kleene Algebra (part of Research Papers)
- Program Chair in Organizing Committee
- PC Chair in Program Committee within the Research Papers-track
- Session Chair of Invited Talk (part of Research Papers)
- Session Chair of Welcome + SIGPLAN Award Ceremony (part of Research Papers)
2019
ICFP
POPL
- Author of StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities within the Research Papers-track
- Author of Iron: Managing Obligations in Higher-Order Concurrent Separation Logic within the Research Papers-track
- Presenter of POPL 2020 Announcement within the Research Papers-track
2018
POPL
- Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Research Papers-track
- Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Artifact Evaluation-track
- Session Chair of Probability (part of Research Papers)
- Session Chair of Outside the box (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
2017
POPL
- ERC member in External Review Committee within the POPL-track
- Author of Interactive Proofs in Higher-Order Concurrent Separation Logic within the POPL-track
- Session Chair of Semantic Foundations (part of POPL)
- Author of A Relational Model of Types-and-Effects in Higher-Order Concurrent Separation Logic within the POPL-track