E-LIB Suche - Ergebnisse für: Sammler, Michael

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

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

3

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

Sammler, Michael , 2023

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

4

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

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

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

7

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

8

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

9

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

10

BFF: foundational and automated verification of bitfield-ma..:

Zhu, Fengmin ; Sammler, Michael ; Lepigre, Rodolphe..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1613-1638 , 2022

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

11

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

12

Islaris: verification of machine code against authoritative..:

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

Sammler, Michael ; Hammond, Angus ; Lepigre, Rodolphe... - p. 825-840 , 2022

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

13

RefinedC: automating the foundational verification of C cod..:

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

Sammler, Michael ; Lepigre, Rodolphe ; Krebbers, Robbert... - p. 158-174 , 2021

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

14

The high-level benefits of low-level sandboxing:

Sammler, Michael ; Garg, Deepak ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-32 , 2019

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

15

The high-level benefits of low-level sandboxing:

Sammler, Michael ; Garg, Deepak ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-32 , 2019

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