Elia Perantoni
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Adversities in Abstract Interpretation - Accommodating Robustness by Abstract(…) | POPL 2025 | 2025-01-19 |
Presents a formal framework that defines four concrete notions of classifier robustness via abstract interpretation—concrete, abstract robustness… | ||
| How fitting is your abstract domain? | SAS 2023 | 2023-10-22 |
Presents a sound, language- and domain-agnostic proof system that decides whether an abstract domain can produce answers strictly better than a chosen… | ||
| nothing matches | ||