Suivre
Simon Oddershede Gregersen
Simon Oddershede Gregersen
Postdoctoral fellow, New York University
Adresse e-mail validée de nyu.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
522020
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
232021
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
21*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
202021
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
172024
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
Error credits: Resourceful reasoning about error bounds for higher-order probabilistic programs
A Aguirre, PG Haselwarter, M de Medeiros, KH Li, SO Gregersen, ...
Proceedings of the ACM on Programming Languages 8 (ICFP), 284-316, 2024
52024
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
PG Haselwarter, KH Li, M de Medeiros, SO Gregersen, A Aguirre, ...
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1189-1218, 2024
22024
Almost-Sure Termination by Guarded Refinement
SO Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, L Birkedal
Proceedings of the ACM on Programming Languages 8 (ICFP), 203-233, 2024
22024
Approximate Relational Reasoning for Higher-Order Probabilistic Programs
PG Haselwarter, KH Li, A Aguirre, SO Gregersen, J Tassarotti, L Birkedal
Proceedings of the ACM on Programming Languages 9 (POPL), 1196-1226, 2025
12025
Higher-Order Separation Logic for Distributed Systems and Security
SO Gregersen
PhD thesis, Aarhus University, 2023
12023
Logical Relations for Formally Verified Authenticated Data Structures
SO Gregersen, C Agarwal, J Tassarotti
arXiv preprint arXiv:2501.10802, 2025
2025
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12