WQS 2025
who it's for
quantum compiler developers, programming language researchers for quantum, quantum software engineers, quantum verification engineers, quantum simulator developers, quantum algorithm researchers, quantum hardware calibration engineers
topics
noise-adaptive mapping; calibration-guided selective folding; linear zero-noise extrapolation; automated quantum Hoare logic; level-synchronized tree automata; Jasp to MLIR/QIR compilation; call graph compression for quantum; GMS native ion-trap compilation; ZX-calculus fermion encodings; Kronecker-free vectorized simulator; weighted CNF to weighted model counting; semantics for quantum loops
| title | author | length |
|---|---|---|
| Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation | Leanghok Hour, Myeongseong Go, Youngsun Han | 17m |
Proposes a noise-adaptive mapping plus calibration-guided selective folding that uses device calibration to build an error-rate accumulation matrix, then folds… | ||
| Automating Quantum Hoare Logic with Automata (Work-In-Progress) | Fang-Yi Lo, Yo-Ga Chen, Yu-Fang Chen | 23m |
Framework automates applied Quantum Hoare Logic by encoding projector assertions as sets of eigenvectors and eigenvalues using level-synchronized tree… | ||
| Scalable Quantum Compilation With Jasp | Raphael Seidel | 55m |
Jasp traces Crisp programs into a Jasper IR and lowers through Catalyst to MLIR/QIR, enabling full compilation of large workflows (iterative QPE, hybrid VQE… | ||
| Optimization and Synthesis of Quantum Circuits with Global Gates | Alejandro Villoria, Henning Basold, Alfons Laarman | 17m |
Claims an algorithm that converts arbitrary circuits into ones using the ion-trap native gate set: GMS gates plus single-qubit rotations, implemented inside… | ||
| Quantum Circuit Compilation with #SAT | Jingyi Mei, Alfons Laarman | 20m |
Quokka# is an open-source Python library that encodes quantum states and gates into weighted CNF and reduces quantum simulation, verification, equivalence… | ||
| Deriving a Kronecker-Free Functional Quantum Simulator | Martin Elsman | 24m |
Derives a compositional, Kronecker-free interpreter that applies circuits directly to 2^n state vectors using the vectorization trick (vec/unvec, transposition… | ||
| A Semantics for Quantum Loops | Nicola Assolini, Alessandra Di Pierro | 22m |
Defines two precise semantics for quantum-controlled loops: a circuit-style unitary semantics built by copying the quantum guard into a growing temporary… | ||
| From Fermions to Qubits: A ZX-Calculus Perspective | Haytham McDowall-Rose, Razin A. Shaikh, Lia Yeh | 23m |
Claims a unified graphical framework using the scalable ZX-calculus that maps fermionic encodings to qubit circuits, proving correspondence between linear… | ||
| The quantum monad: structuring quantum advantage | Samson Abramsky | 01h 02m |
Claims that a quantum monad on relational structures exactly captures when quantum resources give an advantage: a quantum perfect strategy for a homomorphism… | ||
| nothing matches | ||