Simon Oddershede Gregersen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Probabilistic Logic Programs

Distributed Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal
Tachis: Higher-Order Separation Logic with Credits for Expected Costs. CoRR (2024)
Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Approximate Relational Reasoning for Higher-Order Probabilistic Programs. CoRR (2024)
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proc. ACM Program. Lang. 8 (POPL) (2024)
Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal
Almost-Sure Termination by Guarded Refinement. CoRR (2024)
Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs. CoRR (2024)
Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proc. ACM Program. Lang. 8 (POPL) (2024)
Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. CoRR (2023)
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic. CoRR (2021)
Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal
Distributed causal memory: modular specification and verification in higher-order distributed separation logic. Proc. ACM Program. Lang. 5 (POPL) (2021)
Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal
Mechanized logical relations for termination-insensitive noninterference. Proc. ACM Program. Lang. 5 (POPL) (2021)
Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. ESOP (2020)
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
A Dependently Typed Library for Static Information-Flow Control in Idris. POST (2019)
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
A Dependently Typed Library for Static Information-Flow Control in Idris. CoRR (2019)