Fetching the paper…
Reading the bibliography…
In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer.
THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL
C. J. CLOPPER and E. S. PEARSON · 1934
Earlier work this paper cites.
The logic of quantum mechanics
Garrett Birkhoff and John Von Neumann · 1936
Earlier work this paper cites.
Quantum nondemolition measurements
Vladimir B Braginsky, Yuri I Vorontsov, and Kip S Thorne · 1980
Earlier work this paper cites.
A single quantum cannot be cloned
William K Wootters and Wojciech H Zurek · 1982
Earlier work this paper cites.
Orthomodular lattices
Gudrun Kalmbach · 1983
Earlier work this paper cites.
A fast quantum mechanical algorithm for database search
Lov K Grover · 1996
Earlier work this paper cites.
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
Peter W Shor · 1999
Earlier work this paper cites.
Coding theorem and strong converse for quantum channels
A. Winter · 1999
Earlier work this paper cites.
Experimental realization of shor’s quantum factoring algorithm using nuclear magnetic resonance
Lieven MK Vandersypen, Matthias Steffen, Gregory Breyta, Costantino S Yannoni, Mark H Sherwood, and Isaac L Chuang · 2001
Earlier work this paper cites.
Almost every pure state of three qubits is completely determined by its two-particle reduced density matrices
Noah Linden, Sandu Popescu, and William Wootters · 2002
Earlier work this paper cites.
Dynamic quantum logic for quantum programs
Olivier Brunet and Philippe Jorrand · 2004
Earlier work this paper cites.
Quantum algorithm for linear systems of equations
Aram W Harrow, Avinatan Hassidim, and Seth Lloyd · 2009
Earlier work this paper cites.
Quantum computation and quantum information
Michael A Nielsen and Isaac L Chuang · 2010
Earlier work this paper cites.
Predicate transformer semantics of quantum programs
Mingsheng Ying, Runyao Duan, Yuan Feng, and Zhengfeng Ji · 2010
Earlier work this paper cites.
Floyd–hoare logic for quantum programs
Mingsheng Ying · 2011
Cited alongside, same era.
2012. scaffold: Quantum programming language
Ali Javadi Abhari, Arvin Faruque, Mohammad Javad Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, Fred Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun · 2012
Cited alongside, same era.
From ground states to local hamiltonians
Jianxin Chen, Zhengfeng Ji, Bei Zeng, and D. L. Zhou · 2012
Cited alongside, same era.
Quipper: a scalable quantum programming language
Alexander S Green, Peter LeFanu Lumsdaine, Neil J Ross, Peter Selinger, and Benoît Valiron · 2013
Cited alongside, same era.
Debugging quantum processes using monitoring measurements
Yangjia Li and Mingsheng Ying · 2014
Cited alongside, same era.
Quantum principal component analysis
Seth Lloyd, Masoud Mohseni, and Patrick Rebentrost · 2014
Cited alongside, same era.
Qwire practice: Formal verification of quantum circuits in coq
Robert Rand, Jennifer Paykin, and Steve Zdancewic · 2018
Later among the works it cites.
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language
Krysta M Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, and Martin Roetteler · 2018
Later among the works it cites.
A verified optimizer for quantum circuits
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, and Michael Hicks · 2019
Closest in time.
Qdb: From quantum algorithms towards correct quantum programs
Yipeng Huang and Margaret Martonosi · 2019
Closest in time.
Statistical assertions for validating patterns and finding bugs in quantum programs
Yipeng Huang and Margaret Martonosi · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A variational eigenvalue solver on a photonic quantum processor
Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J Love, Alán Aspuru-Guzik, and Jeremy L O’brien · 2014
Cited alongside, same era.
Scaffcc: Scalable compilation and analysis of quantum programs
Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T Chong, and Margaret Martonosi · 2015
Cited alongside, same era.
Foundations of Quantum Programming
Mingsheng Ying · 2016
Cited alongside, same era.
Qwire: A core language for quantum circuits
Jennifer Paykin, Robert Rand, and Steve Zdancewic · 2017
Cited alongside, same era.
Quantum state tomography via reduced density matrices
Tao Xin, Dawei Lu, Joel Klassen, Nengkun Yu, Zhengfeng Ji, Jianxin Chen, Xian Ma, Guilu Long, Bei Zeng, and Raymond Laflamme · 2017
Cited alongside, same era.
Classical simulation of intermediate-size quantum circuits
Jianxin Chen, Fang Zhang, Cupjin Huang, Michael Newman, and Yaoyun Shi · 2018
Cited alongside, same era.
Closest in time.
Gate and operation specification for quantum circuits
IBM · 2019
Closest in time.
A Python library for quantum programming using Quil
Rigetti · 2019
Closest in time.
Forest SDK
Rigetti Forest team · 2019
Closest in time.
Contract-based verification of a realistic quantum compiler
Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W Cross, Frederic T Chong, and Ronghui Gu · 2019
Closest in time.
Quantum relational hoare logic
Dominique Unruh · 2019
Closest in time.
Quantum temporal logic, 2019
Nengkun Yu · 2019
Closest in time.
An applied quantum hoare logic
Li Zhou, Nengkun Yu, and Mingsheng Ying · 2019
Closest in time.
Quantum circuits for dynamic runtime assertions in quantum computation
Ji Liu, Gregory T Byrd, and Huiyang Zhou · 2020
Closest in time.