Concepedia

Simon Oddershede Gregersen

SO

Statistics

Publications

4

Citations

61

H-Index

4

Active since

2021

Affiliations

Aarhus University(Current)

Simon Oddershede Gregersen is an author at Aarhus University specializing in coq, computer science, and computing.

ORCID

Publications per year

2021–2024

4

Publications

4

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al. · Proceedings of the ACM on Programming Languages · 2024 · 20 citations · Full text

, , +14

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

Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto et al. · Proceedings of the ACM on Programming Languages · 2021 · 17 citations · Full text

, , +17

Mechanized logical relations for termination-insensitive noninterference

Simon Oddershede Gregersen, Johan Bay, Amin Timany et al. · Proceedings of the ACM on Programming Languages · 2021 · 13 citations · Full text

, , +16

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

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al. · Proceedings of the ACM on Programming Languages · 2024 · 11 citations · Full text

, , +15

1–4 of 4