Roberto Bruni
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 5 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Roberta Gori4 talks
- Flavio Ascari4 talks
- Roberto Giacobazzi13 talks
- Mila Dalla Preda5 talks
- Marco Campion5 talks
- Marco Gaboardi18 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… | ||
| Dynamic slicing of Reaction Systems based on assertions and monitors | PADL 2023 | 2023-01-16 |
First dynamic slicer for Reaction Systems that prunes past computation steps to expose exactly which reactions and entities cause a chosen subset, implemented… | ||
| 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 | ||