Cristiano Calcagno

	2012
51		Stephan van Staden, Cristiano Calcagno, Bertrand Meyer: Freefinement. POPL 2012: 7-18
50		Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn: Verification Condition Generation and Variable Conditions in Smallfoot CoRR abs/1204.4804: (2012)
	2011
49		Cristiano Calcagno, Dino Distefano: Infer: An Automatic Program Verifier for Memory Safety of C Programs. NASA Formal Methods 2011: 459-465
48		Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Compositional Shape Analysis by Means of Bi-Abduction. J. ACM 58(6): 26 (2011)
	2010
47		Stephan van Staden, Cristiano Calcagno, Bertrand Meyer: Verifying Executable Object-Oriented Specifications with Separation Logic. ECOOP 2010: 151-174
46		Stephan van Staden, Cristiano Calcagno: Reasoning about multiple related abstractions with MultiStar. OOPSLA 2010: 504-519
45		Jules Villard, Étienne Lozes, Cristiano Calcagno: Tracking Heaps That Hop with Heap-Hop. TACAS 2010: 275-279
44		Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen: Reasoning about Function Objects. TOOLS (48) 2010: 79-96
43		Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner: Adjunct elimination in Context Logic for trees. Inf. Comput. 208(5): 474-499 (2010)
42		James Brotherston, Cristiano Calcagno: Classical BI: Its Semantics and Proof Theory Logical Methods in Computer Science 6(3): (2010)
	2009
41		Jules Villard, Étienne Lozes, Cristiano Calcagno: Proving Copyless Message Passing. APLAS 2009: 194-209
40		Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis: Bi-abductive Resource Invariant Synthesis. APLAS 2009: 259-274
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] [50]
2	Richard Bornat	[9] [18] [22] [25] [33]
3	James Brotherston	[33] [37] [42]
4	Luca Cardelli	[11] [16]
5	Byron Cook	[31] [35]
6	Thomas Dinsdale-Young	[32] [43]
7	Dino Distefano	[23] [27] [31] [34] [35] [38] [40] [48] [49]
8	Philippa Gardner	[17] [19] [26] [29] [32] [39] [43]
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	Étienne Lozes	[41] [45]
18	Bertrand Meyer	[36] [44] [47] [51]
19	Eugenio Moggi	[1] [3] [10] [15]
20	Peter Müller	[36] [44]
21	Martin Nordio (Martín Nordio)	[36] [44]
22	Peter W. O'Hearn	[2] [5] [6] [7] [9] [14] [18] [20] [21] [23] [27] [30] [31] [34] [35] [38] [48] [50]
23	Matthew J. Parkinson	[18] [25] [28]
24	Mohammad Raza	[39]
25	Tim Sheard	[10]
26	Stephan van Staden	[46] [47] [51]
27	Walid Taha	[3] [12] [15]
28	Peter Thiemann	[8]
29	Julian Tschannen	[44]
30	Viktor Vafeiadis	[28] [40]
31	Jules Villard	[41] [45]
32	Thomas Wies	[31]
33	Hongseok Yang	[6] [7] [22] [23] [27] [30] [31] [34] [35] [38] [48]
34	Kwangkeun Yi	[24]
35	Uri Zarfaty	[17] [26] [29]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page