![Peter Müller](https://pldi24.sigplan.org/getProfileImage/petermller/c36bf749-7b3f-4d1a-8a81-a13594a0b851/small.jpg?1720987563000)
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
- Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
- Session Chair of Formally Verified (part of PLDI Research Papers)
- Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
- Area Chair in PLDI Review Committee within the PLDI Research Papers-track
PLDI 2024-profile
View general profile
View general profile