More Web Proxy on the site http://driver.im/

research-article

Cross-platform testing of quantum computing platforms

Author:

Matteo PaltenghiAuthors Info & Claims

ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings

Pages 269 - 271

https://doi.org/10.1145/3510454.3517061

Published: 19 October 2022 Publication History

Abstract

Quantum computing has been attracting the attention of both applied research and companies. Continuous progress on fundamental hardware technology promises to bring us more reliable and large-scale quantum computers on which to run the next generation of quantum algorithms. These programs are compiled and executed on dedicated platforms, and similarly to classical programs, a large effort is required to test these platforms and create a robust software toolchain.

Unlike previous studies which focused on cross-optimization and cross-backend testing, this dissertation aims to create the first approach for cross-platform testing which compares execution on diverse quantum computing platforms. To inform the design of the method, we will first perform an empirical study of bugs in quantum computing platforms and a review of the characteristics of realistic quantum programs.

The final approach for cross-platform testing will include three components: a learning-based method to generate realistic quantum programs, an approach to map and run them on multiple platforms, and finally a quantum-specific statistical test to compare two multivariate binary distributions returned as the output of quantum programs.

References

[1]

2021. Qiskit/Qiskit. Qiskit.

[2]

2021. Quantumlib/Cirq. quantumlib.

[3]

Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C. Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, Fernando G. S. L. Brandao, David A. Buell, Brian Burkett, Yu Chen, Zijun Chen, Ben Chiaro, Roberto Collins, William Courtney, Andrew Dunsworth, Edward Farhi, Brooks Foxen, Austin Fowler, Craig Gidney, Marissa Giustina, Rob Graff, Keith Guerin, Steve Habegger, Matthew P. Harrigan, Michael J. Hartmann, Alan Ho, Markus Hoffmann, Trent Huang, Travis S. Humble, Sergei V. Isakov, Evan Jeffrey, Zhang Jiang, Dvir Kafri, Kostyantyn Kechedzhi, Julian Kelly, Paul V. Klimov, Sergey Knysh, Alexander Korotkov, Fedor Kostritsa, David Landhuis, Mike Lindmark, Erik Lucero, Dmitry Lyakh, Salvatore Mandrà, Jarrod R. McClean, Matthew McEwen, Anthony Megrant, Xiao Mi, Kristel Michielsen, Masoud Mohseni, Josh Mutus, Ofer Naaman, Matthew Neeley, Charles Neill, Murphy Yuezhen Niu, Eric Ostby, Andre Petukhov, John C. Platt, Chris Quintana, Eleanor G. Rieffel, Pedram Roushan, Nicholas C. Rubin, Daniel Sank, Kevin J. Satzinger, Vadim Smelyanskiy, Kevin J. Sung, Matthew D. Trevithick, Amit Vainsencher, Benjamin Villalonga, Theodore White, Z. Jamie Yao, Ping Yeh, Adam Zalcman, Hartmut Neven, and John M. Martinis. 2019. Quantum Supremacy Using a Programmable Superconducting Processor. Nature 574, 7779 (Oct. 2019), 505--510.

[4]

Timothy Atkinson, Athena Karsa, John Drake, and Jerry Swan. 2019. Quantum Program Synthesis: Swarm Algorithms and Benchmarks. In Genetic Programming (Lecture Notes in Computer Science), Lukas Sekanina, Ting Hu, Nuno Lourenço, Hendrik Richter, and Pablo García-Sánchez (Eds.). Springer International Publishing, Cham, 19--34.

Digital Library

[5]

José Campos and André Souto. 2021. QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments. arXiv:2103.16968 [cs] (March 2021). arXiv:2103.16968 [cs]

[6]

Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. 2020. A Survey of Compiler Testing. Comput. Surveys 53, 1 (May 2020), 1--36.

Digital Library

[7]

Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta. 2017. Open Quantum Assembly Language. arXiv:1707.03429 [quant-ph] (July 2017). arXiv:1707.03429 [quant-ph]

[8]

Andrew W. Cross, Ali Javadi-Abhari, Thomas Alexander, Niel de Beaudrap, Lev S. Bishop, Steven Heidel, Colm A. Ryan, John Smolin, Jay M. Gambetta, and Blake R. Johnson. 2021. OpenQASM 3: A Broader and Deeper Quantum Assembly Language. arXiv:2104.14722 [quant-ph] (April 2021). arXiv:2104.14722 [quant-ph]

[9]

Joseph Emerson, Robert Alicki, and Karol \.Zyczkowski. 2005. Scalable Noise Estimation with Random Unitary Operators. Journal of Optics B: Quantum and Semiclassical Optics 7, 10 (Sept. 2005), S347--S352.

[10]

