QDB: From quantum algorithms towards correct quantum programs

Yipeng Huang, Margaret Martonosi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

With the advent of small-scale prototype quantum computers, researchers can now code and run quantum algorithms that were previously proposed but not fully implemented. In support of this growing interest in quantum computing experimentation, programmers need new tools and techniques to write and debug QC code. In this work, we implement a range of QC algorithms and programs in order to discover what types of bugs occur and what defenses against those bugs are possible in QC programs. We conduct our study by running small-sized QC programs in QC simulators in order to replicate published results in QC implementations. Where possible, we cross-validate results from programs written in different QC languages for the same problems and inputs. Drawing on this experience, we provide a taxonomy for QC bugs, and we propose QC language features that would aid in writing correct code.

Original languageEnglish (US)
Title of host publication9th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU 2018
EditorsTitus Barik, Joshua Sunshine, Sarah Chasins
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770910
DOIs
StatePublished - Jan 1 2019
Event9th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU 2018 - Boston, United States
Duration: Nov 5 2018 → …

Publication series

NameOpenAccess Series in Informatics
Volume67
ISSN (Print)2190-6807

Conference

Conference9th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU 2018
CountryUnited States
CityBoston
Period11/5/18 → …

All Science Journal Classification (ASJC) codes

  • Geography, Planning and Development
  • Modeling and Simulation

Keywords

  • Correctness
  • Debugging

Fingerprint Dive into the research topics of 'QDB: From quantum algorithms towards correct quantum programs'. Together they form a unique fingerprint.

Cite this