Morten Krogh-Jespersen

According to our database, Morten Krogh-Jespersen authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems.

Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2020

2018

A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST.

Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal

Proc. ACM Program. Lang., 2018

2017

A relational model of types-and-effects in higher-order concurrent separation logic.

Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017