Dino Distefano

Department of Computer Science
Queen Mary University of London
E-mail: ddino@dcs.qmul.ac.uk
Page: http://www.eecs.qmul.ac.uk/~ddino/


Fields of interest:

Automatic program verification, static analysis

Recent publications:

Dino Distefano and Ivana Filipovic:
Memory Leaks Detection in Java by Bi-Abductive Inference,
In FASE 2010, pp. 278-292, LNCS 6013, Springer 2010.

Cristiano Calcagno, Dino Distefano and Viktor Vafeiadis:
Bi-Abductive Resource Invariant Synthesis,
In APLAS 2009, pp. 259-274, LNCS 5904, Springer 2019.

Cristiano Calcagno, Dino Distefano, Peter O’Hearn and Hongseok Yang:
Compositional Shape Analysis by Means of Bi-Abduction,
In POPL 2009, pp. 289-300.

Dino Distefano and Matthew J. Parkinson:
jStar: Towards Practical Verification for Java,
In 2008 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008), pp. 213-226, Nashville, USA.

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O’Hearn, Thomas Wies and Hongseok Yang:
Shape Analysis for Composite Data Structures,
In 19-th International Conference on Computer-Aided Verification (CAV 2007), pp. 178-192, LNCS 4590, Springer 2007.

Dino Distefano, Peter W. O’Hearn and Hongseok Yang:
A Local Shape Analysis Based on Separation Logic,
In 12-th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), pp. 287-302, LNCS 3920, Springer 2006.