Xiaodi Wu
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2024
on a stage with
- Yuxiang Peng2×
- Haowei Dengonce
- Jacob Youngonce
all 13 in the filters
who talks about the same things
- Yuxiang Peng3 talks
- Amanda Xu6 talks
- Kesha Hietala7 talks
- Robert Rand11 talks
- Aws Albarghouthi14 talks
- Mingsheng Ying9 talks
| title | conference | date |
|---|---|---|
| The Quantum Abstract Machine | PLanQC 2025 | 2025-01-25 |
Defines a Quantum Abstract Machine that gives direct semantics to circuit primitives (teleportation, entanglement swap) using a Chemical Abstract Machine… | ||
| A Case for Synthesis of Recursive Quantum Unitary Programs | POPL 2024 | 2024-01-14 |
QSynth synthesizes recursive unitary programs by combining an inductive quantum language with a fixed‑point rule, a hypothesis‑amplitude input/output… | ||
| SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Co... | POPL 2024 | 2024-01-14 |
SimuQ implements a full pipeline: a Hamiltonian Modeling Language for target systems, an abstract analog instruction set (AAIS) and AAIS Specification Language… | ||
| A Verified Optimizer for Quantum Circuits | POPL 2021 | 2021-01-17 |
VOQC is a fully verified optimizer for quantum circuits implemented in the Coq proof assistant over the SQIR intermediate language; all transformations are… | ||
| nothing matches | ||