WQS 2024
| title | author | length |
|---|---|---|
| Classical Simulation of Quantum Circuits with Partial Interference Effects | Sinan Pehlivanoglu, Amr Sabry | 22m |
Presents a simulation that truncates interference by running branch histories concurrently and halting when a collected amplitude crosses a chosen threshold… | ||
| Hybrid Quantum-Classical Machine Learning with String Diagrams | Alexander Koziell-Pipe, Aleks Kissinger | 20m |
Formal framework maps quantum CPTP superoperators through real matrices into smooth classical maps, using lax monoidal functor boxes that force multiple… | ||
| Quantum Backtracking in Qrisp Applied to Sudoku Problems | Raphael Seidel, Zander René, Matic Petrič, Niklas Steinmann, David Liu, Nikolay Tcholtchev, Manfred Hauswirth | 21m |
Implements Montanaro-style quantum backtracking in Qrisp and reports a concrete gate budget for the controlled diffuser: 6n + 14 CX gates for a binary… | ||
| Verifying Quantum Circuits in GAP | Scott Wesley | 18m |
Implementation called Quantum GAP provides exact matrix arithmetic over cyclotomic and algebraic field extensions and verifies 30 decompositions from prior… | ||
| A Static Analysis for High-Level Quantum Programming Languages | Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni | 19m |
A static analysis that builds a control‑flow graph and runs a backward safe/unsafe liveness pass identifies temporaries that must be explicitly discarded and… | ||
| Quantum program analysis: Verification and Testing | Nengkun Yu | 42m |
Survey of concrete program-analysis tools for quantum code: Quantum Hoare logic with sound and complete proof rules for partial and total correctness, a… | ||
| Towards an open-source framework to perform quantum calibration and characterization | Andrea Pasquale, Edoardo Pedicillo, Stefano Carrazza | 19m |
Qibocal is an open-source Qibo-based toolkit that performs platform-agnostic calibration, characterization and verification for superconducting qubits by… | ||
| Dataflow-Based Optimization for QIR Programs | Junjie Luo, Haoyuan Zhang, Jianjun Zhao | 17m |
QDFO preprocesses Microsoft QIR so LLVM’s optimizer can see and apply classical optimizations, then runs a dataflow analysis that eliminates duplicate qubit… | ||
| Supporting End-Users in Realizing Quantum Computing Applications | Damian Rovara, Nils Quetschlich, Lukas Burgholzer, Robert Wille | 19m |
A toolkit called MQT provides concrete tools: MQT CuboMaker generates QUBO formulations and direct quantum circuits from constrained path problems (supports… | ||
| Quantum application development for multi-processor systems using CUDA-Q | Bettina Heim | 45m |
CUDA‑Q is an open‑source toolchain that compiles annotated C++ and Python quantum kernels through an MLIR/LLVM pipeline into QIR, then into backend-specific… | ||
| Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation) | Razin A. Shaikh, Lia Yeh, Stefano Gogioso | 20m |
Graphical ZX-calculus extends to infinite-dimensional CVQC by adding a Fock spider (discrete photon-number basis) and a W node and gives diagrammatic encodings… | ||
| From ZX to first order logic: a survey of string diagrammatic calculi | Pawel Sobocinski | 49m |
Claims that string diagrams (ZX and variants) reconstruct fragments up to full first‑order logic by algebraic interaction of Hopf and Frobenius interaction and… | ||
| nothing matches | ||