Locating Buggy Segments in Quantum Program Debugging
When a bug is detected by testing a quantum program on a quantum computer, we want to determine its detailed location to fix it. To locate the bug, the quantum program is divided into several segments and each segment is tested. However, to prepare a quantum state that is input to a segment, it is necessary to execute all the segments ahead of that segment in a quantum computer. This means that the cost of testing each segment depends on its location. We can also locate a buggy segment only if it is confirmed that there are no bugs in all segments ahead of that buggy segment. Since a quantum program is tested statistically on the basis of measurement results, there is a tradeoff between testing accuracy and cost. Although these characteristics are unique to quantum programs and complicate locating bugs, they have not been investigated. We suggest for the first time that these characteristics should be considered to efficiently locate bugs. We are also the first to propose a bug-locating method that takes these characteristics into account. The results from experiments indicate that the bug-locating cost that is represented as the number of executed quantum gates can be reduced with the proposed method compared with naive methods.
Thu 18 AprDisplayed time zone: Lisbon change
11:00 - 12:30 | Analysis and Debugging 2New Ideas and Emerging Results / Research Track at Luis de Freitas Branco Chair(s): Pedro Diniz | ||
11:00 15mTalk | Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems Research Track Chenxi Zhang Fudan University, Zhen Dong Fudan University, China, Xin Peng Fudan University, Bicheng Zhang Fudan University, Miao Chen Fudan University | ||
11:15 15mTalk | ReClues: Representing and indexing failures in parallel debugging with program variables Research Track Yi Song School of Computer Science, Wuhan University, Xihao Zhang School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Quanming Liu School of Computer Science, Wuhan University, Ruizhi Gao Sonos Inc., Chenliang Xing School of Computer Science, Wuhan University | ||
11:30 15mTalk | PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code Research Track Wuxia Jin Xi'an Jiaotong University, Shuo Xu Xi'an jiaotong university, Dawei Chen Xi'an Jiaotong University, Jiajun He Xi'an jiaotong university, Dinghong Zhong Xi'an jiaotong university, Ming Fan Xi'an Jiaotong University, Hongxu Chen Huawei Technologies Co., Ltd., Huijia Zhang Huawei Technologies Co Ltd, Ting Liu Xi'an Jiaotong University Media Attached | ||
11:45 15mTalk | Detecting Automatic Software Plagiarism via Token Sequence Normalization Research Track Timur Sağlam Karlsruhe Institute of Technology (KIT), Moritz Brödel Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology, Sebastian Hahner Karlsruhe Institute of Technology (KIT) DOI Pre-print | ||
12:00 15mTalk | NuzzleBug: Debugging Block-Based Programs in Scratch Research Track Pre-print | ||
12:15 7mTalk | Locating Buggy Segments in Quantum Program Debugging New Ideas and Emerging Results | ||
12:22 7mTalk | Beyond a Joke: Dead Code Elimination Can Delete Live Code New Ideas and Emerging Results Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Debin Gao Singapore Management University, He Jiang Dalian University of Technology |