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
442020
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
222021
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
18*2024
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
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
102019
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
62024
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
A Aguirre, PG Haselwarter, M de Medeiros, KH Li, SO Gregersen, ...
arXiv preprint arXiv:2404.14223, 2024
12024
Higher-Order Separation Logic for Distributed Systems and Security
SO Gregersen
PhD thesis, Aarhus University, 2023
12023
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
PG Haselwarter, KH Li, M de Medeiros, SO Gregersen, A Aguirre, ...
arXiv preprint arXiv:2405.20083, 2024
2024
Almost-Sure Termination by Guarded Refinement
SO Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, L Birkedal
arXiv preprint arXiv:2404.08494, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–10