Simon Oddershede Gregersen

According to our database, Simon Oddershede Gregersen authored at least 16 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Logical Relations for Formally Verified Authenticated Data Structures.

Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

CoRR, January, 2025

Approximate Relational Reasoning for Higher-Order Probabilistic Programs.

Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., 2025

2024

Almost-Sure Termination by Guarded Refinement - Coq Artifact.

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Dataset, June, 2024

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs - Coq Artifact.

Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal

Dataset, June, 2024

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

Tachis: Higher-Order Separation Logic with Credits for Expected Costs.

Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., 2024

Almost-Sure Termination by Guarded Refinement.

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., 2024

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.

Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., 2024

2023

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement - Coq Artifact.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Dataset, November, 2023

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic - Coq Artifact.

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Dataset, October, 2023

2021

Mechanized logical relations for termination-insensitive noninterference.

Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., 2021

Distributed causal memory: modular specification and verification in higher-order distributed separation logic.

Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., 2021

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal

CoRR, 2021

2020

Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems.

Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2020

2019

A Dependently Typed Library for Static Information-Flow Control in Idris.

Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019