| Viper: A verification infrastructure for permission-based reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 339 | 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 | 133 | 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 | 66* | 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 | 64 | 2008 |
| The relationship between separation logic and implicit dynamic frames MJ Parkinson, AJ Summers European Symposium on Programming, 439-458, 2011 | 61 | 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 | 58* | 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 | 48 | 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 | 42 | 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 | 42 | 2014 |
| 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 | 42 | 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 | 39* | 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 | 37 | 2016 |
| 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 | 36 | 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 | 33 | 2011 |
| Considerate reasoning and the composite design pattern AJ Summers, S Drossopoulou International Conference on Verification, Model Checking, and Abstract …, 2010 | 32 | 2010 |
| The need for flexible object invariants AJ Summers, S Drossopoulou, P Müller IWACO 9, 1-9, 2009 | 31 | 2009 |
| Actor Services : Modular Verification of Message Passing Programs AJ Summers, P Müller 25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016 | 28 | 2016 |
| 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 | 27 | 2020 |
| 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 |
| A formal semantics for isorecursive and equirecursive state abstractions AJ Summers, S Drossopoulou ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013 | 20 | 2013 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
