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
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
4262016
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
1902019
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
712011
The relationship between separation logic and implicit dynamic frames
MJ Parkinson, AJ Summers
European Symposium on Programming, 439-458, 2011
652011
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
652008
The Relationship Between Separation Logic and Implicit Dynamic Frames (extended)
MJ Parkinson, AJ Summers
Logical Methods in Computer Science 8 (3), 1-54, 2012
612012
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
552020
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
482013
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
462013
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
422015
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
422014
Automating Deductive Verification for Weak-Memory Programs
AJ Summers, P Müller
Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018
41*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
412016
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
402022
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
352008
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
342011
Considerate reasoning and the composite design pattern
AJ Summers, S Drossopoulou
International Conference on Verification, Model Checking, and Abstract …, 2010
332010
The need for flexible object invariants
AJ Summers, S Drossopoulou, P Müller
IWACO 9, 1-9, 2009
302009
Formally validating a practical verification condition generator
G Parthasarathy, P Müller, AJ Summers
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
282021
Actor Services : Modular Verification of Message Passing Programs
AJ Summers, P Müller
25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016
272016
The system can't perform the operation now. Try again later.
Articles 1–20