E-LIB Suche - Ergebnisse für: Dreyer, Derek

1

Quiver: Guided Abductive Inference of Separation Logic Spec..:

Spies, Simon ; Gäher, Lennard ; Sammler, Michael.
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 889-913 , 2024

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

2

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

3

A Logical Approach to Type Soundness:

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

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

4

Automated and foundational verification of low-level progra..:

Sammler, Michael , 2023

Link: https://nbn-resolving.de..

5

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

6

Outcome Logic: A Unifying Foundation for Correctness and In..:

Zilberstein, Noam ; Dreyer, Derek ; Silva, Alexandra
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 522-550 , 2023

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

7

Conditional Contextual Refinement:

Song, Youngju ; Cho, Minki ; Lee, Dongjae...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1121-1151 , 2023

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

8

Stuttering for Free:

Cho, Minki ; Song, Youngju ; Lee, Dongjae..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1677-1704 , 2023

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

9

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

10

RustHornBelt: a semantic foundation for functional verifica..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Matsushita, Yusuke ; Denis, Xavier ; Jourdan, Jacques-Henri. - p. 841-856 , 2022

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

11

Concurrent incorrectness separation logic:

Raad, Azalea ; Berdine, Josh ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-29 , 2022

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

12

Concurrent incorrectness separation logic:

Raad, Azalea ; Berdine, Josh ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-29 , 2022

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

13

Proving hypersafety compositionally:

D'Osualdo, Emanuele ; Farzan, Azadeh ; Dreyer, Derek
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 289-314 , 2022

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

14

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

15

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