Michael Sammler

Orcid: 0000-0003-4591-743X

According to our database1, Michael Sammler authored at least 14 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.
Proc. ACM Program. Lang., 2024

RefinedRust: A Type System for High-Assurance Verification of Rust Programs.
Proc. ACM Program. Lang., 2024

Formal Foundations for Translational Separation Logic Verifiers (extended version).
CoRR, 2024

2023
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C.
Proc. ACM Program. Lang., October, 2023

Conditional Contextual Refinement.
Proc. ACM Program. Lang., January, 2023

DimSum: A Decentralized Approach to Multi-language Semantics and Verification.
Proc. ACM Program. Lang., January, 2023

Automated and foundational verification of low-level programs.
PhD thesis, 2023

2022
BFF: foundational and automated verification of bitfield-manipulating programs.
Proc. ACM Program. Lang., 2022

VIP: verifying real-world C idioms with integer-pointer casts.
Proc. ACM Program. Lang., 2022

Simuliris: a separation logic framework for verifying concurrent program optimizations.
Proc. ACM Program. Lang., 2022

Islaris: verification of machine code against authoritative ISA semantics.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021
RefinedC: automating the foundational verification of C code with refined ownership types.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
The high-level benefits of low-level sandboxing.
Proc. ACM Program. Lang., 2020

2019
ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK).
Proceedings of the 28th USENIX Security Symposium, 2019


  Loading...