This program is tentative and subject to change.
As the scale and capability of quantum hardware improves, there is a growing need for more expressive languages and frameworks that enable developers to write, optimize, and debug quantum programs beyond low-level quantum circuits. Motivated by ongoing collaborative work [1], in this presentation I will discuss the role \emph{abstraction} plays in quantum software development. I will describe the characteristics of “good” abstractions and highlight their importance through the examples of building an interactive quantum debugger [2], and optimizing quantum programs across multiple levels. These applications reveal how future work on scalable, automated compilation tools is a natural, but critical consequence of raising the abstraction level.
[1] O. Di Matteo, S. Núñez-Corrales, M. Stechły, S. P. Reinhardt, and T. Mattson, “An abstraction hierarchy toward productive quantum programming,” in 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 01, 2024, pp. 979-989.
[2] M. Khan, P. J. Nair, and O. Di Matteo, “CircInspect: Integrating visual circuit analysis, abstraction, and real-time development in quantum debugging,” in 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 01, 2024, pp. 1000-1006.
This program is tentative and subject to change.
Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | Opening and Keynote Q-SE at 207 Chair(s): Stefan Klikovits Johannes Kepler University, Linz, Mohammad Reza Mousavi King's College London | ||
09:00 15mRegistration | Arrival and Registration Q-SE | ||
09:15 15mDay opening | Opening Remarks Q-SE | ||
09:30 60mKeynote | The art of abstraction in quantum software Q-SE Olivia Di Matteo University of British Columbia | ||
