This program is tentative and subject to change.

Mon 2 Jun 2025 09:20 - 09:40 at S 10 - QP - Session 1 Chair(s): Jose García-Alonso

The way quantum programs based on circuits are built today has many analogies with how assembler routines were developed in the past. This way of writing programs is not only tedious but also makes it difficult to achieve good quality attributes such as reusability or maintainability. One of the main advances in improving the quality of classical software, as well as increasing programmers’ productivity, was raising the level of abstraction in programming languages. This allowed developers to move away from direct bit-level operations—such as rotation, shifting, addition, or carry handling—toward working with a set of basic data types like Integer, Float, or Character, along with well-defined operations on them. We believe that introducing similar mechanisms in the field of Quantum Programming will help to achieve comparable benefits in quantum software. This short paper presents the authors’ preliminary efforts in this direction, introducing the concept of locus.

This program is tentative and subject to change.

Mon 2 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:00
QP - Session 1QP at S 10
Chair(s): Jose García-Alonso Universidad de Extremadura
09:00
20m
Research paper
Exploring a quantum programming language with concurrency
QP
Manisha Jain , Vitor Fernandes University of Minho, Alexandre Madeira University of Aveiro, Luís Barbosa
09:20
20m
Short-paper
Locus: A Proposal for Quantum Software Composition
QP
Javier Zayas Gallardo , Francisco Chicano University of Malaga, Carlos Canal University of Málaga, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation
09:40
20m
Short-paper
Quantum Table: A Tangible Quantum Circuit Demonstrator
QP
Stefan Hillmich Software Competence Center Hagenberg (SCCH), Raphael Zefferer , Mathias Gartner , Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH), Sonja Bruckner Software Competence Center Hagenberg (SCCH), Ulrich Brandstätter