E-LIB Suche - Ergebnisse für: Krebbers, Robbert

1

RefinedRust: A Type System for High-Assurance Verification ..:

Gäher, Lennard ; Sammler, Michael ; Jung, Ralf..
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1115-1139 , 2024

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

2

Unification for Subformula Linking under Quantifiers:

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

Mulder, Ike ; Krebbers, Robbert - p. 75-88 , 2024

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

3

Logics and Type Systems in Theory and Practice: Essays Dedi..

Lecture Notes in Computer Science, 14560

Capretta, Venanzio ; Krebbers, Robbert ; Wiedijk, Freek - 1st ed. 2024 . , 2024

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

4

A Logical Approach to Type Soundness:

Timany, Amin ; Krebbers, Robbert ; Dreyer, Derek.
Journal of the ACM. , 2024

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

5

Deadlock-Free Separation Logic: Linearity Yields Progress f..:

Jacobs, Jules ; Hinrichsen, Jonas Kastberg ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1385-1417 , 2024

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

6

A Proof Recipe for Linearizability in Relaxed Memory Separa..:

Park, Sunho ; Kim, Jaewoo ; Mulder, Ike...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 175-198 , 2024

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

7

Proceedings of the 12th ACM SIGPLAN International Conferenc..:

Krebbers, Robbert ; Traytel, Dmitriy ; Pientka, Brigitte. , 2023

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

8

Dependent Session Protocols in Separation Logic from First ..:

Jacobs, Jules ; Hinrichsen, Jonas Kastberg ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 768-795 , 2023

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

9

Proof Automation for Linearizability in Separation Logic:

Mulder, Ike ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 462-491 , 2023

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

10

DimSum: A Decentralized Approach to Multi-language Semantic..:

Sammler, Michael ; Spies, Simon ; Song, Youngju...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 775-805 , 2023

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

11

Multiparty GV: functional multiparty session types with cer..:

Jacobs, Jules ; Balzer, Stephanie ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 466-495 , 2022

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

12

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

13

Simuliris: a separation logic framework for verifying concu..:

Gäher, Lennard ; Sammler, Michael ; Spies, Simon...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

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

14

VIP: verifying real-world C idioms with integer-pointer cas..:

Lepigre, Rodolphe ; Sammler, Michael ; Memarian, Kayvan...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

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

15

Actris 2.0: Asynchronous Session-Type Based Reasoning in Se..:

Hinrichsen, Jonas Kastberg ; Bengtson, Jesper ; Krebbers, Robbert
Logical Methods in Computer Science. 18, Issue 2 (2022) - p. , 2022

Link: https://doi.org/10.46298..