Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Lars Birkedal

Modular Reasoning About Separation of Concurrent Data Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Essence of Higher-Order Concurrent Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Transfinite Step-Indexing: Decoupling Concrete and Logical Steps

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Modular Verification of Linked Lists With Views via Separation Logic.

Journal of Object Technology
Software
2011English

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy