Follow
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
3022016
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
1182019
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
642011
The relationship between separation logic and implicit dynamic frames
MJ Parkinson, AJ Summers
European Symposium on Programming, 439-458, 2011
632011
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
632008
The Relationship Between Separation Logic and Implicit Dynamic Frames (extended)
MJ Parkinson, AJ Summers
Logical Methods in Computer Science 8 (3), 1-54, 2012
54*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
462013
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
412013
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
402015
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
392014
Automating Deductive Verification for Weak-Memory Programs
AJ Summers, P Müller
Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018
37*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
362016
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
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
332011
Considerate reasoning and the composite design pattern
AJ Summers, S Drossopoulou
International Conference on Verification, Model Checking, and Abstract …, 2010
322010
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
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
252007
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
222020
A formal semantics for isorecursive and equirecursive state abstractions
AJ Summers, S Drossopoulou
European Conference on Object-Oriented Programming, 129-153, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20