Nicola Assolini
where else to find them
github:NicolaAssolini98
what they talk about
where they keep going back
- WQS2 editions2024–2025
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Semantics for Quantum Loops | WQS 2025 | 2025-06-16 |
Defines two precise semantics for quantum-controlled loops: a circuit-style unitary semantics built by copying the quantum guard into a growing temporary… | ||
| 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… | ||
| 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… | ||
| nothing matches | ||