June 1- June 2, 2021 Virtual

Q-SE 2021

Second International Workshop on Quantum Software Engineering (Q-SE 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.

The key outcome of the workshop will be a research roadmap for Quantum Software Engineering.



Keynote 1: Learning to measure: a new approach to variational quantum algorithms for near-term quantum computers by Sabrina Maniscalco, University of Helsinki, and Aalto University
Abstract: Variational quantum algorithms stand as the most promising approaches towards practical applications of near-term quantum computers [1,2]. However, these methodologies usually require a large number of measurements, which represents an important roadblock for future real-world applications. We introduce a novel approach to tackle this problem: a variational measurement scheme. We present an algorithm that optimises informationally complete POVMs on-the-fly in order to minimise the statistical fluctuations in the estimation of relevant cost functions. We use it in combination with the Variational Quantum Eigensolver to calculate ground-state energies of molecular Hamiltonians and show that it is competitive with state-of-the-art measurement reduction approaches. Our computational experiments further suggest a measurement scaling exponent below 2. We also highlight the potential of the informational completeness of the measurement outcomes by reusing the ground-state energy estimation data to perform reduced state tomography with high fidelity on the XX model spin chain [3].

[1] Jarrod R McClean, Jonathan Romero, Ryan Babbush, and Alan Aspuru-Guzik,“The theory of variational hybrid quantum-classical algorithms” New J. Phys. 18 023023 (2016).

[2] Abhinav Kandala, Antonio Mezzacapo, Kristan Temme, Maika Takita, Markus Brink, Jerry M. Chow, and Jay M. Gambetta, “Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets,” Nature 549, 242, (2017).

[3] Guillermo García-Pérez, Matteo A. C. Rossi, Boris Sokolov, Elsi-Mari Borrelli, and Sabrina Maniscalco “Pairwise tomography networks for many-body quantum systems" Phys. Rev. Research 2, 023393 (2020).

Biography: Sabrina Maniscalco is the Professor of Quantum Information and Logic at the University of Helsinki, Finland, former Chair of Theoretical Physics at the University of Turku and an Adjunct Professor at Aalto University, Finland. She is the Vice Director of the Finnish Centre of Excellence for Quantum Technologies & serves on advisory and scientific boards of several institutions. Sabrina obtained her PhD at the University of Palermo (Italy) in 2004 and has held academic research positions around the world, in Sofia (Bulgaria), Durban (South Africa), Turku (Finland) and Edinburgh (UK). She returned to Finland in 2014 to lead the Theoretical Physics Laboratory in Turku. Sabrina has coordinated several international and interdisciplinary projects, and is recognised as one of the leading experts in Quantum Technologies. She loves inventing novel approaches to doing research, learning, and innovating, and believes in the power of "engineering synchronicity" and in the joys of good food, sauna, road-trips, and outdoor living and interestingly she is also an entrepreneur; as the CEO of Algorithmiq Oy, she is pioneering quantum algorithms to tackle complex problems in life sciences. Her passion for outreach led her to co-create QPlayLearn, www.qplaylearn.com, an online platform to teach quantum science and technologies to everyone.

Keynote 2: Verification of Quantum Programs by Mingsheng Ying, University of Technology Sydney, Australia

Abstract: In this talk, I'll mainly discuss the program logic approach to verification of quantum programs, including quantum Hoare logic, invariant generation and termination analysis for quantum programs. I'll also briefly discuss potential applications of model checking for verification and debugging of quantum programs. Some problems for future research will be proposed at the end of the paper.

Biography: Mingsheng Ying is a Distinguished Professor and Research Director of the Center for Quantum Software and Inform- ation at the University of Technology Sydney, Australia. He is also Deputy Director for Research at the Institute of Software at the Chinese Academy of Sciences, and holds the Cheung Kong Chair Professorship at Tsinghua University, China. His research interests include quantum computation, theory of programming languages, and logics in AI. He has published books: Model Checking Quantum Systems: Principles and Algorithms (2021) (with Yuan Feng), Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correct- ness and Infinite Evolution of Concurrent Programs (2001). He received a China National Science Award in Natural Science (2008). He has served on the editorial board of several publications including Artificial Intelligence Journal. He is currently (Co)Editor-in-Chief of ACM Transactions on Quantum Computing.

The tentative program is below. Times are in CEST:

June 1, 2021

1400-1415: Welcome by Rui Abreu, Shaukat Ali, Tao Yue

1415-1515: Keynote by Sabrina Maniscalco; Session Chair: Shaukat Ali

1520-1650: Modeling; Session Chair: Tao Yue

Exman and A.T. Shmilovich, Quantum Software Models: The Density Matrix for Classical & Quantum Software Systems Design

R. Pérez-Castillo, L. Jiménez-Navajas and M. Piattini, Modelling Quantum Circuits with UML

F. Gemeinhardt, A. Garmendia and M. Wimmer, Towards Model-Driven Quantum Software Engineering

1700-1800: Search; Session Chair: Rui Abreu

P. Olivieri, M. Askarpour and E. Di Nitto, Experimenting with Discrete Time Quantum Walk;

A. Sequeira, L.P. Santos and L.S. Barbosa, Generalised Quantum Tree Search.

June 2, 2021

1300-1400: Keynote by Mingsheng Ying; Session Chair: Tao Yue

1415-1545: Quality; Session Chair: Rui Abreu

P. Zhao, J. Zhao and L. Ma, Identifying Bug Patterns in Quantum Programs;

J. Zhao, Some Size and Structure Metrics for Quantum Software;

J. Campos and A. Souto, QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments.

1545 to 1700: Open Discussion

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

Submission Link: Q-SE 2021

ICSE 2021 workshop proceedings will be prepared by IEEE CPS and published by ACM. Workshop papers must follow the ACM formatting instructions (https://www.acm.org/publications/proceedings-template).

The workshop will have the best paper award, which will be announced and bestowed at the workshop closing session.


Program Chairs

Shaukat Ali, Simula Research Laboratory, Norway
Rui Abreu, Instituto Superior Técnico (IST) of the University of Lisbon, Portugal
Tao Yue, Nanjing University of Aeronautics and Aerospace China and Simula Research Laboratory Norway

Program Committee

Paolo, Arcaini, National Institute of Informatics
Luís Soares Barbosa, University of Minho
Lei Zhang, Ryerson University
Shaohan Hu, IBM
Jianjun Zhao, Kyushu University
Carmelo R. Cartiere, NEXTSENSE (SRL)
Wille Robert, Johannes Kepler University Linz
Sebastian Feldt, Delft University of Technology
Frank Leymann, University of Stuttgart
David White, The University of Sheffield
Goeran Wendin, Chalmers University of Technology
Jose Oliveira, University of Minho
Andriy Miranskyy, Department of Computer Science, Ryerson University
Mario Piattini, University of Castilla-La Mancha
Joao Fernandes, University of Coimbra
Xiaodi Wu, University of Maryland
Wolfgang, Mauerer, OTH Regensburg
Hausi A Muller, University of Victoria
Manuel Wimmer, JKU Linz


As part of ICSE 2021, the workshop will be held virtually


Authors and participants must register through the main conference website: Registration for ICSE 2021