Cristiano Calcagno
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
15
Active years
2000–2013
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FASE | Javanni: A Verifier for JavaScript. | Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia |
| 2012 | POPL | Freefinement. | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
| 2010 | ECOOP | Verifying Executable Object-Oriented Specifications with Separation Logic. | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
| 2010 | OOPSLA | Reasoning about multiple related abstractions with MultiStar. | Stephan van Staden, Cristiano Calcagno |
| 2010 | TACAS | Tracking Heaps That Hop with Heap-Hop. | Jules Villard, tienne Lozes, Cristiano Calcagno |
| 2009 | APLAS | Bi-abductive Resource Invariant Synthesis. | Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis |
| 2009 | APLAS | Proving Copyless Message Passing. | Jules Villard, tienne Lozes, Cristiano Calcagno |
| 2009 | ESOP | Automatic Parallelization with Separation Logic. | Mohammad Raza, Cristiano Calcagno, Philippa Gardner |
| 2009 | POPL | Classical BI: a logic for reasoning about dualising resources. | James Brotherston, Cristiano Calcagno |
| 2009 | POPL | Compositional shape analysis by means of bi-abduction. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2008 | CAV | Scalable Shape Analysis for Systems Code. | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2008 | LOPSTR | Space Invading Systems Code. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2008 | POPL | Cyclic proofs of program termination in separation logic. | James Brotherston, Richard Bornat, Cristiano Calcagno |
| 2007 | APLAS | Adjunct Elimination in Context Logic for Trees. | Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |
| 2007 | CAV | Shape Analysis for Composite Data Structures. | Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang |
| 2007 | LICS | Local Action and Abstract Separation Logic. | Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang |
| 2007 | POPL | Context logic as modal logic: completeness and parametric inexpressivity. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2007 | SAS | Footprint Analysis: A Shape Analysis That Discovers Preconditions. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2007 | SAS | Modular Safety Checking for Fine-Grained Concurrency. | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
| 2006 | LICS | Variables as Resource in Hoare Logics. | Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno |
| 2006 | POPL | A polymorphic modal type system for lisp-like multi-staged languages. | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
| 2006 | SAS | Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2005 | APLAS | Symbolic Execution with Separation Logic. | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
| 2005 | FOSSACS | From Separation Logic to First-Order Logic. | Cristiano Calcagno, Philippa Gardner, Matthew Hague |
| 2005 | POPL | Permission accounting in separation logic. | Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson |
| 2005 | POPL | Context logic and tree update. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2004 | ESOP | ML-Like Inference for Classifiers. | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 2003 | GPCE | Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. | Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy |
| 2001 | APLAS | Computability and Complexity Results for a Spatial Assertion Language for Data Structures. | Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
| 2001 | FOSSACS | On Garbage and Program Logic. | Cristiano Calcagno, Peter W. O'Hearn |
| 2001 | POPL | Stratified operational semantics for safety and correctness of the region calculus. | Cristiano Calcagno |
| 2000 | ICALP | Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 2000 | PPDP | Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. | Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn |