Dino Distefano

Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos: Runtime Verification Based on Register Automata. TACAS 2013: 260-276

Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço: Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP 2012: 640-664

Dino Distefano: A Voyage to the Deep-Heap. SAS 2012: 3

Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos: Runtime Verification Based on Register Automata. CoRR abs/1209.5325 (2012)

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Compositional Shape Analysis by Means of Bi-Abduction. J. ACM 58(6): 26 (2011)

James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen: Automated Cyclic Entailment Proofs in Separation Logic. CADE 2011: 131-146

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich: The COST IC0701 Verification Competition 2011. FoVeOOS 2011: 3-21

Cristiano Calcagno, Dino Distefano: Infer: An Automatic Program Verifier for Memory Safety of C Programs. NASA Formal Methods 2011: 459-465

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson: jStar-eclipse: an IDE for automated verification of Java programs. SIGSOFT FSE 2011: 428-431

Dino Distefano, Ivana Filipovic: Memory Leaks Detection in Java by Bi-abductive Inference. FASE 2010: 278-292

Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis: Bi-abductive Resource Invariant Synthesis. APLAS 2009: 259-274

Dino Distefano: Attacking Large Industrial Code with Bi-abductive Inference. FMICS 2009: 1-8

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Compositional shape analysis by means of bi-abduction. POPL 2009: 289-300

Dino Distefano: Abductive Inference for Reasoning about Heaps. APLAS 2008: 1-2

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

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Space Invading Systems Code. LOPSTR 2008: 1-3

Dino Distefano, Matthew J. Parkinson: jStar: towards practical verification for java. OOPSLA 2008: 213-226

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

Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS 2007: 402-418

Arend Rensink, Dino Distefano: Abstract Graph Transformation. Electr. Notes Theor. Comput. Sci. 157(1): 39-59 (2006)

Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn: Automatic Termination Proofs for Programs with Shape-Shifting Heaps. CAV 2006: 386-400

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS 2006: 182-203

Dino Distefano, Peter W. O'Hearn, Hongseok Yang: A Local Shape Analysis Based on Separation Logic. TACAS 2006: 287-302

Dino Distefano: A Parametric Model for the Analysis of Mobile Ambients. APLAS 2005: 401-417

Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312

Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Who is Pointing When to Whom? FSTTCS 2004: 250-262

Dino Distefano, Arend Rensink, Joost-Pieter Katoen: Model Checking Birth and Death. IFIP TCS 2002: 435-447

Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems. FMOODS 2000: 285-304