Dino Distefano

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 6

Top Topics

Assisted Learning

Dynamic Analysis

Extended Abstract

Top Venues

Erlang Workshop

Publications

Ke Mao, Cons Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP (2024)
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. ICST (2022)
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop (2022)
Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano
Static Resource Analysis at Scale (Extended Abstract). SAS (2020)
Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn
Scaling static analyses at Facebook. Commun. ACM 62 (8) (2019)
Pasquale Malacaria, Michael Tautschnig, Dino Distefano
Information Leakage Analysis of Complex C Code and Its application to OpenSSL. ISoLA (1) (2016)
Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez
Moving Fast with Software Verification. NFM (2015)
Dino Distefano, Jérémy Dubreil
Detecting Data Races on OpenCL Kernels with Symbolic Execution. CoRR (2013)
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata. TACAS (2013)
Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
Runtime Verification Based on Register Automata CoRR (2012)
Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço
Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP (2012)
Dino Distefano
A Voyage to the Deep-Heap. SAS (2012)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Compositional Shape Analysis by Means of Bi-Abduction. J. ACM 58 (6) (2011)
Cristiano Calcagno, Dino Distefano
Infer: An Automatic Program Verifier for Memory Safety of C Programs. NASA Formal Methods (2011)
Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson
jStar-eclipse: an IDE for automated verification of Java programs. SIGSOFT FSE (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
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen
Automated Cyclic Entailment Proofs in Separation Logic. CADE (2011)
Dino Distefano, Ivana Filipovic
Memory Leaks Detection in Java by Bi-abductive Inference. FASE (2010)
Dino Distefano
Attacking Large Industrial Code with Bi-abductive Inference. FMICS (2009)
Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis
Bi-abductive Resource Invariant Synthesis. APLAS (2009)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Compositional shape analysis by means of bi-abduction. POPL (2009)
Dino Distefano
Abductive Inference for Reasoning about Heaps. APLAS (2008)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Space Invading Systems Code. LOPSTR (2008)
Dino Distefano, Matthew J. Parkinson
jStar: towards practical verification for java. OOPSLA (2008)
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn
Scalable Shape Analysis for Systems Code. CAV (2008)
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn
Variance analyses from invariance analyses. POPL (2007)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS (2007)
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
Shape Analysis for Composite Data Structures. CAV (2007)
Dino Distefano, Peter W. O'Hearn, Hongseok Yang
A Local Shape Analysis Based on Separation Logic. TACAS (2006)
Arend Rensink, Dino Distefano
Abstract Graph Transformation. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn
Automatic Termination Proofs for Programs with Shape-Shifting Heaps. CAV (2006)
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS (2006)
Dino Distefano
A Parametric Model for the Analysis of Mobile Ambients. APLAS (2005)
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
Safety and Liveness in Concurrent Pointer Programs. FMCO (2005)
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
Who is Pointing When to Whom? FSTTCS (2004)
Dino Distefano, Arend Rensink, Joost-Pieter Katoen
Model Checking Birth and Death. IFIP TCS (2002)
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
On a Temporal Logic for Object-Based Systems. FMOODS (2000)