Dino Distefano
7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Dino Distefano
Dino Distefano: from shape analysis to tools people ran - local shape analysis on separation logic, jStar for Java, and compositional shape analysis by bi-abduction.
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Infer: An Automatic Program Verifier for Memory Safety of C Programs
Cristiano Calcagno and others (2011) · Lecture notes in computer science · Springer Science+Business Media
Memory Leaks Detection in Java by Bi-abductive Inference
Dino Distefano and others (2010) · Lecture notes in computer science · Springer Science+Business Media
jStar: Towards Practical Verification for Java
Dino Distefano and others (2008) · Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications · Association for Computing Machinery
Scalable Shape Analysis for Systems Code
Hongseok Yang and others (2008) · Lecture notes in computer science · Springer Science+Business Media
A Local Shape Analysis Based on Separation Logic
Dino Distefano and others (2006) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
Who is Pointing When to Whom?
Dino Distefano and others (2004) · Lecture notes in computer science · Springer Science+Business Media