Travelled to:1 × Austria
1 × Cyprus
1 × Czech Republic
1 × France
1 × Germany
1 × Italy
1 × Spain
1 × USA
Collaborated with:P.Müller P.M.0001 S.Drossopoulou M.Schwerhoff ∅ S.Heule M.J.Parkinson S.v.Bakel Arshavir Ter-Gabrielyan I.T.Kassios K.R.M.Leino A.Francalanza Vytautas Astrauskas Federico Poli J.Dohrau C.Urban S.Münger
Talks about:verif (7) abstract (4) permiss (4) modular (3) separ (3) logic (3) lightweight (2) fraction (2) program (2) automat (2)
Person: Alexander J. Summers
DBLP: Summers:Alexander_J=
Contributed to:
20152013
2013
2011
20112010200820062016
201620182019Wrote 15 papers:
- ECOOP-2015-SchwerhoffS #automation #lightweight #verification
- Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
- ECOOP-2015-Summers #stack #verification
- Software Verification “Across the Stack” (AJS), p. 3.
- ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
- ECOOP-2013-SummersD #abstraction #recursion #semantics
- A Formal Semantics for Isorecursive and Equirecursive State Abstractions (AJS, SD), pp. 129–153.
- VMCAI-2013-HeuleLMS
- Abstract Read Permissions: Fractional Permissions without the Fractions (SH, KRML, PM, AJS), pp. 315–334.
- ESOP-2011-ParkinsonS #logic
- The Relationship between Separation Logic and Implicit Dynamic Frames (MJP, AJS), pp. 439–458.
- OOPSLA-2011-SummersM #lightweight #type system
- Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.
- VMCAI-2010-SummersD #design pattern #reasoning
- Considerate Reasoning and the Composite Design Pattern (AJS, SD), pp. 328–344.
- ECOOP-2008-DrossopoulouFMS #framework #invariant #verification
- A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.
- ESOP-2006-SummersB #calculus #morphism #polymorphism
- Approaches to Polymorphism in Classical Sequent Calculus (AJS, SvB), pp. 84–99.
- ESOP-2016-Summers0 #composition #message passing #source code #verification
- Actor Services - Modular Verification of Message Passing Programs (AJS, PM0), pp. 699–726.
- CAV-2016-MuellerSS #automation #execution #symbolic computation #using #verification
- Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution (PM, MS, AJS), pp. 405–425.
- CAV-2018-DohrauSUM0 #array #source code
- Permission Inference for Array Programs (JD, AJS, CU, SM, PM0), pp. 55–74.
- OOPSLA-2019-Astrauskas0PS #composition #rust #specification #verification
- Leveraging rust types for modular specification and verification (VA, PM0, FP, AJS), p. 30.
- OOPSLA-2019-Ter-GabrielyanS #composition #logic #reachability #verification
- Modular verification of heap reachability properties in separation logic (ATG, AJS, PM0), p. 28.