Amanda Xu
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2021–2026
all 4 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Swamit Tannu3 talks
- Abtin Molavi3 talks
- Aws Albarghouthi14 talks
- Lauren Pick3 talks
- Michael Carbin14 talks
- Xiaodi Wu4 talks
| title | conference | date |
|---|---|---|
| Generating Compilers for Qubit Mapping and Routing | POPL 2026 | 2026-01-11 |
A system generates qubit mapping and routing compilers from a compact specification and a device graph, using an Amara language frontend and a parametric… | ||
| Dependency-Aware Compilation for Surface Code Quantum Architectures | OOPSLA 2025 | 2025-10-16 |
Presents a compiler that maps logical qubits to a 2D surface‑code grid using a layered interaction graph to expose only the operations that can conflict, then… | ||
| Checking Observational Correctness of Database Systems | OOPSLA 2025 | 2025-10-16 |
Tool encodes transaction behavior with a version-aware semantics and checks isolation via explicit SMT constraints so the checker asks whether any valid… | ||
| How to Synthesize Quantum-Circuit Optimizers | Doctoral Symposium @ SPLASH 2025 | 2025-10-13 |
Synthesizes provably correct rewrite rules for device-specific gate sets by hashing polynomial circuit semantics so enumeration becomes linear not quadratic… | ||
| Synthesizing Quantum-Circuit Optimizers | PLDI 2023 | 2023-06-17 |
Synthesizes a device-specific quantum-circuit optimizer from a gate-set spec in 1.2 minutes and outputs 7,001 symbolic rewrite rules for IBM’s gate set, giving… | ||
| Petr4: Formal Foundations for P4 Data Planes | POPL 2021 | 2021-01-17 |
Petr4 provides a clean‑slate definitional interpreter and a compact core calculus that models a P4 fragment, validated by running over 750 tests from the P4… | ||
| nothing matches | ||