Statistics
Publications
15
Citations
1.4K
H-Index
13
Active since
2000
Dino Distefano is an author at Queen Mary University of London specializing in computer science, computing, and formal methods.
Publications per year
2000–2019
15
15
Compositional shape analysis by means of bi-abduction
Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · 2009 · 276 citations
Dino Distefano, Matthew J. Parkinson J · 2008 · 227 citations
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · Journal of the ACM · 2011 · 210 citations
Scaling static analyses at Facebook
Dino Distefano, Manuel Fähndrich, Francesco Logozzo et al. · Communications of the ACM · 2019 · 200 citations · Full text
Compositional shape analysis by means of bi-abduction
Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · ACM SIGPLAN Notices · 2009 · 116 citations
1–5 of 15