Francesco Ranzato
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 |
|---|---|---|
| The Best of Abstract Interpretations | POPL 2025 | 2025-01-19 |
Characterizes when an inductive abstract interpretation equals the abstraction of the concrete semantics, proves that for any non‑trivial abstract domain the… | ||
| Abstract Interpretation Repair | PLDI 2022 | 2022-06-13 |
This work gives an algorithmic way to repair abstract interpreters by add one point u into the abstract domain along a program trace, producing the minimal… | ||
| nothing matches | ||