Locus: A Proposal for Quantum Software Composition
This program is tentative and subject to change.
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 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
09:00 - 10:00 | |||
09:00 20mResearch 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 20mShort-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 20mShort-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 |