| Compositional shape analysis by means of bi-abduction C Calcagno, D Distefano, PW O’hearn, H Yang Journal of the ACM (JACM) 58 (6), 1-66, 2011 | 718 | 2011 |
| A local shape analysis based on separation logic D Distefano, PW O’hearn, H Yang Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006 | 457 | 2006 |
| Moving fast with software verification C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ... NASA Formal Methods Symposium, 3-11, 2015 | 407 | 2015 |
| jStar: Towards practical verification for Java D Distefano, MJ Parkinson J ACM Sigplan Notices 43 (10), 213-226, 2008 | 352 | 2008 |
| Scalable shape analysis for systems code H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn International Conference on Computer Aided Verification, 385-398, 2008 | 330 | 2008 |
| Shape analysis for composite data structures J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ... Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 304 | 2007 |
| Infer: An automatic program verifier for memory safety of C programs C Calcagno, D Distefano NASA Formal Methods Symposium, 459-465, 2011 | 268 | 2011 |
| Scaling static analyses at Facebook D Distefano, M Fähndrich, F Logozzo, PW O'Hearn Communications of the ACM 62 (8), 62-70, 2019 | 242 | 2019 |
| Automatic termination proofs for programs with shape-shifting heaps J Berdine, B Cook, D Distefano, PW O’hearn Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 159 | 2006 |
| Variance analyses from invariance analyses J Berdine, A Chawdhary, B Cook, D Distefano, P O'Hearn Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 112 | 2007 |
| Abstract graph transformation A Rensink, D Distefano Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006 | 102 | 2006 |
| Automated cyclic entailment proofs in separation logic J Brotherston, D Distefano, RL Petersen Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 99 | 2011 |
| On a temporal logic for object-based systems D Distefano, JP Katoen, A Rensink Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000 | 92 | 2000 |
| Beyond reachability: Shape abstraction in the presence of pointer arithmetic C Calcagno, D Distefano, PW O’Hearn, H Yang Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006 | 86 | 2006 |
| Footprint analysis: A shape analysis that discovers preconditions C Calcagno, D Distefano, PW O’hearn, H Yang Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007 | 68 | 2007 |
| Runtime verification based on register automata R Grigore, D Distefano, RL Petersen, N Tzevelekos Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 59 | 2013 |
| Bi-abductive resource invariant synthesis C Calcagno, D Distefano, V Vafeiadis Asian Symposium on Programming Languages and Systems, 259-274, 2009 | 49 | 2009 |
| The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software: International Conference …, 2012 | 46 | 2012 |
| System and method for display of software quality C Calcagno, DS Distefano, TM Lownie, JJ Lownie, DA Armitage US Patent App. 13/451,417, 2012 | 44 | 2012 |
| Who is pointing when to whom? on the automated verification of linked list structures D Distefano, JP Katoen, A Rensink FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005 | 44 | 2005 |
Peter O'HearnUniversity College LondonE-mail confirmado em ucl.ac.uk