Find

Department of Computer Science

Lars Birkedal

Professor

Department of Computer Science
Åbogade 34
building 5341, 225/227
8200 Aarhus N
Denmark
birkedal@cs.au.dk
Phone: +4523838546
Mobile: +4523838546

Published
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Compositional Non-interference for Concurrent Programs via Separation and Framing
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 48915576