E-LIB Suche - Ergebnisse für: Gondelman, Léon

1

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/..

2

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 847-877 , 2023

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

3

Modular verification of op-based CRDTs in separation logic:

Nieto, Abel ; Gondelman, Léon ; Reynaud, Alban..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1788-1816 , 2022

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

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://dl.acm.org/doi/1..

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://doi.org/10.1145/..

6

Semi-automated Reasoning About Non-determinism in C Express..:

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

Frumin, Dan ; Gondelman, Léon ; Krebbers, Robbert - p. 60-87 , 2019

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

7

Finite sets in homotopy type theory:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Frumin, Dan ; Geuvers, Herman ; Gondelman, Léon. - p. 201-214 , 2018

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

8

The Matrix Reproved (Verification Pearl):

Clochard, Martin ; Gondelman, Léon ; Pereira, Mário
Journal of Automated Reasoning. 60 (2017) 3 - p. 365-383 , 2017

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

9

The spirit of ghost code:

Filliâtre, Jean-Christophe ; Gondelman, Léon ; Paskevich, Andrei
Formal Methods in System Design. 48 (2016) 3 - p. 152-174 , 2016

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

10

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

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

11

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
2475-1421. , 2023

Link: http://hdl.handle.net/10..

12

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

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

13

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

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

14

Modular Verification of State-Based CRDTs in Separation Log..:

Nieto Rodriguez, Abel ; Daby-Seesaram, Arnaud ; Gondelman, Léon..
https://pure.au.dk/portal/en/publications/d5b5331f-b446-407b-8894-f17930544cf4. , 2023

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

15

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

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