Rui Abreu

Gate branch coverage: A metric for quantum software testing

The inherent lack of technologies and knowledge from software developers about the intricacies of quantum physics constitutes a heavy hindrance in the development of correct quantum software. Therefore, quantum computing testing techniques are currently under heavy research. In this talk, we will discuss a new testing metric we proposed recently, Gate Branch Coverage. This metric aims to provide insight into the verification process status of quantum programs and enhance the quantum testing process overall. Gate Branch Coverage explores the properties of quantum controlled-type gates, measuring their number of exercised branches during the execution of quantum programs.

Ross Duncan

Programming the Next Generation of Quantum Computers

We stand at a transition between the first generation of quantum computers, the so-called NISQ devices, and the next generation, which announce the start of the fault tolerant era. These new devices are not just larger versions of their predecessors: they have entirely new capabilities which require more powerful programming systems. In this talk I will describe the Guppy programming language and the HUGR intermediate representation, two elements of Quantinuum's new software stack which allow the creation of reliable and scalable quantum programs for the next generation of quantum computers.

Michael Felderer

Quantum Software Ecosystem Design

The rapid advancements in quantum computing necessitate a rigorous approach to the construction of a corresponding software ecosystem that combines knowledge and expertise from quantum computing, software engineering and computer science. The German Aerospace Center (DLR) is currently developing a quantum software ecosystem integrating software and hardware from various academic and industrial stakeholders. This talk gives an overview of these activities, shares experiences and highlight different research perspectives in the context of quantum software ecosystem design. It discusses considerations essential for building a quantum software ecosystem that makes quantum computing available for scientific and industrial problem-solving. At the heart of this discourse is the concept of hardware–software co-design, which creates a bidirectional feedback loop from the application layer at the top of the software stack down to the hardware. This approach begins with compilers and low-level software that are specifically designed to align with the unique specifications and constraints of the quantum processor, proceeds with algorithms developed with a clear understanding of underlying hardware and computational model features, and extends to applications that effectively leverage the capabilities to achieve a quantum advantage. For this purpose, a suitable benchmarking framework must be developed and integrated at all levels of the software stack. We discuss the ecosystem from two critical perspectives: the conceptual view, focusing on theoretical foundations, and the software infrastructure view, addressing practical implementations around real quantum devices necessary for a functional ecosystem. The integration of these two perspectives raises novel research challenges for the quantum software engineering community that are highlighted. Following this approach ensures that the focus is toward promising applications with optimized algorithm–circuit synergy, while ensuring a user-friendly design, an effective data management, an overall orchestration strategy, suitable benchmarking for quantum readiness as well as a clean software and services architecture.

Andriy Miranskyy

Quality Assurance in Quantum Computing: Testing, Debugging, and Beyond

TBA

Mohammad Reza Mousavi

Taming Spooky Actions at a Distance: A Discipline of Quantum Software Testing

We are witnessing the increased availability of powerful quantum computing facilities as a service; also, there are promising prospects of applying quantum computing in fields such as material- and drug discovery, as well as scheduling, and optimisation. With these prospects comes an inherent challenge of quality assurance of complex quantum programs. Quantum programs and programming frameworks are becoming more complex, and this complexity creates a gap, calling for novel and rigorous testing and debugging frameworks. In this talk, we present an overview of the fascinating emerging field of software engineering and its numerous challenges and opportunities. In particular, we review our recent research on characterising faults in hybrid quantum-classical architectures. This has led to a taxonomy of real faults in hybrid quantum-classical architectures. We also present our long-standing effort to establish a mature property-based testing framework for quantum programs both for fault-tolerant and for noisy architecture. We also present an automated debugging framework based on property-based testing.

Hausi A. Müller

Software Engineering for Distributed Quantum Computing

