I agree that this site is using cookies. You can find further informations here.
X
Distefano, Dino
31  results:
Search for persons X
?
1

PrivacyCAT: Privacy-Aware Code Analysis at Scale:

, In: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice,
Mao, Ke ; Åhs, Cons ; Cela, Sopot... - p. 106-117 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

PrivacyCAT: Privacy-Aware Code Analysis at Scale:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Mao, Ke ; Ahs, Cons T ; Cela, Sopot... - p. 106-117 , 2024
Link: https://doi.org/10.1145/..
 
?
3

InfERL: scalable and extensible Erlang static analysis:

, In: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang,
Hajdu, Ákos ; Marescotti, Matteo ; Suzanne, Thibault... - p. 33-39 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at..:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),
Mao, Ke ; Kapus, Timotej ; Petrou, Lambros... - p. 267-278 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Static Resource Analysis at Scale (Extended Abstract):

, In: Static Analysis; Lecture Notes in Computer Science,
Çiçek, Ezgi ; Bouaziz, Mehdi ; Cho, Sungkeun. - p. 3-6 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Scaling static analyses at Facebook:

Distefano, Dino ; Fähndrich, Manuel ; Logozzo, Francesco.
Communications of the ACM.  62 (2019)  8 - p. 62-70 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Scaling static analyses at Facebook:

Distefano, Dino ; Fähndrich, Manuel ; Logozzo, Francesco.
Communications of the ACM.  62 (2019)  8 - p. 62-70 , 2019
Link: https://doi.org/10.1145/..
 
?
8

Verification of Snapshot Isolation in Transactional Memory ..:

, In: ECOOP 2012 – Object-Oriented Programming; Lecture Notes in Computer Science,
Dias, Ricardo J. ; Distefano, Dino ; Seco, João Costa. - p. 640-664 , 2012
Link: https://doi.org/10.1007/..
 
?
9

Verification of snapshot isolation in transactional memory ..:

, In: Proceedings of the 26th European conference on Object-Oriented Programming,
Dias, Ricardo J. ; Distefano, Dino ; Seco, João Costa. - p. 640-664 , 2012
Link: https://dl.acm.org/doi/1..
 
?
10

Compositional Shape Analysis by Means of Bi-Abduction:

Calcagno, Cristiano ; Distefano, Dino ; O'Hearn, Peter W..
Journal of the ACM.  58 (2011)  6 - p. 1-66 , 2011
Link: https://doi.org/10.1145/..
 
?
11

jStar-eclipse : an IDE for automated verification of Jav..:

, In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering,
Naudziuniene, Daiva ; Botincan, Matko ; Distefano, Dino... - p. 428-431 , 2011
Link: https://dl.acm.org/doi/1..
 
?
12

Compositional Shape Analysis by Means of Bi-Abduction:

Calcagno, Cristiano ; Distefano, Dino ; O'Hearn, Peter W..
Journal of the ACM (JACM).  58 (2011)  6 - p. 1-66 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

Compositional shape analysis by means of bi-abduction:

, In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Calcagno, Cristiano ; Distefano, Dino ; O'Hearn, Peter. - p. 289-300 , 2009
Link: https://dl.acm.org/doi/1..
 
?
14

Compositional shape analysis by means of bi-abduction:

Calcagno, Cristiano ; Distefano, Dino ; O'Hearn, Peter.
ACM SIGPLAN Notices.  44 (2009)  1 - p. 289-300 , 2009
Link: https://doi.org/10.1145/..
 
?
15

jStar : towards practical verification for java:

, In: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications,
Distefano, Dino ; Parkinson J, Matthew J. - p. 213-226 , 2008
Link: https://dl.acm.org/doi/1..
 
1-15