conf.researchr.org / Peter Müller
Registered user since Wed 18 Jun 2014
Name:Peter Müller
Country:Switzerland
Affiliation:ETH Zurich
Personal website: http://www.pm.inf.ethz.ch
Contributions
2024
PLDI
- Author of Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties within the PLDI Research Papers-track
- Author of Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language within the PLDI Research Papers-track
- Area Chair in PLDI Review Committee within the PLDI Research Papers-track
RTFM
2023
2022
SPLASH
2021
2020
SPLASH
- Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track
- Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track
- Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track
2019
SPLASH
- Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track
- Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track
- Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA Artifacts-track
- Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track