Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Sammler
conf.researchr.org general profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2024 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Mon 11 Nov 2019
Name:
Michael Sammler
Country:
Germany
Affiliation:
MPI-SWS
Contributions
2024
PLDI
Author of Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq within the PLDI Research Papers-track
Author of RefinedRust: A Type System for High-Assurance Verification of Rust Programs within the PLDI Research Papers-track
2023
SPLASH
Author of Melocoton: A Program Logic for Verified Interoperability Between OCaml and C within the OOPSLA-track
POPL
Author of Conditional Contextual Refinement within the POPL-track
Author of DimSum: A Decentralized Approach to Multi-language Semantics and Verification within the POPL-track
PriSC
Committee Member in Program Committee within the PriSC 2023-track
2022
SPLASH
Author of BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs within the OOPSLA-track
PLDI
Author of (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the SIGPLAN Track-track
Author of Islaris: Verification of Machine Code Against Authoritative ISA Semantics within the PLDI-track
POPL
Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of VIP: Verifying Real-World C Idioms with Integer-Pointer Casts within the POPL-track
2021
PLDI
Author of RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the PLDI-track
2020
POPL
Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track
Share
x
Mon 13 May 17:26
