| 2009 |
|---|
| 39 | EE | Mohammad Raza,
Cristiano Calcagno,
Philippa Gardner:
Automatic Parallelization with Separation Logic.
ESOP 2009: 348-362 |
| 38 | EE | Cristiano Calcagno,
Dino Distefano,
Peter W. O'Hearn,
Hongseok Yang:
Compositional shape analysis by means of bi-abduction.
POPL 2009: 289-300 |
| 37 | EE | James Brotherston,
Cristiano Calcagno:
Classical BI: a logic for reasoning about dualising resources.
POPL 2009: 328-339 |
| 2008 |
|---|
| 36 | EE | Hongseok Yang,
Oukseh Lee,
Josh Berdine,
Cristiano Calcagno,
Byron Cook,
Dino Distefano,
Peter W. O'Hearn:
Scalable Shape Analysis for Systems Code.
CAV 2008: 385-398 |
| 35 | EE | Cristiano Calcagno,
Dino Distefano,
Peter W. O'Hearn,
Hongseok Yang:
Space Invading Systems Code.
LOPSTR 2008: 1-3 |
| 34 | EE | James Brotherston,
Richard Bornat,
Cristiano Calcagno:
Cyclic proofs of program termination in separation logic.
POPL 2008: 101-112 |
| 2007 |
|---|
| 33 | EE | Cristiano Calcagno,
Thomas Dinsdale-Young,
Philippa Gardner:
Adjunct Elimination in Context Logic for Trees.
APLAS 2007: 255-270 |
| 32 | EE | Josh Berdine,
Cristiano Calcagno,
Byron Cook,
Dino Distefano,
Peter W. O'Hearn,
Thomas Wies,
Hongseok Yang:
Shape Analysis for Composite Data Structures.
CAV 2007: 178-192 |
| 31 | EE | Cristiano Calcagno,
Peter W. O'Hearn,
Hongseok Yang:
Local Action and Abstract Separation Logic.
LICS 2007: 366-378 |
| 30 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Context logic as modal logic: completeness and parametric inexpressivity.
POPL 2007: 123-134 |
| 29 | EE | Cristiano Calcagno,
Matthew J. Parkinson,
Viktor Vafeiadis:
Modular Safety Checking for Fine-Grained Concurrency.
SAS 2007: 233-248 |
| 28 | EE | Cristiano Calcagno,
Dino Distefano,
Peter W. O'Hearn,
Hongseok Yang:
Footprint Analysis: A Shape Analysis That Discovers Preconditions.
SAS 2007: 402-418 |
| 27 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Local Reasoning about Data Update.
Electr. Notes Theor. Comput. Sci. 172: 133-175 (2007) |
| 2006 |
|---|
| 26 | EE | Matthew J. Parkinson,
Richard Bornat,
Cristiano Calcagno:
Variables as Resource in Hoare Logics.
LICS 2006: 137-146 |
| 25 | EE | Ik-Soon Kim,
Kwangkeun Yi,
Cristiano Calcagno:
A polymorphic modal type system for lisp-like multi-staged languages.
POPL 2006: 257-268 |
| 24 | EE | Cristiano Calcagno,
Dino Distefano,
Peter W. O'Hearn,
Hongseok Yang:
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.
SAS 2006: 182-203 |
| 23 | EE | Richard Bornat,
Cristiano Calcagno,
Hongseok Yang:
Variables as Resource in Separation Logic.
Electr. Notes Theor. Comput. Sci. 155: 247-276 (2006) |
| 2005 |
|---|
| 22 | EE | Josh Berdine,
Cristiano Calcagno,
Peter W. O'Hearn:
Symbolic Execution with Separation Logic.
APLAS 2005: 52-68 |
| 21 | EE | Josh Berdine,
Cristiano Calcagno,
Peter W. O'Hearn:
Smallfoot: Modular Automatic Assertion Checking with Separation Logic.
FMCO 2005: 115-137 |
| 20 | EE | Cristiano Calcagno,
Philippa Gardner,
Matthew Hague:
From Separation Logic to First-Order Logic.
FoSSaCS 2005: 395-409 |
| 19 | EE | Richard Bornat,
Cristiano Calcagno,
Peter W. O'Hearn,
Matthew J. Parkinson:
Permission accounting in separation logic.
POPL 2005: 259-270 |
| 18 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Context logic and tree update.
POPL 2005: 271-282 |
| 17 | EE | Cristiano Calcagno,
Luca Cardelli,
Andrew D. Gordon:
Deciding validity in a spatial logic for trees.
J. Funct. Program. 15(4): 543-572 (2005) |
| 2004 |
|---|
| 16 | EE | Cristiano Calcagno,
Eugenio Moggi,
Walid Taha:
ML-Like Inference for Classifiers.
ESOP 2004: 79-93 |
| 15 | EE | Josh Berdine,
Cristiano Calcagno,
Peter W. O'Hearn:
A Decidable Fragment of Separation Logic.
FSTTCS 2004: 97-109 |
| 14 | EE | Cristiano Calcagno:
Two-level languages for program optimization.
Theor. Comput. Sci. 315(1): 61-81 (2004) |
| 2003 |
|---|
| 13 | EE | Cristiano Calcagno,
Walid Taha,
Liwen Huang,
Xavier Leroy:
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.
GPCE 2003: 57-76 |
| 12 | EE | Cristiano Calcagno,
Luca Cardelli,
Andrew D. Gordon:
Deciding validity in a spatial logic for trees.
TLDI 2003: 62-73 |
| 11 | EE | Cristiano Calcagno,
Luca Cardelli,
Andrew D. Gordon:
Deciding validity in a spatial logic for trees.
TLDI 2003: 62-73 |
| 10 | EE | Cristiano Calcagno,
Eugenio Moggi,
Tim Sheard:
Closed types for a safe imperative MetaML.
J. Funct. Program. 13(3): 545-571 (2003) |
| 9 | EE | Cristiano Calcagno,
Peter W. O'Hearn,
Richard Bornat:
Program logic and equivalence in the presence of garbage collection.
Theor. Comput. Sci. 3(298): 557-581 (2003) |
| 2002 |
|---|
| 8 | EE | Cristiano Calcagno,
Simon Helsen,
Peter Thiemann:
Syntactic Type Soundness Results for the Region Calculus.
Inf. Comput. 173(2): 199-221 (2002) |
| 2001 |
|---|
| 7 | | Cristiano Calcagno,
Hongseok Yang,
Peter W. O'Hearn:
Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
APLAS 2001: 289-300 |
| 6 | EE | Cristiano Calcagno,
Hongseok Yang,
Peter W. O'Hearn:
Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
FSTTCS 2001: 108-119 |
| 5 | EE | Cristiano Calcagno,
Peter W. O'Hearn:
On Garbage and Program Logic.
FoSSaCS 2001: 137-151 |
| 4 | EE | Cristiano Calcagno:
Stratified operational semantics for safety and correctness of the region calculus.
POPL 2001: 155-165 |
| 2000 |
|---|
| 3 | EE | Cristiano Calcagno,
Eugenio Moggi,
Walid Taha:
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.
ICALP 2000: 25-36 |
| 2 | EE | Cristiano Calcagno,
Samin S. Ishtiaq,
Peter W. O'Hearn:
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292.
PPDP 2000: 190-201 |
| 1 | EE | Cristiano Calcagno,
Eugenio Moggi:
Multi-Stage Imperative Languages: A Conservative Extension Result.
SAIG 2000: 92-107 |
