Login / Signup
Elia Perantoni
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Active Rules
Fitting Method
Abstract Interpretation
Domain Independent
Top Venues
ACM Trans. Program. Lang. Syst.
SAS
</>
Publications
</>
Roberto Giacobazzi
,
Isabella Mastroeni
,
Elia Perantoni
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation.
ACM Trans. Program. Lang. Syst.
46 (2) (2024)
Roberto Giacobazzi
,
Isabella Mastroeni
,
Elia Perantoni
How Fitting is Your Abstract Domain?
SAS
(2023)