Folgen
Dino Distefano
Titel
Zitiert von
Zitiert von
Jahr
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
6432011
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
4412006
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ...
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
3412015
jStar: Towards practical verification for Java
D Distefano, MJ Parkinson J
ACM Sigplan Notices 43 (10), 213-226, 2008
3372008
Scalable shape analysis for systems code
H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
3192008
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
2902007
Infer: An automatic program verifier for memory safety of C programs
C Calcagno, D Distefano
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
2142011
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
1512006
Scaling static analyses at Facebook
D Distefano, M Fähndrich, F Logozzo, PW O'Hearn
Communications of the ACM 62 (8), 62-70, 2019
1472019
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
1042007
Abstract graph transformation
A Rensink, D Distefano
Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006
952006
Automated Cyclic Entailment Proofs in Separation Logic.
J Brotherston, D Distefano, RL Petersen
CADE 11, 131-146, 2011
902011
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
882000
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
822006
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
662007
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
492013
Bi-abductive resource invariant synthesis
C Calcagno, D Distefano, V Vafeiadis
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul …, 2009
482009
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
442012
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
422005
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
412012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20