Concepedia

Lars Birkedal

LB

Statistics

Publications

108

Citations

4.9K

H-Index

37

Active since

1993

Affiliations

Aarhus University(Current)

IT University of Copenhagen

Max Planck Institute for Software Systems

Carnegie Mellon University

University of Copenhagen

Lars Birkedal is an author at Aarhus University specializing in computer science, computing, and programming languages.

Publications per year

1993–2024

108

Publications

108

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan et al. · Journal of Functional Programming · 2018 · 368 citations · Full text

Computing, Computer Science, Formal Methods +16

Iris

Ralf Jung, David Swasey, Filip Sieczkowski et al. · 2014 · 273 citations

Computing, Computer Science, Data Science +17

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner et al. · 2013 · 158 citations

Computing, Computer Systems, Distributed Systems +16

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · ACM SIGPLAN Notices · 2008 · 140 citations · Full text

Computing, Computer Science, Formal Methods +15

Polymorphism and separation in hoare type theory

Aleksandar Nanevski, Greg Morrisett, Lars Birkedal · 2006 · 138 citations · Full text

Computing, Computer Science, Formal Methods +13

1–5 of 108