Marco Campion
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
- Mila Dalla Preda5 talks
- Roberto Giacobazzi13 talks
- Caterina Urban14 talks
- Marco Gaboardi18 talks
- Zachary Kincaid9 talks
- Roberta Gori4 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… | ||
| Relating Distances and Abstractions: An Abstract Interpretation Perspective | SAS 2025 | 2025-10-13 |
Formalizes when a pre-metric induces an upper closure operator (uco) via Galois connections, showing uco-representable prematrices form a strict subset and… | ||
| 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… | ||
| nothing matches | ||