Quantum computation is set to transform how we simulate nature, solve complex optimization problems, and improve machine learning analytics through superposition, entanglement, and correlations. Decades of research have enabled the development of practical hybrid quantum-classical algorithms for addressing challenging and classically intractable problems. Recently, enormous progress has been made in quantum computing toward fault-tolerant, error-mitigated logical qubits. Thus, many experts describe the current moment as an inflection point in quantum computing. However, current technologies still face significant limitations on the number of qubits that can be integrated into a single chip. One promising avenue to alleviate this problem is to distribute large-scale quantum computations over a network architecture that supports entanglement across chips. With the rise of generative AI, numerous application domains are poised for transformative advancements due to the synergy between quantum and AI. For example, quantum computing algorithms can generate synthetic data for chemical system simulations, which in turn can be analyzed using generative AI to identify patterns in computational drug discovery experiments. In this talk, we will discuss how the role of software engineers is becoming increasingly central in the post-inflection era of quantum computing.

Juan Manuel Murillo

Quantum Software Engineering: Some Principles, Practices and Perspectives

The advances in the field of quantum computing over the last two decades have not gone unnoticed. Industry has begun to focus on this technology to tackle problems that have remained beyond the reach of classical computing. On one hand, quantum hardware is progressing steadily, building computers with increasing resources and greater reliability. On the software side, it is becoming clear that classical software engineering procedures are neither sufficient nor adequate to address the specific challenges of quantum software. This talk reviews some of the most active research directions in the emerging field of Quantum Software Engineering (QSE). All of them share the common goal of providing engineering processes that enable the development of quantum software that is reliable, repeatable, reusable, and maintainable.

Genki Okano

Optimizing Quantum Circuit Design through High-Level Abstractions and Constraint-Based Synthesis

In quantum circuit design, complex trade-offs exist between depth, width, gate counts, etc. This talk will demonstrate how Classiq Technologies aids developers via a high-level programming language: Qmod. This framework systematically generates and evaluates multiple circuit implementations from a single algorithmic description. The Classiq platform treats circuit design as a constraint-optimization problem, allowing the prioritization of hardware-aware metrics like gate count, connectivity, and fidelity. Its visualization tools serve as both intuitive design aids and practical static debuggers. Additionally, the platform streamlines execution across various quantum backends, abstracting cloud integration, job submission, and result parsing. Combining automation, flexibility, and backend portability, Classiq helps developers prototype quantum workflows faster and more effectively. This talk will illustrate how these capabilities accelerate the quantum software development cycle and enable realistic cross-device benchmarking.

Fuyuki Ishikawa and Shinobu Saito

On Effectiveness of Combining Multiple Quantum Services for Reliability of Outputs

One of the key challenges in quantum computing is the non-negligible errors in the computational outputs. Combining multiple services has the potential to mitigate errors by selecting or aggregating their outputs at the application developer side. Although this direction has been envisioned, there has been no further analysis. In this talk, we report analysis results of real-world services to assess the effectiveness of combining multiple services for the same task. The experimental results demonstrate the potential of the approach even with the current limited availability of services.

Yutaka Takita

Discovery of Practical Quantum Application with Partners

With the current rapid evolution of quantum computer hardware, it is indispensable to identify practical quantum applications to utilize its potential to bring about transformational changes in our society. In this presentation, we introduce Fujitsu's quantum application discovery activities in various fields such as materials, drug discovery, and finance sectors through joint research with several universities and companies.

Hironori Washizaki

IEEE-CS Tech Predictions, SWEBOK and Quantum Software

The IEEE Computer Society has strategically provided products related to emerging technologies and professional and educational activities, including the Technology Predictions and the Guide to the Software Engineering Body of Knowledge (SWEBOK Guide). This talk explains the Technology Predictions 2025, which foresees breakthrough technologies, including quantum computing, to shape the future of our world for decades to come, and the SWEBOK Guide V4.0, which reflects the current state of generally accepted knowledge derived from the interaction between software engineering theory and practice. Furthermore, the talk envisions the possible future of quantum software engineering, aligned with the Technology Predictions and the SWEBOK Guide.

Nobuko Yoshida

Multiparty Session Types and Quantum Computing

Jianjun Zhao

Quantum Software Engineering: The Early Journey and the Road Ahead

Quantum Software Engineering (QSE) is emerging as a key discipline for developing reliable quantum software. In this talk, I will review the early progress in QSE, covering foundational ideas, key research topics, and major challenges such as testing and debugging. I will also suggest future directions toward building a systematic engineering framework for quantum computing.