Dino Distefano

39 papers A* 6A 6B 8C 2Journal 4Unranked 13

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