Cristiano Calcagno

According to our database, Cristiano Calcagno authored at least 50 papers between 2000 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Moving Fast with Software Verification.

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013

Certificates and Separation Logic.

Martin Nordio, Cristiano Calcagno, Bertrand Meyer

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Javanni: A Verifier for JavaScript.

Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Verification Condition Generation and Variable Conditions in Smallfoot

Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn

CoRR, 2012

Freefinement.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Compositional Shape Analysis by Means of Bi-Abduction.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

J. ACM, 2011

Infer: An Automatic Program Verifier for Memory Safety of C Programs.

Cristiano Calcagno, Dino Distefano

Proceedings of the NASA Formal Methods, 2011

2010

Adjunct elimination in Context Logic for trees.

Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner

Inf. Comput., 2010

Classical BI: Its Semantics and Proof Theory

James Brotherston, Cristiano Calcagno

Log. Methods Comput. Sci., 2010

Reasoning about Function Objects.

Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Tracking Heaps That Hop with Heap-Hop.

Jules Villard, Étienne Lozes, Cristiano Calcagno

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Reasoning about multiple related abstractions with MultiStar.

Stephan van Staden, Cristiano Calcagno

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Verifying Executable Object-Oriented Specifications with Separation Logic.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Proceedings of the ECOOP 2010, 2010

2009

A Sound and Complete Program Logic for Eiffel.

Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Classical BI: a logic for reasoning about dualising resources.

James Brotherston, Cristiano Calcagno

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Automatic Parallelization with Separation Logic.

Mohammad Raza, Cristiano Calcagno, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2009

Proving Copyless Message Passing.

Jules Villard, Étienne Lozes, Cristiano Calcagno

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

Bi-abductive Resource Invariant Synthesis.

Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Cyclic proofs of program termination in separation logic.

James Brotherston, Richard Bornat, Cristiano Calcagno

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Space Invading Systems Code.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Scalable Shape Analysis for Systems Code.

Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Local Reasoning about Data Update.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Modular Safety Checking for Fine-Grained Concurrency.

Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis

Proceedings of the Static Analysis, 14th International Symposium, 2007

Footprint Analysis: A Shape Analysis That Discovers Preconditions.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Static Analysis, 14th International Symposium, 2007

Context logic as modal logic: completeness and parametric inexpressivity.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Local Action and Abstract Separation Logic.

Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Shape Analysis for Composite Data Structures.

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Static Analysis, 13th International Symposium, 2006

A polymorphic modal type system for lisp-like multi-staged languages.

Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Variables as Resource in Hoare Logics.

Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Deciding validity in a spatial logic for trees.

Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon

J. Funct. Program., 2005

Variables as Resource in Separation Logic.

Richard Bornat, Cristiano Calcagno, Hongseok Yang

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Context logic and tree update.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Permission accounting in separation logic.

Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

From Separation Logic to First-Order Logic.

Cristiano Calcagno, Philippa Gardner, Matthew Hague

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Smallfoot: Modular Automatic Assertion Checking with Separation Logic.

Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Symbolic Execution with Separation Logic.

Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Two-level languages for program optimization.

Cristiano Calcagno

Theor. Comput. Sci., 2004

A Decidable Fragment of Separation Logic.

Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

ML-Like Inference for Classifiers.

Cristiano Calcagno, Eugenio Moggi, Walid Taha

Proceedings of the Programming Languages and Systems, 2004

2003

Program logic and equivalence in the presence of garbage collection.

Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat

Theor. Comput. Sci., 2003

Closed types for a safe imperative MetaML.

Cristiano Calcagno, Eugenio Moggi, Tim Sheard

J. Funct. Program., 2003

Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.

Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy

Proceedings of the Generative Programming and Component Engineering, 2003

2002

Syntactic Type Soundness Results for the Region Calculus.

Cristiano Calcagno, Simon Helsen, Peter Thiemann

Inf. Comput., 2002

2001

Stratified operational semantics for safety and correctness of the region calculus.

Cristiano Calcagno

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

On Garbage and Program Logic.

Cristiano Calcagno, Peter W. O'Hearn

Proceedings of the Foundations of Software Science and Computation Structures, 2001

Computability and Complexity Results for a Spatial Assertion Language for Data Structures.

Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Multi-Stage Imperative Languages: A Conservative Extension Result.

Cristiano Calcagno, Eugenio Moggi

Proceedings of the Semantics, 2000

Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292.

Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.

Cristiano Calcagno, Eugenio Moggi, Walid Taha

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000