March 4, 2025

Q-SANER 2025

The 4th International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2025)

co-located with SANER 2025

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. Provide practical and generalizable insights 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 collaboration on quantum software analysis, evolution, and reengineering between industry and academia.
  3. Discuss 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 influencing their current practice.

Program

08:45 - 09:00: Welcome and Introduction
09:00 - 10:15: Keynote
10:15 - 10:30: Coffee Break
10:30 - 12:00: Paper Session 1
12:00 - 13:00: Lunch
13:00 - 14:30: Paper Session 2
14:30 - 15:00: Coffee Break
15:00 - 16:00: Lightning Talks
16:00 - 17:30: Panel and Discussion
17:30 - 18:00: Concluding Remarks

Note: This is a preliminary program and is subject to change as we finalize the details.

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 2025
Like SANER 2025, 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

Sophie Fortz, King's College London, UK
Fuyuki Ishikawa, National Institute of Informatics, Tokyo Japan

Program Committee

  • Rui Abreu - University of Porto, Portugal
  • Shaukat Ali - Simula Research Laboratory, Norway
  • Paolo Arcaini - National Institute of Informatics, Tokyo, Japan
  • Luís Soares Barbosa - University of Minho, Portugal
  • Jose Campos - Faculty of Engineering of the University of Porto, Portugal
  • Carmelo R. Cartiere - NEXTSENSE (SRL), Italy
  • Sebastian Feld - Delft University of Technology, Netherlands
  • Jose García-Alonso - University of Extremadura, Spain
  • Wolfgang Mauerer - Technical University of Applied Science Regensburg, Germany
  • Ina Schaefer - Karlsruhe Institute of Technology, Germany
  • Uraz Turker - Lancaster University, United Kingdom
  • Manuel Wimmer - Johannes Kepler University Linz, Austria
  • Tao Yue - Simula Research Laboratory, Norway
  • Lei Zhang - University of Maryland, Baltimore County, USA
  • Jianjun Zhao - Kyushu University, Japan

Venue

The workshop will be co-located with SANER 2025 and will take place at Polytechnique Montréal.

Registration

Authors and participants must register through the main conference website: Registration for SANER 2025