E-LIB Suche - Ergebnisse für: Gregersen, Simon Oddershede

1

Asynchronous Probabilistic Couplings in Higher-Order Separa..:

Gregersen, Simon Oddershede ; Aguirre, Alejandro ; Haselwarter, Philipp G...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 753-784 , 2024

Link: https://doi.org/10.1145/..

2

Trillium: Higher-Order Concurrent and Distributed Separatio..:

Timany, Amin ; Gregersen, Simon Oddershede ; Stefanesco, Léo...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 241-272 , 2024

Link: https://doi.org/10.1145/..

3

Mechanized logical relations for termination-insensitive no..:

Gregersen, Simon Oddershede ; Bay, Johan ; Timany, Amin.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

Link: https://dl.acm.org/doi/1..

4

Distributed causal memory: modular specification and verifi..:

Gondelman, Léon ; Gregersen, Simon Oddershede ; Nieto, Abel..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

5

Distributed causal memory: modular specification and verifi..:

Gondelman, Léon ; Gregersen, Simon Oddershede ; Nieto, Abel..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

Link: https://dl.acm.org/doi/1..

6

Mechanized logical relations for termination-insensitive no..:

Gregersen, Simon Oddershede ; Bay, Johan ; Timany, Amin.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

7

Aneris: A Mechanised Logic for Modular Reasoning about Dist..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Krogh-Jespersen, Morten ; Timany, Amin ; Ohlenbusch, Marit Edna.. - p. 336-365 , 2020

Link: https://doi.org/10.1007/..

8

Asynchronous Probabilistic Couplings in Higher-Order Separa..:

Gregersen, Simon Oddershede ; Aguirre, Alejandro ; Haselwarter, Philipp G..
http://arxiv.org/abs/2301.10061. , 2023

Link: http://arxiv.org/abs/230..

9

Mechanized logical relations for termination-insensitive no..:

Gregersen, Simon Oddershede ; Bay, Johan ; Timany, Amin.
https://pure.au.dk/portal/en/publications/d1db6d07-d3ac-4927-b376-27e54f96a8bb. , 2021

Link: https://pure.au.dk/porta..

10

Distributed causal memory:Modular specification and verific..:

Gondelman, Léon ; Gregersen, Simon Oddershede ; Nieto, Abel..
https://pure.au.dk/portal/en/publications/33a5db27-8cc9-4e30-802d-76fc4dcbbc77. , 2021

Link: https://pure.au.dk/porta..

11

Trillium: Higher-Order Concurrent and Distributed Separatio..:

Timany, Amin ; Gregersen, Simon Oddershede ; Stefanesco, Léo...
http://arxiv.org/abs/2109.07863. , 2021

Link: http://arxiv.org/abs/210..

12

Aneris:A Mechanised Logic for Modular Reasoning about Distr..:

Krogh-Jespersen, Morten ; Timany, Amin ; Ohlenbusch, Marit Edna..
https://pure.au.dk/portal/en/publications/d0fae9bf-b962-4755-8822-a9baf1f715ec. , 2020

Link: https://pure.au.dk/porta..

13

Aneris: A Mechanised Logic for Modular Reasoning about Dist..:

Krogh-Jespersen, Morten ; Timany, Amin ; Ohlenbusch, Marit Edna..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702244/. , 2020

Link: http://www.ncbi.nlm.nih...

14

A Dependently Typed Library for Static Information-Flow Con..:

Gregersen, Simon Oddershede ; Thomsen, Søren Eller ; Askarov, Aslan
https://pure.au.dk/portal/en/publications/509b4f64-791c-453c-81ee-a05ab73f2c4b. , 2019

Link: https://pure.au.dk/porta..

15

Asynchronous Probabilistic Couplings in Higher-Order Separa..:

Simon Oddershede Gregersen ; Alejandro Aguirre ; Philipp G. Haselwarter..
doi:10.48550/arXiv.2301.10061. , 2023

Link: https://zenodo.org/recor..