{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T16:52:05Z","timestamp":1777567925847,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T00:00:00Z","timestamp":1561161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1730082"],"award-info":[{"award-number":["1730082"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,22]]},"DOI":"10.1145\/3307650.3322213","type":"proceedings-article","created":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T12:42:33Z","timestamp":1560516153000},"page":"541-553","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":119,"title":["Statistical assertions for validating patterns and finding bugs in quantum programs"],"prefix":"10.1145","author":[{"given":"Yipeng","family":"Huang","sequence":"first","affiliation":[{"name":"Princeton University"}]},{"given":"Margaret","family":"Martonosi","sequence":"additional","affiliation":[{"name":"Princeton University"}]}],"member":"320","published-online":{"date-parts":[[2019,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Martinis","author":"Barends R.","year":"2016","unstructured":"R. Barends, A. Shabani, L. Lamata, J. Kelly, A. Mezzacapo, U. Las Heras, R. Babbush, A. G. Fowler, B. Campbell, Yu Chen, Z. Chen, B. Chiaro, A. Dunsworth, E. Jeffrey, E. Lucero, A. Megrant, J. Y. Mutus, M. Neeley, C. Neill, P. J. J. O'Malley, C. Quintana, P. Roushan, D. Sank, A. Vainsencher, J. Wenner, T. C. White, E. Solano, H. Neven, and John M. Martinis. 2016. Digitized adiabatic quantum computing with a superconducting circuit. Nature 534 (08 06 2016), 222 EP -."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011517.2011525"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-018-0124-x"},{"key":"e_1_3_2_1_4_1","volume-title":"Programming languages and compiler design for realistic quantum hardware. Nature 549 (13 09","author":"Chong Frederic T.","year":"2017","unstructured":"Frederic T. Chong, Diana Franklin, and Margaret Martonosi. 2017. Programming languages and compiler design for realistic quantum hardware. Nature 549 (13 09 2017), 180 EP -."},{"key":"e_1_3_2_1_5_1","volume-title":"Quantum Algorithm Implementations for Beginners. CoRR abs\/1804.03719","author":"Coles Patrick J.","year":"2018","unstructured":"Patrick J. Coles, Stephan Eidenbenz, Scott Pakin, Adetokunbo Adedoyin, John Ambrosiano, Petr M. Anisimov, William Casper, Gopinath Chennupati, Carleton Coffrin, Hristo Djidjev, David Gunter, Satish Karra, Nathan Lemons, Shizeng Lin, Andrey Y. Lokhov, Alexander Malyzhenkov, David Mascarenas, Susan M. Mniszewski, Balu Nadiga, Dan O'Malley, Diane Oyen, Lakshman Prasad, Randy Roberts, Philip Romero, Nandakishore Santhi, Nikolai Sinitsyn, Pieter Swart, Marc Vuffray, Jim Wendelberger, Boram Yoon, Richard J. Zamora, and Wei Zhu. 2018. Quantum Algorithm Implementations for Beginners. CoRR abs\/1804.03719 (2018). arXiv:1804.03719 http:\/\/arxiv.org\/abs\/1804.03719"},{"key":"e_1_3_2_1_6_1","unstructured":"A. W. Cross L. S. Bishop J. A. Smolin and J. M. Gambetta. 2017. Open Quantum Assembly Language. ArXiv e-prints (July 2017). arXiv:quant-ph\/1707.03429"},{"key":"e_1_3_2_1_7_1","volume-title":"Article arXiv:1411.4028 (Nov","author":"Farhi Edward","year":"2014","unstructured":"Edward Farhi, Jeffrey Goldstone, and Sam Gutmann. 2014. A Quantum Approximate Optimization Algorithm. arXiv e-prints, Article arXiv:1411.4028 (Nov 2014), arXiv:1411.4028 pages. arXiv:quant-ph\/1411.4028"},{"key":"e_1_3_2_1_8_1","volume-title":"Article quant-ph\/0001106 (Jan","author":"Farhi Edward","year":"2000","unstructured":"Edward Farhi, Jeffrey Goldstone, Sam Gutmann, and Michael Sipser. 2000. Quantum Computation by Adiabatic Evolution. arXiv e-prints, Article quant-ph\/0001106 (Jan 2000), quant-ph\/0001106 pages. arXiv:quant-ph\/quant-ph\/0001106"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12043-001-0128-3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126947"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3014904.3015003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aaa5cc"},{"key":"e_1_3_2_1_14_1","volume-title":"Harrow and Ashley Montanaro","author":"Aram","year":"2017","unstructured":"Aram W. Harrow and Ashley Montanaro. 2017. Quantum computational supremacy. Nature 549 (13 09 2017), 203 EP -."},{"key":"e_1_3_2_1_15_1","volume-title":"QDB: From Quantum Algorithms Towards Correct Quantum Programs. In 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018)","volume":"67","author":"Huang Yipeng","year":"2019","unstructured":"Yipeng Huang and Margaret Martonosi. 2019. QDB: From Quantum Algorithms Towards Correct Quantum Programs. In 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018) (OpenAccess Series in Informatics (OASIcs)), Titus Barik, Joshua Sunshine, and Sarah Chasins (Eds.), Vol. 67. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 4:1--4:14."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290344"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1206629"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the Conference on Design, Automation & Test in Europe (DATE '17)","author":"Khammassi N.","unstructured":"N. Khammassi, I. Ashraf, X. Fu, C. G. Almudever, and K. Bertels. 2017. QX: A High-performance Quantum Computer Simulation Platform. In Proceedings of the Conference on Design, Automation & Test in Europe (DATE '17). 464--469. http:\/\/dl.acm.org\/citation.cfm?id=3130379.3130487"},{"key":"e_1_3_2_1_20_1","volume-title":"Quantum computers. Nature 464 (04 03","author":"Ladd T. D.","year":"2010","unstructured":"T. D. Ladd, F. Jelezko, R. Laflamme, Y. Nakamura, C. Monroe, and J. L. O'Brien. 2010. Quantum computers. Nature 464 (04 03 2010), 45 EP -."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.99.250505"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"B. P. Lanyon J. D. Whitfield G. G. Gillett M. E. Goggin M. P. Almeida I. Kassal J. D. Biamonte M. Mohseni B. J. Powell M. Barbieri A. Aspuru-Guzik and A. G. White. 2010. Towards quantum chemistry on a quantum computer. Nature Chemistry 2 (10 01 2010) 106 EP -.","DOI":"10.1038\/nchem.483"},{"key":"e_1_3_2_1_23_1","volume-title":"Overview and Comparison of Gate Level Quantum Software Platforms. Quantum 3 (March","author":"LaRose Ryan","year":"2019","unstructured":"Ryan LaRose. 2019. Overview and Comparison of Gate Level Quantum Software Platforms. Quantum 3 (March 2019), 130."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1618020114"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/050644756"},{"key":"e_1_3_2_1_26_1","unstructured":"S. McArdle S. Endo A. Aspuru-Guzik S. Benjamin and X. Yuan. 2018. Quantum computational chemistry. ArXiv e-prints (Aug. 2018). arXiv:quant-ph\/1808.10402"},{"key":"e_1_3_2_1_27_1","unstructured":"J. R. McClean I. D. Kivlichan K. J. Sung D. S. Steiger Y. Cao C. Dai E. Schuyler Fried C. Gidney B. Gimby P. Gokhale T. H\u00e4ner T. Hardikar V. Havl\u00ed\u010dek C. Huang J. Izaac Z. Jiang X. Liu M. Neeley T. O'Brien I. Ozfidan M. D. Radin J. Romero N. Rubin N. P. D. Sawaya K. Setia S. Sim M. Steudtner Q. Sun W. Sun F. Zhang and R. Babbush. 2017. OpenFermion: The Electronic Structure Package for Quantum Computers. ArXiv e-prints (Oct. 2017). arXiv:quant-ph\/1710.07629"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1296197"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011926"},{"key":"e_1_3_2_1_30_1","volume-title":"2006 IEEE International Conference on Evolutionary Computation. 2428--2435","author":"Miller D. M.","unstructured":"D. M. Miller, M. A. Thornton, and D. Goodman. 2006. A Decision Diagram Package for Reversible and Quantum Circuit Simulation. In 2006 IEEE International Conference on Evolutionary Computation. 2428--2435."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1038\/npjqi.2015.23"},{"key":"e_1_3_2_1_32_1","volume-title":"Encyclopedia of Complexity and Systems Science","author":"Mosca Michele","unstructured":"Michele Mosca. 2009. Quantum algorithms. In Encyclopedia of Complexity and Systems Science. Springer, 7088--7118."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"e_1_3_2_1_34_1","volume-title":"Engineering, and Medicine","author":"National Academies of Sciences","year":"2019","unstructured":"National Academies of Sciences, Engineering, and Medicine. 2019. Quantum Computing: Progress and Prospects. The National Academies Press, Washington, DC."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_2_1_36_1","volume-title":"Article arXiv:1706.05413 (Jun","author":"Olson Jonathan","year":"2017","unstructured":"Jonathan Olson, Yudong Cao, Jonathan Romero, Peter Johnson, Pierre-Luc Dallaire-Demers, Nicolas Sawaya, Prineha Narang, Ian Kivlichan, Michael Wasielewski, and Al\u00e1n Aspuru-Guzik. 2017. Quantum Information and Computation for Chemistry. arXiv e-prints, Article arXiv:1706.05413 (Jun 2017), arXiv:1706.05413 pages. arXiv:quant-ph\/1706.05413"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304071"},{"key":"e_1_3_2_1_38_1","volume-title":"2014 IEEE International Symposium on Workload Characterization (IISWC). 181--190","author":"Patil S.","unstructured":"S. Patil, A. JavadiAbhari, C. Chiang, J. Heckey, M. Martonosi, and F. T. Chong. 2014. Characterizing the performance effect of trials and rotations in applications that use Quantum Phase Estimation. In 2014 IEEE International Symposium on Workload Characterization (IISWC). 181--190."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_2_1_40_1","volume-title":"O'Brien","author":"Peruzzo Alberto","year":"2014","unstructured":"Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J. Love, Al\u00e1n Aspuru-Guzik, and Jeremy L. O'Brien. 2014. A variational eigenvalue solver on a photonic quantum processor. Nature Communications 5 (23 07 2014), 4213 EP -."},{"key":"e_1_3_2_1_41_1","volume-title":"Quantum Computing in the NISQ era and beyond. Quantum 2 (Aug","author":"Preskill John","year":"2018","unstructured":"John Preskill. 2018. Quantum Computing in the NISQ era and beyond. Quantum 2 (Aug. 2018), 79."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1403886"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/3130379.3130689"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4768229"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"e_1_3_2_1_47_1","volume-title":"ProjectQ: An open source software framework for quantum computing. Quantum 2 (Jan","author":"Steiger Damian S.","year":"2018","unstructured":"Damian S. Steiger, Thomas H\u00e4ner, and Matthias Troyer. 2018. ProjectQ: An open source software framework for quantum computing. Quantum 2 (Jan. 2018), 49."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.293"},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '19)","author":"Swamit","unstructured":"Swamit S. Tannu and Moinuddin K. Qureshi. 2019. Not All Qubits Are Created Equal: A Case for Variability-Aware Policies for NISQ-Era Quantum Computers. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '19). ACM, 987--999."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699415"},{"key":"e_1_3_2_1_52_1","volume-title":"Hayes","author":"Viamontes George F.","year":"2009","unstructured":"George F. Viamontes, Igor L. Markov, and John P. Hayes. 2009. Quantum Circuit Simulation (1st ed.). Springer Publishing Company, Incorporated."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.90.022305"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"J. D. Whitfield J. Biamonte and A. Aspuru-Guzik. 2011. Simulation of electronic structure Hamiltonians using quantum computers. Molecular Physics 109 (March 2011) 735--750. arXiv:quant-ph\/1001.3855","DOI":"10.1080\/00268976.2011.552441"},{"key":"e_1_3_2_1_55_1","volume-title":"Chong","author":"Wu Xin-Chuan","year":"2018","unstructured":"Xin-Chuan Wu, Sheng Di, Franck Cappello, Hal Finkel, Yuri Alexeev, and Frederic T. Chong. 2018. Amplitude-Aware Lossy Compression for Quantum Circuit Simulation. arXiv e-prints, Article arXiv:1811.05140 (Nov 2018), arXiv:1811.05140 pages. arXiv:quant-ph\/1811.05140"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009840"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"}],"event":{"name":"ISCA '19: The 46th Annual International Symposium on Computer Architecture","location":"Phoenix Arizona","acronym":"ISCA '19","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 46th International Symposium on Computer Architecture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3307650.3322213","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3307650.3322213","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3307650.3322213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:37Z","timestamp":1750202017000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3307650.3322213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,22]]},"references-count":57,"alternative-id":["10.1145\/3307650.3322213","10.1145\/3307650"],"URL":"https:\/\/doi.org\/10.1145\/3307650.3322213","relation":{},"subject":[],"published":{"date-parts":[[2019,6,22]]},"assertion":[{"value":"2019-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}