Q-SE 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.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Iaakov Exman , Alon Tsalik Shmilovich 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 Luis Paulo Santos , A: Luís Soares Barbosa 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

Accepted Papers

	Title
	Experimenting with Discrete Time Quantum Walk Q-SE 2021 Pierriccardo Olivieri, A: Mehrnoosh Askarpour, A: Elisabetta Di Nitto Media Attached
	Generalised Quantum Tree Search Q-SE 2021 Luis Paulo Santos, A: Luís Soares Barbosa Pre-print Media Attached
	Identifying Bug Patterns in Quantum Programs Q-SE 2021 A: Pengzhan Zhao, A: Jianjun Zhao, A: Lei Ma Media Attached
	Learning to measure: a new approach to variational quantum algorithms for near-term quantum computers Q-SE 2021 Sabrina Maniscalco
	Modelling Quantum Circuits with UML Q-SE 2021 Ricardo Pérez-Castillo, Luis Jiménez-Navajas, A: Mario Piattini Pre-print Media Attached
	Open Discussion on Quantum Software Engineering Roadmap Q-SE 2021 A: Shaukat Ali, A: Rui Abreu, A: Tao Yue
	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, André Souto
	Quantum Software Models: The Density Matrix for Classical & Quantum Software Systems Design Q-SE 2021 Iaakov Exman, Alon Tsalik Shmilovich Pre-print
	Some Size and Structure Metrics for Quantum Software Q-SE 2021 A: Jianjun Zhao Media Attached
	Towards Model-Driven Quantum Software Engineering Q-SE 2021 A: Felix Gemeinhardt, A: Antonio Garmendia, A: Manuel Wimmer Pre-print Media Attached
	Verification of Quantum Programs Q-SE 2021 A: Mingsheng Ying Media Attached
	Welcome Q-SE 2021 A: Shaukat Ali, A: Rui Abreu, A: Tao Yue

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

Program Display Configuration

Tue 1 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Accepted Papers

Call for Papers

Rui AbreuCommittee Member

Faculty of Engineering, University of Porto, Portugal

Portugal

Shaukat AliCommittee Member

Simula Research Laboratory, Norway

Norway

Tao YueCommittee Member

Simula Research Laboratory

Norway

Paolo ArcainiCommittee Member

National Institute of Informatics

Japan

Carmelo R. CartiereCommittee Member

University of Oxford

Italy

Sebastian Feld

Delft University of Technology

Netherlands

João Paulo FernandesCommittee Member

LIACC, Universidade do Porto, Porto, Portugal

Portugal

Shaohan Hu

Frank Leymann

Wolfgang MauererCommittee Member

OTH Regensburg / Siemens AG

Andriy MiranskyyCommittee Member

Ryerson University

Canada

Hausi MüllerCommittee Member

University of Victoria, Computer Science, Faculty of Engineering, Canada

Canada

Jose Nuno OliveiraCommittee Member

University of Minho, Portugal / INESC TEC, Portugal

Portugal

Mario PiattiniCommittee Member

University of Castilla-La Mancha, Spain

Spain

Wille Robert

Johannes Kepler University Linz, Austria

Luís Soares Barbosa

Goeran Wendin

David White

Manuel WimmerCommittee Member

JKU Linz

Austria

Xiaodi WuCommittee Member

University of Maryland, USA

Lei Zhang

Ryerson University

Canada

Jianjun ZhaoCommittee Member

Kyushu University

Japan

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

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