Quantum Software Engineering MeetUp 2025

February 24, 2025, Karlsruhe, co-located with SE'2025

Scope and Topics

Quantum computers can solve certain types of computational problems that go beyond the capabilities of classical computers. Over the last years, we observe remarkable progress in developing quantum hardware that paves the way to mid-scale quantum computers in the near future. To utilize these promising new potentials, we require comprehensive methods and tools for quantum software engineering. This includes concepts being well-established for classical software engineering like appropriate modeling abstractions, programming languages, compiler construction, to testing and analysis techniques and standardized development processes and guidelines. All these aspects are required to effectively and efficiently develop, operationalize and maintain novel quantum algorithms.

The recently accepted DFG priority programme 2514 Quantum Software, Algorithms and Systems Concepts, Methods and Tools for the Quantum Software Stack further pushes this topic on top of the research agenda. In this second edition, we open the workshop to involve the classical software engineering community in shaping the new research area of quantum software engineering as one of the most important an innovative topic in computer science. The goal of the workshop is to define a research roadmap and to foster collaborations between software engineering and quantum computing to create synergies between both disciplines.

Type of Submissions

We accept two types of contributions:

• Presentation of already published papers; a short summary will appear in the workshop proceedings. We apply the same submission format as used for the SE main conference: https://se2025.sdq.kastel.kit.edu/wissenschaftliche-beitraege/
• Original, previously unpublished, papers which will appear as full papers in the workshop proceedings. LNI Template: https://github.com/gi-ev/LNI-proceedings; page limit: 12 pages (including references)

Reviewing Process

All submissions will be reviewed by at least three program committee members following a single-blind review process. Submissions of already published papers will be only checked with respect to formal requirements and if the topic is within the scope of the workshop.

Program Committee

• Michael Felderer, DLR/Universität Köln

• Wolfgang Mauerer, OTH Regensburg/Siemens

• Robert Wille, TU München

• Martin Schulz, TU München

• Sevag Gharibian, Universität Paderborn

• Michael Marthaler, HQS

• Dominique Unruh, RWTH Aachen

• Sven Groppe, Universität Lübeck

• Jakob Kottmann, Universität Augsburg

• Bernhard Beckert, KIT

• Ben Herrmann, TU Dortmund

• Michael Walter, Ruhr-Universität Bochum

• Elisabeth Lobe, DLR

Important Dates

• Paper Submission: 28 October 2024 (AoE) 11 November 2024 (AoE)
• Notification: 28 November 2024 (AoE)
• Final Version: 09 December 2024 (AoE)
• Workshop: 24 February 2025

Submission Link

https://easychair.org/conferences/?conf=qse20250

Organizers

• Malte Lochau (University of Siegen), PC Co-Chair
• Benedikt Fauseweh (TU Dortmund / DLR), PC Co-Chair
• Ina Schaefer (KIT), General Chair

Accepted Contributions

• Juha Leppäkangas, Nicolas Vogt, Keith R. Fratus, Kirsten Bark, Jesse A. Vaitkus, Pascal Stadler, Jan-Michael Reiner, Sebastian Zanker and Michael Marthaler:
  A quantum algorithm for solving open system dynamics on quantum computers using noise (presentation)

• Ludwig Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller and Robert Wille:
  Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts (presentation)

• Bernhard Beckert, Ruben Götz, Jonas Klamroth and Niko Lemke:
  Improved bounds for rounding errors in quantum circuit simulators (original)

• Achim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter Ken Schuhmacher, Yoshinta Setyawati and Alexander Weinert:
  Quantum Software Ecosystem Design (presentation)

• Amr Elsharkawy, Xiaorang Guo and Martin Schulz:
  Bridge the Gap Between HPC Systems and Various Quantum Platforms: A Unified Quantum Platform (presentation)

• Omer Rathore, Alastair Basden, Nicholas Chancellor and Halim Kusumaatmaja:
  Load Balancing For High Performance Computing Using Quantum Annealing (presentation)

• Jonas Winklmann and Martin Schulz:
  Minimizing Readout and State Preparation Time for Neutral Atom Quantum Computing (presentation)

• Victoria Wadewitz, Aaron Szasz, Daan Camps, Roel Van Beeumen, Katherine Klymko, Frank K. Wilhelm and Tobias Stollenwerk:
  Diagrammatic Quantum Circuit Compression for Hamiltonian Simulation (original)

• Felix Gemeinhardt, Stefan Klikovits and Manuel Wimmer:
  Stefan Klikovits: GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming (presentation)

• Benedikt Fauseweh, Ben Hermann and Falk Howar:
  Bounds for Quantum Circuits using Logic-Based Analysis (original)