Flavio Ascari
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Roberto Bruni5 talks
- Roberta Gori4 talks
- Roberto Giacobazzi13 talks
- Mila Dalla Preda5 talks
- Marco Gaboardi18 talks
- Marco Campion5 talks
| title | conference | date |
|---|---|---|
| U-Turn: Enhancing Incorrectness Analysis by Reversing Direction | POPL 2026 | 2026-01-11 |
Combines forward Incorrectness Logic derivations with backward Sufficient Incorrectness Logic by instrumenting backward proof rules with the forward derivation… | ||
| Revealing Sources of (Memory) Errors via Backward Analysis | OOPSLA 2025 | 2025-10-16 |
Claims a new backward under‑approximation proof system called SIL and a memory‑aware specialization Separation SIL that are sound and (relatively) complete for… | ||
| U-turn: Forward-driven backward analysis for incorrectness | TPSA 2025 | 2025-01-19 |
Combines forward IL to produce only true reachable errors with a backward SIL proof that extracts the actual preconditions responsible for those errors… | ||
| A Comparison of Program Logics for (In)Correctness | Incorrectness 2024 | 2024-01-17 |
Compares program logics by exact approximation direction and shows over/under duality breaks: Hoare-style correctness and necessary-precondition triples map… | ||
| nothing matches | ||