PLanQC 2024
as the organisers put it
The Fourth International Workshop on Programming Languages for Quantum Computing (PLanQC 2024) aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, both those that exist today and those likely to exist in the near to far future. Workshop topics include (but are not limited to): High-level quantum programming languages Verification tools for ...
who it's for
programming languages researchers, language designers, compiler developers, verification engineers, quantum software engineers, quantum algorithm researchers
topics
linear dependent type-and-effect systems; thinnings as bitvectors; pythonic quantum-classical DSL; differentiable digital-analog interface; primitive recursion for string diagrams; optimal parametrised circuit compilation; sum-over-paths hidden-shift simulation; magic state distillation pipelines; effect LTS for measurements; correctness-by-construction refinement
| title | author | length |
|---|---|---|
| Monoidal Adventures | Conor McBride | 43m |
A prototype brat language encodes quantum circuits as composable monoidal pieces and enforces wiring with thinnings as bitvectors so selection and composition… | ||
| Introducing BRAT | Ross Duncan, Mark Koch, Alan Lawrence, Conor McBride, Craig Roy | 22m |
BRAT is a functional language that interleaves quantum and classical code with linear qubit types, a kernel arrow for circuits and classical thunks for… | ||
| Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abs... | Andrea Colledan, Ugo Dal Lago | 26m |
Proto-Quipper-R implements a linear dependent type-and-effect system that produces parametric upper bounds on circuit width (indices are arithmetic expressions… | ||
| Graphical Primitive Recursion For String Diagrams | Zhulien Zhelezchev, Aleks Kissinger | 20m |
Provides a concrete way to add primitive recursion to diagrams in a symmetric monoidal setting, with a proof‑of‑concept Haskell eDSL that converts recursive… | ||
| Optimal compilation of parametrised quantum circuits | John van de Wetering, Richie Yeung, Tuomas Laakkonen, Aleks Kissinger | 20m |
Shows that minimizing parameters is NP-hard in general, but when circuits are Clifford apart from parametrised phase gates and each parameter is used only once… | ||
| Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algo... | Lucas Stinchcombe, Matthew Amy | 20m |
Claims a polynomial-time classical simulation of Roetteler’s shifted-bent hidden-shift circuit when implemented via the Bravyi–Gosset construction, by… | ||
| Qadence: a differentiable interface for digital-analog programs | Dominik Seitz, Niklas Heim, João P. Moutinho, Roland Guichard, Vytautas Abramavicius, Aleksander Wennersteen, Gert-Jan Both, Mario Dagrada, Vincent Elfving | 23m |
Qadence is a high‑level, differentiable interface that composes Hamiltonian block analog evolutions with single‑qubit digital gates and compiles them to… | ||
| A feasible and unitary programming language with quantum control | Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva | 23m |
Defines PUNQ, a typed quantum lambda calculus that enforces polynomial-time normalization and enforces unitarity via orthogonality by using a modality for… | ||
| GUPPY: Pythonic Quantum-Classical Programming | Mark Koch, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan | 22m |
Guppy implements a Python-embedded DSL that compiles high-level hybrid quantum-classical programs (including mid-circuit measurement and true classical control… | ||
| Quantum and Classical Control (work-in-progress) | Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev | 21m |
Language defines a typed calculus that stitches a quantum control fragment (pure quantum types interpreted as Hilbert spaces, formation rules ensuring… | ||
| Effect Semantics for Quantum Protocols | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi | 20m |
Proposes a semantics that replaces state-based probabilistic LTS with effect distributions and effect LTS that record measurement effects (matrices ≤ I) so one… | ||
| QbC: Quantum Correctness by Construction | Anurudh Peduri, Ina Schaefer, Michael Walter | 22m |
Constructs quantum programs from pre/postconditions using typed holes and a set of refinement rules that reduce holes to initializations, unitaries, sequences… | ||
| Quantum Controlled Measurements via Program Transformation | Kengo Hirata, Takeshi Tsukada | 22m |
Proposes a program transformation that defers measurements from inside quantum conditionals to the outside, turning programs with mid-circuit measurements into… | ||
| QGAT: A Generate-and-Test Paradigm for Quantum Circuits | Ulrik de Muelenaere | 17m |
A DSL called QGAT implements a generate-and-test paradigm and compiles to Quipper, adding a param monad and a buildOracle annotation that lifts classical… | ||
| nothing matches | ||