Simon Oddershede Gregersen

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al. · Proceedings of the ACM on Programming Languages · 2024 · 18 citations · Full text

Distributed causal memory: modular specification and verification in higher-order distributed separation logic

Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto et al. · Proceedings of the ACM on Programming Languages · 2021 · 15 citations · Full text

Engineering, Verification, Coq Formalization +22

Mechanized logical relations for termination-insensitive noninterference

Simon Oddershede Gregersen, Johan Bay, Amin Timany et al. · Proceedings of the ACM on Programming Languages · 2021 · 12 citations · Full text

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al. · Proceedings of the ACM on Programming Languages · 2024 · 10 citations · Full text