Browsing by author "Birkedal, Lars"
Now showing items 1-5 of 5
-
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
Timany, Amin; Stefanesco, Léo; Krogh-Jespersen, Morten; Birkedal, Lars (2018) -
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Georges, Aina Linn; Gueneau, Armael; Van Strydonck, Thomas; Timany, Amin; Trieu, Alix; Devriese, Dominique; Birkedal, Lars (2024) -
Interactive proofs in higher-order concurrent separation logic
Krebbers, Robert; Timany, Amin; Birkedal, Lars (2017) -
Multimodal Dependent Type Theory
Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas; Birkedal, Lars (2020) -
Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)
Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars (2018)