Simon Oddershede Gregersen

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