Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCristiano Calcagno
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[c44]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: 3-11- 2013
- [c43]Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia:
Javanni: A Verifier for JavaScript. FASE 2013: 231-234 - [c42]Martin Nordio, Cristiano Calcagno, Bertrand Meyer:
Certificates and Separation Logic. TGC 2013: 273-293 - 2012
- [c41]Stephan van Staden, Cristiano Calcagno, Bertrand Meyer:
Freefinement. POPL 2012: 7-18 - [i1]Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
Verification Condition Generation and Variable Conditions in Smallfoot. CoRR abs/1204.4804 (2012) - 2011
- [j9]Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Compositional Shape Analysis by Means of Bi-Abduction. J. ACM 58(6): 26:1-26:66 (2011) - [c40]Cristiano Calcagno, Dino Distefano:
Infer: An Automatic Program Verifier for Memory Safety of C Programs. NASA Formal Methods 2011: 459-465 - 2010
- [j8]James Brotherston, Cristiano Calcagno:
Classical BI: Its Semantics and Proof Theory. Logical Methods in Computer Science 6(3) (2010) - [j7]Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner:
Adjunct elimination in Context Logic for trees. Inf. Comput. 208(5): 474-499 (2010) - [c39]Stephan van Staden, Cristiano Calcagno, Bertrand Meyer:
Verifying Executable Object-Oriented Specifications with Separation Logic. ECOOP 2010: 151-174 - [c38]Stephan van Staden, Cristiano Calcagno:
Reasoning about multiple related abstractions with MultiStar. OOPSLA 2010: 504-519 - [c37]Jules Villard, Étienne Lozes, Cristiano Calcagno:
Tracking Heaps That Hop with Heap-Hop. TACAS 2010: 275-279 - [c36]Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen:
Reasoning about Function Objects. TOOLS (48) 2010: 79-96
2000 – 2009
- 2009
- [c35]Jules Villard, Étienne Lozes, Cristiano Calcagno:
Proving Copyless Message Passing. APLAS 2009: 194-209 - [c34]Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis
:
Bi-abductive Resource Invariant Synthesis. APLAS 2009: 259-274 - [c33]Mohammad Raza, Cristiano Calcagno, Philippa Gardner:
Automatic Parallelization with Separation Logic. ESOP 2009: 348-362 - [c32]Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Compositional shape analysis by means of bi-abduction. POPL 2009: 289-300 - [c31]James Brotherston, Cristiano Calcagno:
Classical BI: a logic for reasoning about dualising resources. POPL 2009: 328-339 - [c30]Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer:
A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214 - 2008
- [c29]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 - [c28]Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Space Invading Systems Code. LOPSTR 2008: 1-3 - [c27]James Brotherston, Richard Bornat, Cristiano Calcagno:
Cyclic proofs of program termination in separation logic. POPL 2008: 101-112 - 2007
- [j6]Cristiano Calcagno, Philippa Gardner, Uri Zarfaty:
Local Reasoning about Data Update. Electron. Notes Theor. Comput. Sci. 172: 133-175 (2007) - [c26]Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner:
Adjunct Elimination in Context Logic for Trees. APLAS 2007: 255-270 - [c25]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 - [c24]Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang:
Local Action and Abstract Separation Logic. LICS 2007: 366-378 - [c23]Cristiano Calcagno, Philippa Gardner, Uri Zarfaty:
Context logic as modal logic: completeness and parametric inexpressivity. POPL 2007: 123-134 - [c22]Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis:
Modular Safety Checking for Fine-Grained Concurrency. SAS 2007: 233-248 - [c21]Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS 2007: 402-418 - 2006
- [c20]Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno:
Variables as Resource in Hoare Logics. LICS 2006: 137-146 - [c19]Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno:
A polymorphic modal type system for lisp-like multi-staged languages. POPL 2006: 257-268 - [c18]Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS 2006: 182-203 - 2005
- [j5]Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
Deciding validity in a spatial logic for trees. J. Funct. Program. 15(4): 543-572 (2005) - [c17]Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
Symbolic Execution with Separation Logic. APLAS 2005: 52-68 - [c16]Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
Smallfoot: Modular Automatic Assertion Checking with Separation Logic. FMCO 2005: 115-137 - [c15]Cristiano Calcagno, Philippa Gardner, Matthew Hague:
From Separation Logic to First-Order Logic. FoSSaCS 2005: 395-409 - [c14]Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson:
Permission accounting in separation logic. POPL 2005: 259-270 - [c13]Cristiano Calcagno, Philippa Gardner, Uri Zarfaty:
Context logic and tree update. POPL 2005: 271-282 - [c12]Richard Bornat, Cristiano Calcagno, Hongseok Yang:
Variables as Resource in Separation Logic. MFPS 2005: 247-276 - 2004
- [j4]Cristiano Calcagno:
Two-level languages for program optimization. Theor. Comput. Sci. 315(1): 61-81 (2004) - [c11]Cristiano Calcagno, Eugenio Moggi, Walid Taha:
ML-Like Inference for Classifiers. ESOP 2004: 79-93 - [c10]Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
A Decidable Fragment of Separation Logic. FSTTCS 2004: 97-109 - 2003
- [j3]Cristiano Calcagno, Eugenio Moggi, Tim Sheard:
Closed types for a safe imperative MetaML. J. Funct. Program. 13(3): 545-571 (2003) - [j2]Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat:
Program logic and equivalence in the presence of garbage collection. Theor. Comput. Sci. 298(3): 557-581 (2003) - [c9]Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy:
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE 2003: 57-76 - [c8]Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
Deciding validity in a spatial logic for trees. TLDI 2003: 62-73 - 2002
- [j1]Cristiano Calcagno, Simon Helsen, Peter Thiemann:
Syntactic Type Soundness Results for the Region Calculus. Inf. Comput. 173(2): 199-221 (2002) - 2001
- [c7]Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn:
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. APLAS 2001: 289-300 - [c6]Cristiano Calcagno, Peter W. O'Hearn:
On Garbage and Program Logic. FoSSaCS 2001: 137-151 - [c5]Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn:
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. FSTTCS 2001: 108-119 - [c4]Cristiano Calcagno:
Stratified operational semantics for safety and correctness of the region calculus. POPL 2001: 155-165 - 2000
- [c3]Cristiano Calcagno, Eugenio Moggi, Walid Taha:
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP 2000: 25-36 - [c2]Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn:
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. PPDP 2000: 190-201 - [c1]Cristiano Calcagno, Eugenio Moggi:
Multi-Stage Imperative Languages: A Conservative Extension Result. SAIG 2000: 92-107
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-12 23:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
