Anurudh Peduri
where else to find them
what they talk about
where they keep going back
- PLanQC2 editions2024–2026
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Traq: Estimating the Quantum Cost of Classical Programs | PLanQC 2026 | 2026-01-12 |
Traq provides an automated pipeline that compiles a classical CPL source language to unitary quantum code, extracts three cost functions (worst-case have cost… | ||
| QbC: Quantum Correctness by Construction | OOPSLA 2025 | 2025-10-16 |
Presents a method that builds quantum programs from pre/postconditions by applying sound and complete refinement rules over a quantum while language, using… | ||
| QbC: Quantum Correctness by Construction | PLanQC 2024 | 2024-01-20 |
Constructs quantum programs from pre/postconditions using typed holes and a set of refinement rules that reduce holes to initializations, unitaries, sequences… | ||
| nothing matches | ||