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
2025
2024
SPLASH
PLDI
- Author of Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties within the PLDI Research Papers-track
- Session Chair of Formally Verified (part of PLDI Research Papers)
- 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
- Panelist of Panel: Promotion and Tenure within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Speaker of On Long-Term Research Problem Selection within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Speaker in Speakers and Panelists within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
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