Fabian Bannwart, 2006 ETH Medal for outstanding diploma thesis
Teaching Awards
Peter Müller, 2008
Golden Owl
Best Paper Awards
Thibault Dardinier, Peter Müller, and Alexander J. Summers: Fractional Resources in Unbounded Separation Logic. OOPSLA 2022
A. Aguirre, G. Barthe, J. Hsu, B.L. Kaminski, J.-P. Katoen, Christoph Matheja:
A Pre-Expectation Calculus for Probabilistic Sensitivity. POPL 2021
James Bornholt, Vytautas Astrauskas, et al.: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP 2021
Wytse Oortwijn and Marieke Huisman:
Practical Abstractions for Automated Verification of Message Passing Concurrency, iFM 2019
Vladimir Klebanov, Peter Müller et al.: The 1st Verified Software Competition: Experience Report. FM 2011
Maria Christakis, Peter Müller, and Valentin Wüstholz: Guiding Dynamic Symbolic Execution toward Unverified Program Executions. ICSE 2016
Werner Dietl, Michael Ernst, and Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011
Distinguished Artifact Awards
J. Fiala, S. Itzhaky, P. Müller, N. Polikarpova, and I. Sergey:Leveraging Rust Types for Program Synthesis. PLDI 2023
Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander. J. Summers: Leveraging Rust Types for Modular Specification and Verification. OOPSLA 2019
C. Bräm, M. Eilers, P. Müller, R. Sierra, and A. J. Summers:Rich Specifications for Ethereum Smart Contract Verification. OOPSLA 2021
Alexander J. Summers and Peter Müller: Automating Deductive Verification for Weak-Memory Programs. TACAS 2018
Verification Competitions
Marco Eilers and Alex Summers, 2023
verifyThis: Best overall team
Gobra, 2023
verifyThis: Innovative tool feature
Viper, 2019 verifyThis: Tool used by most teams
Peter Müller and Rustan Leino, 2012
Silver Medal, VSTTE Program Verification Competition
Jonas Fiala and Thibault Dardinier, 2023
verifyThis: Best student team
Jonas Fiala and Thibault Dardinier, 2022
verifyThis: Best overall team