Alexander J. Summers

Identifiers

No identifiers captured yet.

Papers (3)

1. Permission Inference for Array Programs cs.PL · 2018 · author #2
2. Automating Deductive Verification for Weak-Memory Programs cs.PL · 2017 · author #1
3. Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Peter M\"uller 3 shared papers
• Caterina Urban 1 shared papers
• J\'er\^ome Dohrau 1 shared papers
• Malte Schwerhoff 1 shared papers
• Severin M\"unger 1 shared papers