Péter Müller

ETH Zurich — Switzerland

Computer Science · Physical Sciences

36h-index5.2kcitations330works3.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(128), Formal Methods in Verification(97), Security and Verification in Computing(71), Software Testing and Debugging Techniques(50), Advanced Software Engineering Methodologies(37)

Publications329 total

Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router
2025· 1 citedOpen Access
Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees
Proceedings of the ACM on Programming Languages·2025Open Access
Modular Reasoning about Global Variables and Their Initialization
Proceedings of the ACM on Programming Languages·2025Open Access
A Refinement Methodology for Distributed Programs in Rust
Proceedings of the ACM on Programming Languages·2025Open Access
Avionics Virtual Integration Platform to Support Simulation-Based Validation and Verification
2025· 1 cited
Destabilizing Iris
Proceedings of the ACM on Programming Languages·2025· 2 citedOpen Access
On Euler's magic matrices of sizes $3$ and $8$
arXiv (Cornell University)·2025Open Access
Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
arXiv (Cornell University)·2025Open Access
Formal Foundations for Translational Separation Logic Verifiers
Proceedings of the ACM on Programming Languages·2025· 5 citedOpen Access
Fifteen Years of Viper
Lecture notes in computer science·2025Open Access
Accelerating Automated Program Verifiers by Automatic Proof Localization
Lecture notes in computer science·2025Open Access
Verifiable Security Policies for Distributed Systems
2024· 1 citedOpen Access
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Proceedings of the ACM on Programming Languages·2024· 3 citedOpen Access
Towards certifiable AI in aviation: landscape, challenges, and opportunities
arXiv (Cornell University)·2024· 2 citedOpen Access
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
Proceedings of the ACM on Programming Languages·2024· 21 citedOpen Access
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
Proceedings of the ACM on Programming Languages·2024· 5 citedOpen Access
On Formal Methods Thinking in Computer Science Education
Formal Aspects of Computing·2024· 14 citedOpen Access
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
arXiv (Cornell University)·2024Open Access
Protocols to Code: Formal Verification of a Next-Generation Internet Router
arXiv (Cornell University)·2024· 1 citedOpen Access
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
arXiv (Cornell University)·2024· 1 citedOpen Access
page 1 of 17Next →

Frequent Co-authors

K. Rustan M. Leino(13), Alexander J. Summers(6), Gary T. Leavens(6), Arnd Poetzsch‐Heffter(5), Werner Dietl(3), Vytautas Astrauskas(3), Federico Poli(3), Jan Smans(3), Sophia Drossopoulou(3), Marco Eilers(3), Arsenii Rudich(2), Oscar Nierstrasz(2), Gabriela Arévalo(2), Roel Wuyts(2), Thomas Genßler(2), Valentin Wüstholz(2), Christoph Matheja(2), Lucas Brutschy(2), Dimitar Dimitrov(2), Martin Vechev(2)