Alexander J. Summers
Title
Cited by
Cited by
Year
Viper: A verification infrastructure for permission-based reasoning
P Müller, M Schwerhoff, AJ Summers
International conference on verification, model checking, and abstract …, 2016
2342016
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
742019
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
642008
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
622011
The relationship between separation logic and implicit dynamic frames
MJ Parkinson, AJ Summers
European Symposium on Programming, 439-458, 2011
552011
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
452013
The Relationship Between Separation Logic and Implicit Dynamic Frames
MJ Parkinson, AJ Summers
Logical Methods in Computer Science 8 (3), 1-54, 2012
442012
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
372014
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
372013
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
352007
Considerate reasoning and the composite design pattern
AJ Summers, S Drossopoulou
International Conference on Verification, Model Checking, and Abstract …, 2010
322010
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
312011
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
302015
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
292016
The need for flexible object invariants
AJ Summers, S Drossopoulou, P Müller
IWACO 9, 1-9, 2009
292009
Actor Services : Modular Verification of Message Passing Programs
AJ Summers, P Müller
25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016
26*2016
Automating Deductive Verification for Weak-Memory Programs
AJ Summers, P Müller
Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018
25*2018
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
232007
A formal semantics for isorecursive and equirecursive state abstractions
AJ Summers, S Drossopoulou
European Conference on Object-Oriented Programming, 129-153, 2013
192013
Approaches to polymorphism in classical sequent calculus
AJ Summers, S Van Bakel
European Symposium on Programming, 84-99, 2006
152006
The system can't perform the operation now. Try again later.
Articles 1–20