Cristiano Calcagno

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

Coauthor Index

1	Josh Berdine	[14] [20] [21] [31] [35]
2	Richard Bornat	[9] [18] [22] [25] [33]
3	James Brotherston	[33] [37]
4	Luca Cardelli	[11] [16]
5	Byron Cook	[31] [35]
6	Thomas Dinsdale-Young	[32]
7	Dino Distefano	[23] [27] [31] [34] [35] [38]
8	Philippa Gardner	[17] [19] [26] [29] [32] [39]
9	Andrew D. Gordon (Andy Gordon)	[11] [16]
10	Matthew Hague	[19]
11	Simon Helsen	[8]
12	Liwen Huang	[12]
13	Samin S. Ishtiaq	[2]
14	Ik-Soon Kim	[24]
15	Oukseh Lee	[35]
16	Xavier Leroy	[12]
17	Bertrand Meyer	[36]
18	Eugenio Moggi	[1] [3] [10] [15]
19	Peter Müller	[36]
20	Martin Nordio	[36]
21	Peter W. O'Hearn	[2] [5] [6] [7] [9] [14] [18] [20] [21] [23] [27] [30] [31] [34] [35] [38]
22	Matthew J. Parkinson	[18] [25] [28]
23	Mohammad Raza	[39]
24	Tim Sheard	[10]
25	Walid Taha	[3] [12] [15]
26	Peter Thiemann	[8]
27	Viktor Vafeiadis	[28]
28	Thomas Wies	[31]
29	Hongseok Yang	[6] [7] [22] [23] [27] [30] [31] [34] [35] [38]
30	Kwangkeun Yi	[24]
31	Uri Zarfaty	[17] [26] [29]

Colors in the list of coauthors