Cristiano Calcagno

Publication Activity (10 Years)

Years Active: 2000-2015
Publications (10 Years): 0

Top Topics

General Conditions

Top Venues

Publications

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez
Moving Fast with Software Verification. NFM (2015)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer
Certificates and Separation Logic. TGC (2013)
Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia
Javanni: A Verifier for JavaScript. FASE (2013)
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
Freefinement. POPL (2012)
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
Verification Condition Generation and Variable Conditions in Smallfoot CoRR (2012)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Compositional Shape Analysis by Means of Bi-Abduction. J. ACM 58 (6) (2011)
Cristiano Calcagno, Dino Distefano
Infer: An Automatic Program Verifier for Memory Safety of C Programs. NASA Formal Methods (2011)
Stephan van Staden, Cristiano Calcagno
Reasoning about multiple related abstractions with MultiStar. OOPSLA (2010)
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
Verifying Executable Object-Oriented Specifications with Separation Logic. ECOOP (2010)
James Brotherston, Cristiano Calcagno
Classical BI: Its Semantics and Proof Theory Log. Methods Comput. Sci. 6 (3) (2010)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen
Reasoning about Function Objects. TOOLS (48) (2010)
Jules Villard, Étienne Lozes, Cristiano Calcagno
Tracking Heaps That Hop with Heap-Hop. TACAS (2010)
Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
Adjunct elimination in Context Logic for trees. Inf. Comput. 208 (5) (2010)
Mohammad Raza, Cristiano Calcagno, Philippa Gardner
Automatic Parallelization with Separation Logic. ESOP (2009)
Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer
A Sound and Complete Program Logic for Eiffel. TOOLS (47) (2009)
Jules Villard, Étienne Lozes, Cristiano Calcagno
Proving Copyless Message Passing. APLAS (2009)
James Brotherston, Cristiano Calcagno
Classical BI: a logic for reasoning about dualising resources. POPL (2009)
Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis
Bi-abductive Resource Invariant Synthesis. APLAS (2009)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Compositional shape analysis by means of bi-abduction. POPL (2009)
James Brotherston, Richard Bornat, Cristiano Calcagno
Cyclic proofs of program termination in separation logic. POPL (2008)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Space Invading Systems Code. LOPSTR (2008)
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn
Scalable Shape Analysis for Systems Code. CAV (2008)
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Context logic as modal logic: completeness and parametric inexpressivity. POPL (2007)
Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang
Local Action and Abstract Separation Logic. LICS (2007)
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Local Reasoning about Data Update. Electron. Notes Theor. Comput. Sci. 172 (2007)
Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis
Modular Safety Checking for Fine-Grained Concurrency. SAS (2007)
Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
Adjunct Elimination in Context Logic for Trees. APLAS (2007)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS (2007)
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
Shape Analysis for Composite Data Structures. CAV (2007)
Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno
Variables as Resource in Hoare Logics. LICS (2006)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS (2006)
Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
A polymorphic modal type system for lisp-like multi-staged languages. POPL (2006)
Richard Bornat, Cristiano Calcagno, Hongseok Yang
Variables as Resource in Separation Logic. MFPS (2005)
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Context logic and tree update. POPL (2005)
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
Symbolic Execution with Separation Logic. APLAS (2005)
Cristiano Calcagno, Philippa Gardner, Matthew Hague
From Separation Logic to First-Order Logic. FoSSaCS (2005)
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
Deciding validity in a spatial logic for trees. J. Funct. Program. 15 (4) (2005)
Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson
Permission accounting in separation logic. POPL (2005)
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
Smallfoot: Modular Automatic Assertion Checking with Separation Logic. FMCO (2005)
Cristiano Calcagno, Eugenio Moggi, Walid Taha
ML-Like Inference for Classifiers. ESOP (2004)
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
A Decidable Fragment of Separation Logic. FSTTCS (2004)
Cristiano Calcagno
Two-level languages for program optimization. Theor. Comput. Sci. 315 (1) (2004)
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
Deciding validity in a spatial logic for trees. TLDI (2003)
Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat
Program logic and equivalence in the presence of garbage collection. Theor. Comput. Sci. 298 (3) (2003)
Cristiano Calcagno, Eugenio Moggi, Tim Sheard
Closed types for a safe imperative MetaML. J. Funct. Program. 13 (3) (2003)
Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE (2003)
Cristiano Calcagno, Simon Helsen, Peter Thiemann
Syntactic Type Soundness Results for the Region Calculus. Inf. Comput. 173 (2) (2002)
Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. APLAS (2001)
Cristiano Calcagno
Stratified operational semantics for safety and correctness of the region calculus. POPL (2001)
Cristiano Calcagno, Peter W. O'Hearn
On Garbage and Program Logic. FoSSaCS (2001)
Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. FSTTCS (2001)
Cristiano Calcagno, Eugenio Moggi
Multi-Stage Imperative Languages: A Conservative Extension Result. SAIG (2000)
Cristiano Calcagno, Eugenio Moggi, Walid Taha
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP (2000)
Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. PPDP (2000)