ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Tue 16 Apr 2024 16:30 - 16:50 at Carlos Paredes - Higher Abstractions for Quantum Software Chair(s): Jianjun Zhao

Quantum computing is a growing field with significant potential applications. Learning how to code quantum programs means understanding how qubits work and learning to use quantum gates. This is analogous to creating classical algorithms using logic gates and bits. Even after learning all concepts, it is difficult to create new algorithms, which hinders the acceptance of quantum programming by most developers.

This article outlines the need for higher-level abstractions and proposes some of them in a developer-friendly programming language called Rhyme. The new quantum types are extensions of classical types, including bits, integers, floats, characters, arrays, and strings. We show how to use such types with code snippets.

Tue 16 Apr

Displayed time zone: Lisbon change

16:00 - 17:30
Higher Abstractions for Quantum SoftwareQ-SE at Carlos Paredes
Chair(s): Jianjun Zhao Kyushu University
16:00
30m
Research paper
A Preliminary Study of the Usage of Design Patterns in Quantum Software
Q-SE
Ricardo Pérez-Castillo University of Castilla-La Mancha, Miriam Fernández-Osuna University of Castilla-La Mancha, Jose Antonio Cruz-Lemus University of Castilla-La Mancha, Spain, Mario Piattini University of Castilla-La Mancha, Spain
16:30
20m
Short-paper
Quantum Types: Going Beyond Qubits and Quantum Gates
Q-SE
Tamás Varga Constructor Institute Schaffhausen, Yaiza Aragonés-Soria Constructor Institute Schaffhausen, Manuel Oriol Constructor Institute Schaffhausen
Pre-print
16:50
30m
Day closing
Discussion and Closing
Q-SE
Jose García-Alonso Universidad de Extremadura, Lei Zhang University of Maryland Baltimore County