March 18, 2022
Q-SANER 2022
The 1st International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2022)
co-located with SANER 2022
Quantum computing (QC) aims to solve a multitude of complex problems, e.g., in medicine, finance, aerospace, and simulation. Solving such problems requires developing quantum software. Building reliable, correct, and correct quantum software is essential to realize the promised revolutionary QC applications. To this end, the field of quantum software engineering (QSE) is emerging, which covers many aspects such as requirements engineering, modeling, programming, testing and debugging. Each of these aspects is a big research area, and demands investigation of its own. The Q-SANER workshop will in particular focus on the quantum software (including circuits) analysis, evolution, and reengineering aspects of QSE. Moreover, it will also cover other related aspects of quantum software, i.e., software analysis, evolution, and reengineering of quantum software compilers, quantum computer emulators, and quantum software development environments.
The key goals of the workshop are: 1) Discussion on how to apply and extend existing approaches in software analysis, evolution and reengineering techniques from the classical domain to quantum software and quantum circuits, or develop entirely new approaches; 2) Facilitate collaboration on quantum software analysis, evolution and reengineering between industry and academia; 3) Discussion on the educational aspects related to quantum software analysis, evolution and reengineering; 4) Discuss the challenges and future research directions; 5) Disseminate the results to practitioners with the aim of influence their current practise.
Program
Times are in CET
13:00-13:20 - Introduction to the workshop (workshop chairs)
13:20-14:20 - Keynote: Design Automation and Software Tools for Quantum Computing by Robert Wille (details)
14:20-14:30 - Break
14:30-14:50 - A Comprehensive Study of Bug Fixes in Quantum Programs by Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan and Jianjun Zhao
14:50-15:10 - A 1-2-3 Reproducibility for Quantum Software Experiments by Wolfgang Mauerer and Stefanie Scherzinger
15:10-15:30 - How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization by Thomas Gabor, Marian Lingsch Rosenfeld and Sebastian Feld
15:30-15:50 - Prioritization of Compiled Quantum Circuits for Different Quantum Computers by Marie Salm, Johanna Barzen, Frank Leymann and Benjamin Weder
15:50-16:00 - Closing Session
Call for Papers
Topics of Interest
Quantum software analysis, evolution, and reengineering including but not limited to:
- Analyses for Quantum Circuits and Software;
- Evolution of Quantum Circuits and Software
- Quantum Circuits and Program Comprehension
- Re-engineering of Quantum Circuits and Software
- Quantum Software Architectures (both hybrid and pure quantum)
- Evolution and Maintenance of Quantum Programming Languages, Compilers
- Evolution and Maintenance of Quantum Computer Emulators
- Mining Quantum Circuits and Software
- Intuitive Quantum Software Visualization Techniques for Classical Software Engineers
- Quantum Circuit and Software Maintenance and Repairing
- Renengineering of Quantum Computer Emulators
- Analysis, evolution, and reengineering of quantum software development environments.
Paper Submission
We invite submission of papers of the following types:
- Regular papers (8 pages): Novel research works, experience reports
- Position paper (2 pages): Describing a well-argued position in any area of quantum software analysis, evolution, and reengineering.
- Lighting Talks (Abstract only, no publication): Challenges and future research directions
Submission Link: Q-SANER 2022
Like SANER 2022, Q-SANER will follow a full double-blind review process. For formatting instructions, Please check SANER formatting instructions and double blind review guidelines here
The workshop will have the best paper award, which will be announced and bestowed at the workshop closing session.
Organization
Program Chairs
Shaukat Ali, Simula Research Laboratory, Norway
Rui Abreu, University of Porto, Portugal
Tao Yue, Nanjing University of Aeronautics and Aerospace China and Simula Research Laboratory Norway
Paolo Arcaini, National Institute of Informatics, Tokyo Japan
Program Committee
Luís Soares Barbosa, University of Minho, Portugal
Johanna Barzen, Universität Stuttgart, Germany
Carmelo R. Cartiere, NEXTSENSE (SRL), Italy
Sebastian Feld, Delft University of Technology, Netherlands
Joao Fernandes, University of Porto, Portugal
Andriy Miranskyy, Ryerson University, Canada
Anila Mjeda, Lero, Ireland
Hausi A. Müller, University of Victoria, Canada
Jose Oliveira, University of Minho, Portugal
Xiaodi Wu, University of Maryland, USA
Lei Zhang, Ryerson University, Canada
Jianjun Zhao, Kyushu University, Japan
Important Dates
Paper submission:
December 19, 23:59 Central European Time
Notification date:
January 7, 2022
Camera Ready Deadline: January 12, 2022
Camera Ready Deadline: January 12, 2022
Venue
The workshop will be co-located with SANER 2022
Registration
Authors and participants must register through the main conference website: Registration for SANER 2022