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
5152016
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
2252019
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
842020
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
73*2011
The relationship between separation logic and implicit dynamic frames
MJ Parkinson, AJ Summers
European Symposium on Programming, 439-458, 2011
732011
The Relationship Between Separation Logic and Implicit Dynamic Frames (extended)
MJ Parkinson, AJ Summers
Logical Methods in Computer Science 8 (3), 1-54, 2012
682012
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
662008
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
632022
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
522016
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
512013
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
492013
Automating Deductive Verification for Weak-Memory Programs
AJ Summers, P Müller
Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018
47*2018
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
472015
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
442014
Modular specification and verification of closures in Rust
F Wolff, A Bílı, C Matheja, P Müller, AJ Summers
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
362021
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
Formally validating a practical verification condition generator
G Parthasarathy, P Müller, AJ Summers
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
332021
Considerate reasoning and the composite design pattern
AJ Summers, S Drossopoulou
International Conference on Verification, Model Checking, and Abstract …, 2010
332010
The Axiom Profiler: understanding and debugging SMT quantifier instantiations
N Becker, P Müller, AJ Summers
International Conference on Tools and Algorithms for the Construction and …, 2019
312019
The system can't perform the operation now. Try again later.
Articles 1–20