Isabella Mastroeni
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- SAS3 editions2020–2025
all 5 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| Abstract Local Completeness: A Local form of Abstract Non-Interference | VMCAI 2025 | 2025-01-20 |
Defines abstract local completeness as an intermediate between global completeness and per-input local completeness, formalizes it as completeness over all… | ||
| A Static Analysis of Entanglement | VMCAI 2025 | 2025-01-20 |
A static analysis based on abstract interpretation constructs an abstract domain that pairs a partition of qubits with per-block value labels (classical… | ||
| Adversities in Abstract Interpretation - Accommodating Robustness by Abstract(…) | POPL 2025 | 2025-01-19 |
Presents a formal framework that defines four concrete notions of classifier robustness via abstract interpretation—concrete, abstract robustness… | ||
| Abstracting Entanglement | NSAD 2024 | 2024-10-22 |
Introduces a novel abstract domain that models both separability and a stronger direct inseparability relation using partitions of qubits plus an index per… | ||
| A Static Analysis for High-Level Quantum Programming Languages | WQS 2024 | 2024-06-24 |
A static analysis that builds a control‑flow graph and runs a backward safe/unsafe liveness pass identifies temporaries that must be explicitly discarded and… | ||
| How fitting is your abstract domain? | SAS 2023 | 2023-10-22 |
Presents a sound, language- and domain-agnostic proof system that decides whether an abstract domain can produce answers strictly better than a chosen… | ||
| Domain Precision in Galois Connection-less Abstract Interpretation | SAS 2023 | 2023-10-22 |
Shows that completeness of an abstract interpretation is equivalent to abstract non‑interference, letting completeness be checked as a hyperproperty of the… | ||
| On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs | SAS 2020 | 2020-11-18 |
Paper gives a general, provable method to build an abstract semantics for a language obtained by combining two languages: it lifts concrete algebras to… | ||
| nothing matches | ||