March 12, 2024
Q-SANER 2024
The 3rd International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2024)
co-located with SANER 2024
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
1345-1400: Opening
1400-1500: Quantum computing: why and when? by Himadri Majumdar, CEO SemiQon, Finland
Abstract: Quantum computing era is upon us. The progress since the mid 2010s have been phenomenal, as is evident both from commercial interest and academic publication on the topic. Computation hardware is also getting better. In this talk I will present an overview of the topic from a commercial perspective, with the angle of SemiQon’s role and ambition on the topic.
Biography: Himadri Majumdar is the co-founder and CEO of SemiQon. Himadri has over two decades of innovation and innovation management experience. Prior to co-founding SemiQon he was the Program Manager for Quantum Technologies at VTT. In that role he led European and Finnish strategic initiatives in quantum technologies. Himadri was also a founding member of the Finnish Quantum technologies ecosystem, InstituteQ, and led the business arm of the ecosystem, BusinessQ. At SemiQon his ambition is to lead the company to build the most scalable, affordable and sustainable quantum processors for quantum computing. He foresees quantum computing, and quantum technology in general, becoming a Finnish and global success story through cooperation and strategic partnerships. Himadri is also trained as an experimental physicist with a Ph.D in applied physics.
1500-1515: The Quantum Circuit Model is not a Practical Representation of Quantum Software, Arianne Meijer-van de Griend
1515-1530: From Quantum Software Handcrafting to Quantum Software Engineering, Giuseppe Bisicchia, Jose García-Alonso, Juan Manuel Murillo Rodríguez and Antonio Brogi
1530-1600: Coffee Break
1600-1615: Quirk+: A Tool for Quantum Software Development Based on Quirk, Javier Zayas Gallardo, Enrique Moguel, Carlos Canal and Jose Garcia-Alonso
1615-1630: Liquifying Quantum-Classical Software-Intensive System of Systems, Álvaro Manuel Aparicio Morales, Majid Haghparast, Niko Mäkitalo, Jose García-Alonso, Javier Berrocal, Vlad Stirbu, Tommi Mikkonen and Juan Manuel Murillo Rodríguez
1630-1645: Closing
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 2024
Like SANER 2024, 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, Simula Research Laboratory Norway
Paolo Arcaini, National Institute of Informatics, Tokyo Japan
Program Committee
Wolfgang Mauerer, Technical University of Applied Science Regensburg
Jianjun Zhao, Kyushu University
Jose García-Alonso, University of Extremadura
Lei Zhang, University of Maryland, Baltimore County
Hausi A Muller, University of Victoria
Uraz Turker, Lancaster University
Luís Soares Barbosa, University of Minho
Ina Schaefer, Karlsruhe Institute of Technology
Frank Leymann, University of Stuttgart
Jose Campos, Faculty of Engineering of the University of Porto, Portugal
Xiaodi Wu, University of Maryland
Manuel Wimmer, Johannes Kepler University Linz
Carmelo R. Cartiere, NEXTSENSE (SRL)
Joao Fernandes, Faculty of Engineering, University of Porto
Sebastian Feld, Delft University of Technology
Jukka K. Nurminen, University of Helsinki
Important Dates in AoE
Paper submission:
October 23, 2023
Notification date:
December 04, 2023
Camera Ready Deadline: January 12, 2024
Camera Ready Deadline: January 12, 2024
Venue
The workshop will be co-located with SANER 2024
Registration
Authors and participants must register through the main conference website: Registration for SANER 2024