Dino Distefano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
14
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | PrivacyCAT: Privacy-Aware Code Analysis at Scale. | Ke Mao, Cons T. hs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, kos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne |
| 2022 | ICST | FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. | Ke Mao, Timotej Kapus, Lambros Petrou, kos Hajdu, Matteo Marescotti, Andreas Lscher, Mark Harman, Dino Distefano |
| 2020 | SAS | Static Resource Analysis at Scale (Extended Abstract). | Ezgi iek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano |
| 2016 | ISoLA | Information Leakage Analysis of Complex C Code and Its application to OpenSSL. | Pasquale Malacaria, Michael Tautschnig, Dino Distefano |
| 2013 | TACAS | Runtime Verification Based on Register Automata. | Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos |
| 2012 | ECOOP | Verification of Snapshot Isolation in Transactional Memory Java Programs. | Ricardo J. Dias, Dino Distefano, Joo Costa Seco, Joo Loureno |
| 2012 | SAS | A Voyage to the Deep-Heap. | Dino Distefano |
| 2011 | CADE | Automated Cyclic Entailment Proofs in Separation Logic. | James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen |
| 2010 | FASE | Memory Leaks Detection in Java by Bi-abductive Inference. | Dino Distefano, Ivana Filipovic |
| 2009 | APLAS | Bi-abductive Resource Invariant Synthesis. | Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis |
| 2009 | FMICS | Attacking Large Industrial Code with Bi-abductive Inference. | Dino Distefano |
| 2009 | POPL | Compositional shape analysis by means of bi-abduction. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2008 | APLAS | Abductive Inference for Reasoning about Heaps. | Dino Distefano |
| 2008 | CAV | Scalable Shape Analysis for Systems Code. | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2008 | LOPSTR | Space Invading Systems Code. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2008 | OOPSLA | jStar: towards practical verification for java. | Dino Distefano, Matthew J. Parkinson |
| 2007 | CAV | Shape Analysis for Composite Data Structures. | Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang |
| 2007 | POPL | Variance analyses from invariance analyses. | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2007 | SAS | Footprint Analysis: A Shape Analysis That Discovers Preconditions. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2006 | CAV | Automatic Termination Proofs for Programs with Shape-Shifting Heaps. | Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2006 | SAS | Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2006 | TACAS | A Local Shape Analysis Based on Separation Logic. | Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2005 | APLAS | A Parametric Model for the Analysis of Mobile Ambients. | Dino Distefano |