Simon Oddershede Gregersen | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Lars Birkedal
15 publications
Joseph Tassarotti
9 publications
Alejandro Aguirre
6 publications
Léo Stefanesco
6 publications
Amin Timany
6 publications
Abel Nieto
3 publications
Léon Gondelman
2 publications
Philipp Haselwarter
1 publication

research

∙ 01/24/2023

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Probabilistic couplings are the foundation for many probabilistic relati...

0 Simon Oddershede Gregersen, et al. ∙

research

∙ 09/16/2021

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic

We present a unification of refinement and Hoare-style reasoning in a fo...

0 Amin Timany, et al. ∙

Success!

An error occurred