Q-SE 2021
Tue 1 - Wed 2 June 2021
co-located with ICSE 2021

Quantum computers promise to solve unthinkably complex problems that traditional computers could ever solve.The evidence of such quantum supremacy over traditional computers has started to emerge as it can be seen by Google’s quantum computer recently performing a complex computation that would take 10,000 years for the best supercomputer available today. High-level languages to write quantum programs have also started to appear, e.g., Microsoft’s Q# and IBM’s Qiskit. Thus, we believe that this is the right time to build a community for quantum software engineering (QSE) focusing on devising methods, approaches, and processes to develop software for quantum programs efficiently and to ensure their correctness. The Q-SE workshop will provide a platform for researchers and practitioners to discuss the challenges in developing software quantum software in high-level quantum languages, developing novel solutions to build correct methods for developing testing quantum programs, executing quantum software, developing best practices, and creating a research roadmap of quantum software engineering.

The key goals of the workshop are: 1) Provide practical and generalizable insights on how to apply and extend existing approaches to quantum software development or develop entirely new approaches, 2) Devise ways in which industry and academia can collaborate to provide further knowledge on developing quantum software, 3) Provide academia with feedback on which skills and abilities are required in quantum software development and where to concentrate on the education of students, 4) Demonstrate to academia new as well as existing practical challenges in the field of quantum software engineering, 5) Communicate the latest research findings to practitioners and discuss ways to adopt them for industrial products, services, and processes.

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

Tue 1 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 14:15
WelcomeQ-SE 2021 at Q-SE Room
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal, Shaukat Ali Simula Research Laboratory, Norway, Tao Yue Simula Research Laboratory
14:00
15m
Day opening
Welcome
Q-SE 2021
A: Shaukat Ali Simula Research Laboratory, Norway, A: Rui Abreu Faculty of Engineering, University of Porto, Portugal, A: Tao Yue Simula Research Laboratory
14:15 - 15:15
Keynote 1Q-SE 2021 at Q-SE Room
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal
14:15
60m
Keynote
Learning to measure: a new approach to variational quantum algorithms for near-term quantum computers
Q-SE 2021
Sabrina Maniscalco University of Helsinki, and Aalto University
15:20 - 16:50
ModelingQ-SE 2021 at Q-SE Room
Chair(s): Tao Yue Simula Research Laboratory
15:20
30m
Paper
Quantum Software Models: The Density Matrix for Classical & Quantum Software Systems Design
Q-SE 2021
Pre-print
15:50
30m
Paper
Modelling Quantum Circuits with UML
Q-SE 2021
Ricardo Pérez-Castillo University of Castilla-La Mancha, Luis Jiménez-Navajas University of Castilla-La Mancha, Spain, A: Mario Piattini University of Castilla-La Mancha, Spain
Pre-print Media Attached
16:20
30m
Paper
Towards Model-Driven Quantum Software Engineering
Q-SE 2021
A: Felix Gemeinhardt Johannes Kepler University, Linz, A: Antonio Garmendia Johannes Kepler University Linz, A: Manuel Wimmer JKU Linz
Pre-print Media Attached
17:00 - 18:00
SearchQ-SE 2021 at Q-SE Room
Chair(s): Shaukat Ali Simula Research Laboratory, Norway
17:00
30m
Paper
Experimenting with Discrete Time Quantum Walk
Q-SE 2021
Pierriccardo Olivieri , A: Mehrnoosh Askarpour McMaster University, A: Elisabetta Di Nitto Politecnico di Milano
Media Attached
17:30
30m
Paper
Generalised Quantum Tree Search
Q-SE 2021
Pre-print Media Attached

Wed 2 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:00 - 14:00
Keynote 2Q-SE 2021 at Q-SE Room
Chair(s): Tao Yue Simula Research Laboratory
13:00
60m
Keynote
Verification of Quantum Programs
Q-SE 2021
A: Mingsheng Ying University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University
Media Attached
14:15 - 15:45
QualityQ-SE 2021 at Q-SE Room
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal
14:15
30m
Paper
Identifying Bug Patterns in Quantum Programs
Q-SE 2021
A: Pengzhan Zhao , A: Jianjun Zhao Kyushu University, A: Lei Ma University of Alberta
Media Attached
14:45
30m
Paper
Some Size and Structure Metrics for Quantum Software
Q-SE 2021
A: Jianjun Zhao Kyushu University
Media Attached
15:15
30m
Paper
QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments
Q-SE 2021
A: José Campos University of Lisbon, Portugal, André Souto
15:45 - 17:00
Open DiscussionQ-SE 2021 at Q-SE Room
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal, Shaukat Ali Simula Research Laboratory, Norway, Tao Yue Simula Research Laboratory
15:45
75m
Meeting
Open Discussion on Quantum Software Engineering Roadmap
Q-SE 2021
A: Shaukat Ali Simula Research Laboratory, Norway, A: Rui Abreu Faculty of Engineering, University of Porto, Portugal, A: Tao Yue Simula Research Laboratory

Call for Papers

Topics of Interest

Quantum software engineering including but not limited to:

• Paradigms for developing quantum software

• Quantum software design

• Quantum software testing

• Quantum software verification

• Quantum software coding practices

• Quantum software reuse

• Quantum software experimentations

• Quantum software execution

• Industrial applications

• Empirical evaluations

Paper Submission

We invite submission of papers of the following types:

  • Regular papers (6 pages): Experience reports, research methods, longer challenge papers.

  • Position paper (3 pages): Describing a well-argued position in any area of quantum software engineering.

  • Fast Abstracts (2 pages): Work in progress, challenges