Learning how to program quantum computers is the next critical skill for developers. Despite this, current quantum programming tools are still at an early stage of the development process, which limits the possibility of creating real complex quantum software systems. The most urgent need for quantum software today is a systematic and unifying approach to quantum programming, with the following main objectives:
- the high-level definition of programming languages via a machine-independent specification of their syntax and semantics;
- a structured methodology for translating high-level programs before running them on quantum computers;
- the development of formal methods for the analysis of program properties and for compiler optimisation.
Looking at a quantum computing system as a stack of several layers from the creation of quantum algorithms to the development of hardware devices, the term `quantum software’ is used in the name of this workshop as an umbrella for all the intermediate levels of such a stack that allows quantum algorithms to be implemented and executed on quantum hardware. This workshop aims to gather researchers and experts for discussing new ideas as well as the most significant directions of research in quantum software, with special focus on:
- quantum language design and implementation
- quantum program analysis and verification
- quantum software engineering
- quantum computer architecture
- quantum circuit optimisation
- quantum hardware-software interface
- quantum assembler
Keynote Speaker
This program is tentative and subject to change.
Tue 17 JunDisplayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 5mDay opening | Day opening WQS | ||
09:05 50mKeynote | The quantum monad: structuring quantum advantage WQS Samson Abramsky University College London | ||
09:55 15mTalk | Tucker iterative quantum state preparation and Q-Alchemy SaaS WQS Carsten Blank data cybernetics ssc GMbH |
10:30 - 12:00 | |||
10:30 50mKeynote | Breaking Good: Quantum Abstractions in the Wild - From High-Level Applications to Hardware-Adaptive CompilationRemote WQS Yunong Shi AWS Quantum Technologies | ||
11:20 20mTalk | From Fermions to Qubits: A ZX-Calculus PerspectiveRemote WQS Haytham McDowall-Rose University of Oxford, Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford | ||
11:40 20mTalk | A Semantics for Quantum Loops WQS |
14:00 - 15:20 | |||
14:00 20mTalk | Deriving a Kronecker-Free Functional Quantum Simulator WQS Martin Elsman University of Copenhagen Pre-print | ||
14:20 20mTalk | Quantum Circuit Compilation with #SAT WQS | ||
14:40 20mTalk | Optimization and Synthesis of Quantum Circuits with Global Gates WQS Alejandro Villoria Leiden University, Henning Basold Leiden University, Alfons Laarman Leiden University | ||
15:00 20mTalk | Quantum Multiplexer Simplification for State Preparation WQS José A. de Carvalho Universidade Federal de Pernambuco, Carlos A. Batista Federal University of Pernambuco, Tiago M.L. de Veras Universidade Federal de Pernambuco, Israel F. Araujo data cybernetics ssc GMbH, Adenilton J. da Silva Universidade Federal de Pernambuco |
15:40 - 17:15 | |||
15:40 50mKeynote | Scalable Quantum Compilation With Jasp WQS Raphael Seidel Fraunhofer Institute for Open Communication Systems | ||
16:30 20mTalk | Automating Quantum Hoare Logic with Automata (Work-In-Progress) WQS | ||
16:50 20mTalk | Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation WQS Leanghok Hour Pukyong National University, Myeongseong Go Pukyong National University, Youngsun Han Pukyong National University | ||
17:10 5mDay closing | Closing remarks WQS |
Accepted Papers
Call for Papers
We solicit submissions on subjects related to the topics of WQS in the form of a maximum of 5-page (excluded references) extended abstracts describing original results in the form of ongoing works potentially able to foster interesting and constructive discussions. Work already published will also be considered for discussion. In this case, we invite the authors to clearly state this in their submission by indicating the reference to the journal/conference where it was published and the link to the full paper, wherever possible.
There is no fixed format to prepare your submission, but we recommend the use of a single-column layout with a no less than 10pt size.
Accepted abstracts will be presented at the workshop. After the workshop, we will invite authors of selected accepted abstracts to submit an extended version of their contribution to a special issue of the ACM Transactions on Quantum Computing.