Dino Distefano

2009
17	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Compositional shape analysis by means of bi-abduction. POPL 2009: 289-300
2008
16	EE	Dino Distefano: Abductive Inference for Reasoning about Heaps. APLAS 2008: 1-2
15	EE	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
14	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Space Invading Systems Code. LOPSTR 2008: 1-3
13	EE	Dino Distefano, Matthew J. Parkinson: jStar: towards practical verification for java. OOPSLA 2008: 213-226
2007
12	EE	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
11	EE	Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224
10	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS 2007: 402-418
2006
9	EE	Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn: Automatic Termination Proofs for Programs with Shape-Shifting Heaps. CAV 2006: 386-400
8	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS 2006: 182-203
7	EE	Dino Distefano, Peter W. O'Hearn, Hongseok Yang: A Local Shape Analysis Based on Separation Logic. TACAS 2006: 287-302
6	EE	Arend Rensink, Dino Distefano: Abstract Graph Transformation. Electr. Notes Theor. Comput. Sci. 157(1): 39-59 (2006)
2005
5	EE	Dino Distefano: A Parametric Model for the Analysis of Mobile Ambients. APLAS 2005: 401-417
4	EE	Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312
2004
3	EE	Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Who is Pointing When to Whom? FSTTCS 2004: 250-262
2002
2		Dino Distefano, Arend Rensink, Joost-Pieter Katoen: Model Checking Birth and Death. IFIP TCS 2002: 435-447
2000
1		Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems. FMOODS 2000: 285-304

Coauthor Index

1	Josh Berdine	[9] [11] [12] [15]
2	Cristiano Calcagno	[8] [10] [12] [14] [15] [17]
3	Aziem Chawdhary	[11]
4	Byron Cook	[9] [11] [12] [15]
5	Joost-Pieter Katoen	[1] [2] [3] [4]
6	Oukseh Lee	[15]
7	Peter W. O'Hearn	[7] [8] [9] [10] [11] [12] [14] [15] [17]
8	Matthew J. Parkinson	[13]
9	Arend Rensink	[1] [2] [3] [4] [6]
10	Thomas Wies	[12]
11	Hongseok Yang	[7] [8] [10] [12] [14] [15] [17]

Colors in the list of coauthors