PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

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:

  1. the high-level definition of programming languages via a machine-independent specification of their syntax and semantics;
  2. a structured methodology for translating high-level programs before running them on quantum computers;
  3. 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 languages design and implementation
  • quantum program analysis and verification
  • quantum software engineering
  • quantum computer architecture
  • quantum circuit optimisation
  • quantum hardware-software interface
  • quantum assembler

Invited Talks

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Session 1WQS at Copenhagen
09:00
10m
Day opening
Opening
WQS

09:10
40m
Keynote
From ZX to first order logic: a survey of string diagrammatic calculi
WQS
Pawel Sobocinski Tallinn University of Technology
09:50
20m
Talk
Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
WQS
Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford
10:40 - 12:20
Session 2WQS at Copenhagen
10:40
40m
Keynote
Quantum application development for multi-processor systems using CUDA-Q
WQS
11:20
20m
Talk
Supporting End-Users in Realizing Quantum Computing Applications
WQS
Damian Rovara Technical University of Munich, Nils Quetschlich Technical University of Munich, Lukas Burgholzer Technical University of Munich, Wille Robert Johannes Kepler University Linz, Austria
11:40
20m
Talk
Dataflow-Based Optimization for QIR Programs
WQS
Junjie Luo Kyushu University, Haoyuan Zhang Kyushu University, Jianjun Zhao Kyushu University
12:00
20m
Talk
Towards an open-source framework to perform quantum calibration and characterization
WQS
Andrea Pasquale Università degli Studi di Milano, Edoardo Pedicillo Università degli Studi di Milano, Stefano Carrazza Università degli Studi di Milano
13:40 - 15:20
Session 3WQS at Copenhagen
13:40
40m
Keynote
Quantum program analysis: Verification and TestingREMOTE
WQS
Nengkun Yu Stony Brook University, USA
14:20
20m
Talk
A Static Analysis for High-Level Quantum Programming Languages
WQS
Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
14:40
20m
Talk
Efficient Formal Verification of Quantum Error Correcting Programs
WQS
Qifan Huang Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou MPI-SP; Institute of Software at Chinese Academy of Sciences, Wang Fang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University
15:00
20m
Talk
Verifying Quantum Circuits in GAP
WQS
Scott Wesley University of Waterloo, Canada
16:00 - 18:00
Session 4WQS at Copenhagen
16:00
40m
Keynote
Mitiq, a toolbox for quantum error mitigation and error suppression
WQS
Nathan Shammah Unitary Fund
16:40
20m
Talk
Quantum Backtracking in Qrisp Applied to Sudoku Problems
WQS
Raphael Seidel Fraunhofer Institute for Open Communication Systems, Zander René , Matic Petrič , Niklas Steinmann , David Liu , Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin
17:00
20m
Talk
Classical Shadows for Property-Based Testing of Quantum Programs
WQS
Gabriel Joseph Pontolillo King's College London, Connor Lenihan King's College London, Mohammad Reza Mousavi King's College London, George Booth King's College London
17:20
20m
Talk
Hybrid Quantum-Classical Machine Learning with String Diagrams
WQS
Alexander Koziell-Pipe University of Oxford, Aleks Kissinger University of Oxford
17:40
20m
Talk
Classical Simulation of Quantum Circuits with Partial Interference Effects
WQS
Sinan Pehlivanoglu Indiana University, Amr Sabry Indiana University

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.

Questions? Use the WQS contact form.