ICSE 2024 (series) / Q-SE 2024 (series) / Q-SE 2024 /
Quantum Types: Going Beyond Qubits and Quantum Gates
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 AprDisplayed time zone: Lisbon change
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 30mResearch 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 20mShort-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 30mDay closing | Discussion and Closing Q-SE |