| Viper: A verification infrastructure for permission-based reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 474 | 2016 |
| Leveraging Rust types for modular specification and verification V Astrauskas, P Müller, F Poli, AJ Summers Proceedings of the ACM on Programming Languages 3 (OOPSLA), 147, 2019 | 211 | 2019 |
| Freedom before commitment: a lightweight type system for object initialisation AJ Summers, P Müller Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 72* | 2011 |
| How do programmers use unsafe Rust? V Astrauskas, C Matheja, F Poli, P Müller, AJ Summers Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020 | 71 | 2020 |
| The relationship between separation logic and implicit dynamic frames MJ Parkinson, AJ Summers European Symposium on Programming, 439-458, 2011 | 71 | 2011 |
| A unified framework for verification techniques for object invariants S Drossopoulou, A Francalanza, P Müller, AJ Summers ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008 | 66 | 2008 |
| The Relationship Between Separation Logic and Implicit Dynamic Frames (extended) MJ Parkinson, AJ Summers Logical Methods in Computer Science 8 (3), 1-54, 2012 | 65 | 2012 |
| The Prusti Project: Formal Verification for Rust V Astrauskas, A Bílý, J Fiala, Z Grannan, C Matheja, P Müller, F Poli, ... NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022 | 52 | 2022 |
| Abstract read permissions: Fractional permissions without the fractions S Heule, KRM Leino, P Müller, AJ Summers International Conference on Verification, Model Checking, and Abstract …, 2013 | 50 | 2013 |
| Verification condition generation for permission logics with abstract predicates and abstraction functions S Heule, IT Kassios, P Müller, AJ Summers ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013 | 48 | 2013 |
| Automating Deductive Verification for Weak-Memory Programs AJ Summers, P Müller Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018 | 46* | 2018 |
| Automatic verification of iterated separating conjunctions using symbolic execution P Müller, M Schwerhoff, AJ Summers Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 46 | 2016 |
| Lightweight Support for Magic Wands in an Automatic Verifier M Schwerhoff, AJ Summers 29th European Conference on Object-Oriented Programming (ECOOP 2015) 37, 614 …, 2015 | 44 | 2015 |
| Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers Technical Report - ETH-Zürich, 2014 | 44 | 2014 |
| Universe types for topology and encapsulation D Cunningham, W Dietl, S Drossopoulou, A Francalanza, P Müller, ... Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008 | 35 | 2008 |
| Fractional permissions without the fractions S Heule, KRM Leino, P Müller, AJ Summers Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs …, 2011 | 34 | 2011 |
| Considerate reasoning and the composite design pattern AJ Summers, S Drossopoulou International Conference on Verification, Model Checking, and Abstract …, 2010 | 33 | 2010 |
| Modular specification and verification of closures in Rust F Wolff, A Bílý, C Matheja, P Müller, AJ Summers Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 32 | 2021 |
| Formally validating a practical verification condition generator G Parthasarathy, P Müller, AJ Summers Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 32 | 2021 |
| The need for flexible object invariants AJ Summers, S Drossopoulou, P Müller IWACO 9, 1-9, 2009 | 31 | 2009 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
