| Viper: A verification infrastructure for permission-based reasoning P Müller, M Schwerhoff, AJ Summers International conference on verification, model checking, and abstract …, 2016 | 289 | 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 | 113 | 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 | 64 | 2011 |
| A unified framework for verification techniques for object invariants S Drossopoulou, A Francalanza, P Müller, AJ Summers European Conference on Object-Oriented Programming, 412-437, 2008 | 63 | 2008 |
| The relationship between separation logic and implicit dynamic frames MJ Parkinson, AJ Summers European Symposium on Programming, 439-458, 2011 | 62 | 2011 |
| The Relationship Between Separation Logic and Implicit Dynamic Frames (extended) MJ Parkinson, AJ Summers Logical Methods in Computer Science 8 (3), 1-54, 2012 | 53* | 2012 |
| 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 | 45 | 2013 |
| Verification condition generation for permission logics with abstract predicates and abstraction functions S Heule, IT Kassios, P Müller, AJ Summers European Conference on Object-Oriented Programming, 451-476, 2013 | 41 | 2013 |
| 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 | 38 | 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 | 38 | 2014 |
| Automating Deductive Verification for Weak-Memory Programs AJ Summers, P Müller Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018 | 35* | 2018 |
| Automatic verification of iterated separating conjunctions using symbolic execution P Müller, M Schwerhoff, AJ Summers International Conference on Computer Aided Verification, 405-425, 2016 | 35 | 2016 |
| Universe types for topology and encapsulation D Cunningham, W Dietl, S Drossopoulou, A Francalanza, P Müller, ... International Symposium on Formal Methods for Components and Objects, 72-112, 2007 | 35 | 2007 |
| 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 | 33 | 2011 |
| Considerate reasoning and the composite design pattern AJ Summers, S Drossopoulou International Conference on Verification, Model Checking, and Abstract …, 2010 | 31 | 2010 |
| The need for flexible object invariants AJ Summers, S Drossopoulou, P Müller IWACO 9, 1-9, 2009 | 29 | 2009 |
| Actor Services : Modular Verification of Message Passing Programs AJ Summers, P Müller 25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016 | 27* | 2016 |
| Pandora: A reasoning toolbox using natural deduction style K Broda, J Ma, G Sinnadurai, A Summers Logic Journal of the IGPL 15 (4), 293-304, 2007 | 25 | 2007 |
| 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 | 20 | 2020 |
| A formal semantics for isorecursive and equirecursive state abstractions AJ Summers, S Drossopoulou European Conference on Object-Oriented Programming, 129-153, 2013 | 18 | 2013 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
