Dino Distefano

According to our database, Dino Distefano authored at least 34 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.

Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

InfERL: scalable and extensible Erlang static analysis.

Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2020

Static Resource Analysis at Scale (Extended Abstract).

Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

Scaling static analyses at Facebook.

Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn

Commun. ACM, 2019

2016

Information Leakage Analysis of Complex C Code and Its application to OpenSSL.

Pasquale Malacaria, Michael Tautschnig, Dino Distefano

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Moving Fast with Software Verification.

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013

Detecting Data Races on OpenCL Kernels with Symbolic Execution.

Dino Distefano, Jérémy Dubreil

CoRR, 2013

Runtime Verification Based on Register Automata.

Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

A Voyage to the Deep-Heap.

Dino Distefano

Proceedings of the Static Analysis - 19th International Symposium, 2012

Verification of Snapshot Isolation in Transactional Memory Java Programs.

Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Compositional Shape Analysis by Means of Bi-Abduction.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

J. ACM, 2011

jStar-eclipse: an IDE for automated verification of Java programs.

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Infer: An Automatic Program Verifier for Memory Safety of C Programs.

Cristiano Calcagno, Dino Distefano

Proceedings of the NASA Formal Methods, 2011

The COST IC0701 Verification Competition 2011.

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Automated Cyclic Entailment Proofs in Separation Logic.

James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Memory Leaks Detection in Java by Bi-abductive Inference.

Dino Distefano, Ivana Filipovic

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Attacking Large Industrial Code with Bi-abductive Inference.

Dino Distefano

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Bi-abductive Resource Invariant Synthesis.

Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

jStar: towards practical verification for java.

Dino Distefano, Matthew J. Parkinson

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Space Invading Systems Code.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Scalable Shape Analysis for Systems Code.

Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Abductive Inference for Reasoning about Heaps.

Dino Distefano

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Footprint Analysis: A Shape Analysis That Discovers Preconditions.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Static Analysis, 14th International Symposium, 2007

Variance analyses from invariance analyses.

Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Shape Analysis for Composite Data Structures.

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

A Local Shape Analysis Based on Separation Logic.

Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Static Analysis, 13th International Symposium, 2006

Automatic Termination Proofs for Programs with Shape-Shifting Heaps.

Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Abstract Graph Transformation.

Arend Rensink, Dino Distefano

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Safety and Liveness in Concurrent Pointer Programs.

Dino Distefano, Joost-Pieter Katoen, Arend Rensink

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

A Parametric Model for the Analysis of Mobile Ambients.

Dino Distefano

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Who is Pointing When to Whom?

Dino Distefano, Joost-Pieter Katoen, Arend Rensink

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2002

Model Checking Birth and Death.

Dino Distefano, Arend Rensink, Joost-Pieter Katoen

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2000

On a Temporal Logic for Object-Based Systems.

Dino Distefano, Joost-Pieter Katoen, Arend Rensink

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000