Concepedia

Dino Distefano

DD

Statistics

Publications

15

Citations

1.4K

H-Index

13

Active since

2000

Affiliations

Queen Mary University of London(Current)

Imperial College London

University of Cambridge

Meta (United Kingdom)

Microsoft Research (United Kingdom)

Dino Distefano is an author at Queen Mary University of London specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningSoftware EngineeringSoftware Verification

Publications per year

2000–2019

15

Publications

15

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · 2009 · 271 citations

Engineering, Geometry, Statistical Shape Analysis +22

Dino Distefano, Matthew J. Parkinson J · 2008 · 225 citations

Program Checking, Engineering, Verification +17

Compositional Shape Analysis by Means of Bi-Abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · Journal of the ACM · 2011 · 207 citations

Engineering, Geometry, Statistical Shape Analysis +27

Scaling static analyses at Facebook

Dino Distefano, Manuel Fähndrich, Francesco Logozzo et al. · Communications of the ACM · 2019 · 193 citations · Full text

Software Maintenance, Social Data Analysis, Engineering +24

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · ACM SIGPLAN Notices · 2009 · 116 citations

Engineering, Geometry, Statistical Shape Analysis +25

1–5 of 15