PLanQC 2020
2020-01-19
New Orleans, United States
PLanQC ·
[PLanQC 2020, PLanQC 2021, PLanQC 2022, PLanQC 2024, PLanQC 2025, PLanQC 2026]
who it's for
programming languages researchers, formal methods researchers, quantum compiler engineers, quantum algorithm developers, quantum hardware engineers, systems and tooling engineers
topics
probabilistic operational semantics; density matrix formulation; Qiskit-Pulse pulse scheduling; transmon qubit control; cross resonance pulse CNOT; Q# borrowed qubits; auto-generated adjoints; direct-to-pulse compilation; noise-aware qubit mapping; qutrit ancilla optimization; verified optimizer for circuits; hypergraph partitioning for distribution
| title | author | length |
|---|---|---|
| Quantum Computing for Programming Languages Researchers | Jennifer Paykin | 30m |
Intro for PL researchers that reduces quantum programming to concrete mechanics and a tiny language with probabilistic operational semantics showing how… | ||
| Qiskit-Pulse: Programming Quantum Computers through the Cloud with Pulses | Thomas Alexander | 21m |
Qiskit‑Pulse exposes a virtual ISA that programs superconducting transmon qubits by scheduling pulses as complex-valued sample arrays played per cycle DT and… | ||
| Q# - going beyond quantum circuits | Bettina Heim | 40m |
Q# is a preview quantum language plus open-source compiler and runtime that targets automation across virtual → logical → physical layers, aiming to optimize… | ||
| Resource-Efficient Quantum Computing by Breaking Abstractions | Fred Chong | 37m |
Claims software can cut required quantum resources by 100–1000× overall; three concrete results support that. Direct-to-pulse compilation groups gates and… | ||
| A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages | Kesha Hietala, Kartik Singhal | 24m |
A verified optimizer named Box implements peephole rules (X/Z propagation, gate cancellation) plus rotation‑merging and a naive swap‑based mapper, all… | ||
| Toward Certified Quantum Programming | Christophe Chareton | 21m |
A core language called Cubics encodes circuits with a denotational path-sum semantics and lifted constructors whose specifications compose isomorphically with… | ||
| Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation | Andrew Glaudell | 22m |
Provides an exact, efficient synthesis procedure for two-qubit unitaries over a Clifford+CS (super Clifford+T) gate set, producing a unique optimal normal form… | ||
| Quingo: A Domain Specific Language for Quantum Computing with NISQ Features | Hanru Jiang | 14m |
Quingo is a domain-specific language plus runtime that targets NISQ workflows: it provides explicit timing control (wait and sync primitives used to run T1… | ||
| Extending Modern C++ for Heterogeneous Quantum-Classical Computing | Alexander McCaskey | 21m |
Claims a practical single-source C++ extension that embeds quantum kernels as lambdas, compiles them via XACC IR and Clang plugins into API calls, and runs… | ||
| Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control | Dongho Lee | 18m |
Formalizes a circuit description language that records measurement-dependent control as a branching tree of channels rather than flat gate lists, introduces a… | ||
| Automated distribution of quantum circuits via hypergraph partitioning | Pablo Andrez-Martinez | 18m |
Claims an automated compiler pass that maps a quantum circuit to K QPUs while minimizing costly entangled pairs (ebits) by encoding multi-gate grouping into a… | ||
| Tracking Errors through Types in Quantum Programs | Robert Rand | 16m |
A type extension records a natural-number k errors on each qubit and a gate annotation for how many errors it adds; implemented in the embedded quantum… | ||
| Dependently Typed Quantum Programming in Proto-Quipper | Peter Selinger | 30m |
Proto-Quipper claims a practical, type-safe fix for Quipper’s unsoundness by adding dependent linear types that force a shape/parameter separation (types only… | ||
| nothing matches | ||