Morten Krogh-Jespersen

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Relational Model

Functional Dependencies

Language Constructs

Derivation Rules

Top Venues

Proc. ACM Program. Lang.

Publications

Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. ESOP (2020)
Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST. Proc. ACM Program. Lang. 2 (POPL) (2018)
Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal
A relational model of types-and-effects in higher-order concurrent separation logic. POPL (2017)