E-LIB Suche - Ergebnisse für: Birkedal, Lars

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

Modular Denotational Semantics for Effects with Guarded Int..:

Frumin, Dan ; Timany, Amin ; Birkedal, Lars
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 332-361 , 2024

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

3

An Axiomatic Basis for Computer Programming on the Relaxed ..:

Hammond, Angus ; Liu, Zongyuan ; Pérami, Thibaut...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 604-637 , 2024

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

4

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
Journal of the ACM. 71 (2024) 1 - p. 1-59 , 2024

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

5

The Essence of Generalized Algebraic Data Types:

Sieczkowski, Filip ; Stepanenko, Sergei ; Sterling, Jonathan.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 695-723 , 2024

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

6

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

7

The Logical Essence of Well-Bracketed Control Flow:

Timany, Amin ; Guéneau, Armaël ; Birkedal, Lars
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 575-603 , 2024

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

8

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

9

Melocoton: A Program Logic for Verified Interoperability Be..:

Guéneau, Armaël ; Hostert, Johannes ; Spies, Simon...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 716-744 , 2023

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

10

Step-Indexed Logical Relations for Countable Nondeterminism..:

Aguirre, Alejandro ; Birkedal, Lars
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 33-60 , 2023

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

11

Spirea: A Mechanized Concurrent Separation Logic for Weak P..:

Vindum, Simon Friis ; Birkedal, Lars
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 632-657 , 2023

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

12

Modalities and Parametric Adjoints:

Gratzer, Daniel ; Cavallo, Evan ; Kavvos, G. A...
ACM Transactions on Computational Logic. 23 (2022) 3 - p. 1-29 , 2022

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

13

Later credits: resourceful reasoning for the later modality:

Spies, Simon ; Gäher, Lennard ; Tassarotti, Joseph...
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 283-311 , 2022

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

14

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

15

Modalities and Parametric Adjoints:

Gratzer, Daniel ; Cavallo, Evan ; Kavvos, G. A...
ACM Transactions on Computational Logic (TOCL). 23 (2022) 3 - p. 1-29 , 2022

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