Yipeng Huang and Margaret Martonosi. 2019. QDB: From Quantum Algorithms Towards Correct Quantum Programs. arXiv:1811.05447 [quant-ph] (2019), 14 pages. arXiv:1811.05447 [quantph]

[11]

Yipeng Huang and Margaret Martonosi. 2019. Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs. (May 2019).

Digital Library

[12]

John R. Koza. 1994. Genetic Programming as a Means for Programming Computers by Natural Selection. Statistics and Computing 4, 2 (June 1994), 87--112.

[13]

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie. 2020. Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs. Proceedings of the ACM on Programming Languages 4, OOPSLA (Nov. 2020), 150:1--150:29.

Digital Library

[14]

William M. McKeeman. 1998. Differential Testing for Software. Digital Technical Journal 10, 1 (1998), 100--107.

[15]

Lorenzo Moro, Matteo G. A. Paris, Marcello Restelli, and Enrico Prati. 2021. Quantum Compiling by Deep Reinforcement Learning. Communications Physics 4, 1 (Aug. 2021), 1--8.

[16]

Michael A Nielsen, Isaac Chuang, and Lov K Grover. 2002. Quantum Computation and Quantum Information. Am. J. Phys. 70, 5 (2002), 4.

[17]

Matteo Paltenghi and Michael Pradel. 2021. Bugs in Quantum Computing Platforms: An Empirical Study. arXiv:2110.14560 [cs] (Nov. 2021). arXiv:2110.14560 [cs]

[18]

Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, and Miryung Kim. [n. d.]. QDiff: Differential Testing of Quantum Software Stacks. ([n. d.]), 13.

[19]

Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. 2011. Finding and Understanding Bugs in C Compilers. ACM SIGPLAN Notices 46, 6 (June 2011), 283--294.

Digital Library

Cited By

Juárez-Ramírez RNavarro CJiménez SRamírez ATapia-Ibarra VGuerra-García CPerez-Gonzalez HFernández-y-Fernández C(2024)A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering PerspectiveProgramming and Computing Software10.1134/S036176882308010849:8(682-704)Online publication date: 24-Jan-2024
https://dl.acm.org/doi/10.1134/S0361768823080108
De Stefano MPecorelli FDi Nucci DPalomba FDe Lucia A(2024)The quantum frontier of software engineering: A systematic mapping studyInformation and Software Technology10.1016/j.infsof.2024.107525175(107525)Online publication date: Nov-2024
https://doi.org/10.1016/j.infsof.2024.107525
Agrawal MJain AThorat RSharma S(2023)Quantum ComputingQuantum Computing in Cybersecurity10.1002/9781394167401.ch14(233-248)Online publication date: 18-Oct-2023
https://doi.org/10.1002/9781394167401.ch14

Index Terms

Cross-platform testing of quantum computing platforms

Index terms have been assigned to the content through auto-classification.

Recommendations

An atom---molecule platform for quantum computing

We propose a combined atom---molecule system for quantum information processing in individual traps, such as provided by optical lattices. In this platform, different species of atoms--one atom carrying a qubit and the other enabling the interaction--...
Quantum computing
Encyclopedia of Computer Science

In a conventional computer, information is represented by quantities that obey the laws of classical physics, such as the voltage levels in a logic circuit. But as the size of microelectronics shrinks, the underlying quantum physics will eventually ...
Problems and Solutions in Quantum Computing and Quantum Information

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings

May 2022

394 pages

ISBN:9781450392235

DOI:10.1145/3510454

General Chair:
Matthew B Dwyer
University of Virginia

Copyright © 2022 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

In-Cooperation

IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 October 2022

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '22

Sponsor:

SIGSOFT

ICSE '22: 44th International Conference on Software Engineering

May 21 - 29, 2022

Pennsylvania, Pittsburgh

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
85
Total Downloads

Downloads (Last 12 months)27
Downloads (Last 6 weeks)1

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Juárez-Ramírez RNavarro CJiménez SRamírez ATapia-Ibarra VGuerra-García CPerez-Gonzalez HFernández-y-Fernández C(2024)A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering PerspectiveProgramming and Computing Software10.1134/S036176882308010849:8(682-704)Online publication date: 24-Jan-2024
https://dl.acm.org/doi/10.1134/S0361768823080108
De Stefano MPecorelli FDi Nucci DPalomba FDe Lucia A(2024)The quantum frontier of software engineering: A systematic mapping studyInformation and Software Technology10.1016/j.infsof.2024.107525175(107525)Online publication date: Nov-2024
https://doi.org/10.1016/j.infsof.2024.107525
Agrawal MJain AThorat RSharma S(2023)Quantum ComputingQuantum Computing in Cybersecurity10.1002/9781394167401.ch14(233-248)Online publication date: 18-Oct-2023
https://doi.org/10.1002/9781394167401.ch14

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents