Mila Dalla Preda
where else to find them
no profile links on file
what they talk about
where they keep going back
on a stage with
all 4 in the filters
who talks about the same things
- Marco Campion5 talks
- Roberto Giacobazzi13 talks
- Caterina Urban14 talks
- Roberta Gori4 talks
- Zachary Kincaid9 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| A Logic for the Imprecision of Abstract Interpretations | POPL 2026 | 2026-01-11 |
Introduces a program logic, Error Propagation Logic, that produces an explicit bounding function mapping concrete-input imprecision to an upper bound on… | ||
| Monotonicity and the Precision of Program Analysis | POPL 2024 | 2024-01-14 |
Paper proves that if a program is monotone (non‑decreasing or non‑increasing) on a bounded input space and yields a convex numeric output over a non‑relational… | ||
| A Formal Framework to Measure the Incompleteness of Abstract Interpretations | SAS 2023 | 2023-10-22 |
Defines a weaker distance notion called pre-metric that relaxes quasi-metric axioms so distances work on pre-ordered abstract and concrete domains, shows how… | ||
| Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in | POPL 2022 | 2022-01-16 |
Defines a quasi-metric a-compatible on abstract domains (examples: weighted path length for sign and interval domains) and formalizes epsilon-partial… | ||
| Formal framework for reasoning about the precision of dynamic analysis | SAS 2020 | 2020-11-18 |
Provides a formal framework that models dynamic-analysis precision by treating trace properties as equivalence relations and defining obfuscation as… | ||
| nothing matches | ||