Follow
Simon Oddershede Gregersen
Simon Oddershede Gregersen
Postdoctoral fellow, New York University
Verified email at nyu.edu - Homepage
Title
Cited by
Cited by
Year
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
M Krogh-Jespersen, A Timany, ME Ohlenbusch, SO Gregersen, ...
European Symposium on Programming, 336-365, 2020
412020
Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic
L Gondelman, SO Gregersen, A Nieto, A Timany, L Birkedal
Proceedings of the ACM on Programming Languages 5 (POPL), 42:1-42:29, 2021
212021
Mechanized Logical Relations for Termination-Insensitive Noninterference
SO Gregersen, J Bay, A Timany, L Birkedal
Proceedings of the ACM on Programming Languages 5 (POPL), 10:1-10:29, 2021
172021
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
A Timany, SO Gregersen, L Stefanesco, JK Hinrichsen, A Nieto, ...
Proceedings of the ACM on Programming Languages 8 (POPL), 9:241–272, 2024
16*2024
A Dependently Typed Library for Static Information-Flow Control in Idris
S Gregersen, SE Thomsen, A Askarov
International Conference on Principles of Security and Trust, 51-75, 2019
92019
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
SO Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, L Birkedal
Proceedings of the ACM on Programming Languages 8 (POPL), 753-784, 2024
42024
Higher-Order Separation Logic for Distributed Systems and Security
SO Gregersen
PhD thesis, Aarhus University, 2023
12023
Almost-Sure Termination by Guarded Refinement
S Oddershede Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, ...
arXiv e-prints, arXiv: 2404.08494, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–8