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