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