Bugs in Quantum Computing Platforms: An Empirical Study
The interest in quantum computing is growing, and with it, the importance of software platforms to develop quantum programs. Ensuring the correctness of such platforms is important, and it requires a thorough understanding of the bugs they typically suffer from. To address this need, this paper presents the first in-depth study of bugs in quantum computing platforms. We gather and inspect a set of 223 real-world bugs from 18 open-source quantum computing platforms. Our study shows that a significant fraction of these bugs (39.9%) are quantum-specific, calling for dedicated approaches to prevent and find them. The bugs are spread across various components, but quantum-specific bugs occur particularly often in components that represent, compile, and optimize quantum programming abstractions. Many quantum-specific bugs manifest through unexpected outputs, rather than more obvious signs of misbehavior, such as crashes. Finally, we present a hierarchy of recurrent bug patterns, including ten novel, quantum-specific patterns. Our findings not only show the importance and prevalence bugs in quantum computing platforms, but they help developers to avoid common mistakes and tool builders to tackle the challenge of preventing, finding, and fixing these bugs.
Note: work published at Object-oriented Programming, Systems, Languages, and Applications (OOPSLA ) 2022.
Wed 18 MayDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 30mTalk | Software Engineering for Quantum Programming: How Far Are We? Q-SE 2022 Manuel De Stefano Università di Salerno, Fabiano Pecorelli Tampere University, Dario Di Nucci University of Salerno, Fabio Palomba University of Salerno, Andrea De Lucia University of Salerno Link to publication DOI | ||
09:30 30mTalk | Bugs in Quantum Computing Platforms: An Empirical Study Q-SE 2022 Link to publication DOI | ||
10:00 30mTalk | Understanding Quantum Software Engineering Challenges An Empirical Study on Stack Exchange Forums and GitHub Issues Q-SE 2022 Mohamed Raed El aoun , Heng Li Polytechnique Montréal, Foutse Khomh Polytechnique Montréal, Moses Openja Polytechnique Montreal Link to publication DOI |