{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:07:33Z","timestamp":1784300853908,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803437.3804871","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"25-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Toward Reliable Oracle Verification of Quantum Programs Under Noise and Resource Constraints"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-3148-7021","authenticated-orcid":false,"given":"Ning","family":"Ma","sequence":"first","affiliation":[{"name":"Polytechnique Montreal, Montreal, Quebec, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"Test points for online monitoring of quantum circuits","volume":"18","author":"Acharya Nikita","year":"2021","unstructured":"Nikita Acharya, Miroslav Urbanek, Wibe A De Jong, and Samah Mohamed Saeed. 2021. Test points for online monitoring of quantum circuits. ACM Journal on Emerging Technologies in Computing Systems (JETC) 18, 1 (2021), 1\u201319.","journal-title":"ACM Journal on Emerging Technologies in Computing Systems (JETC)"},{"key":"e_1_3_2_1_2_1","volume-title":"A survey of runtime monitoring instrumentation techniques. arXiv preprint arXiv:1708.07229","author":"Cassar Ian","year":"2017","unstructured":"Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ing\u00f3lfsd\u00f3ttir. 2017. A survey of runtime monitoring instrumentation techniques. arXiv preprint arXiv:1708.07229 (2017)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-11-26-592"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.8.031027"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543296"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s42354-021-0330-z"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Riddhi S. Gupta Ewout van den Berg Maika Takita Diego Riste Kristan Temme and Abhinav Kandala. 2023. Probabilistic error cancellation for dynamic quantum circuits. arXiv:2310.07825 [quant-ph] https:\/\/arxiv.org\/abs\/2310.07825","DOI":"10.1103\/PhysRevA.109.062617"},{"key":"e_1_3_2_1_8_1","volume-title":"Exploiting qubit reuse through mid-circuit measurement and reset. arXiv preprint arXiv:2211.01925","author":"Hua Fei","year":"2022","unstructured":"Fei Hua, Yuwei Jin, Yanhao Chen, Suhas Vittal, Kevin Krsulich, Lev S Bishop, John Lapeyre, Ali Javadi-Abhari, and Eddy Z Zhang. 2022. Exploiting qubit reuse through mid-circuit measurement and reset. arXiv preprint arXiv:2211.01925 (2022)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_2_1_10_1","volume-title":"Measurement, Simulation, and Modeling","author":"Jain Raj","unstructured":"Raj Jain. 1991. The Art of Computer Systems Performance Analysis: Techniques For Experimental Design, Measurement, Simulation, and Modeling, NY: Wiley."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3763100"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED60706.2024.10528722"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428218"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.89.042338"},{"key":"e_1_3_2_1_15_1","volume-title":"Machine Learning for Practical Quantum Error Mitigation. In NeurIPS 2023 AI for Science Workshop. https:\/\/openreview.net\/forum?id=xYbECDx0JF","author":"Liao Haoran","unstructured":"Haoran Liao, Derek S. Wang, Iskandar Sitdikov, Ciro Salcedo, Alireza Seif, and Zlatko K. Minev. 2023. Machine Learning for Practical Quantum Error Mitigation. In NeurIPS 2023 AI for Science Workshop. https:\/\/openreview.net\/forum?id=xYbECDx0JF"},{"key":"e_1_3_2_1_16_1","unstructured":"Peixun Long and Jianjun Zhao. 2023. Testing Quantum Programs with Multiple Subroutines. arXiv:2208.09206 [cs.SE] https:\/\/arxiv.org\/abs\/2208.09206"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3462974"},{"key":"e_1_3_2_1_19_1","volume-title":"How to measure and reset a qubit in the middle of a circuit execution. IBM Res. Blog","author":"Nation Paul","year":"2021","unstructured":"Paul Nation and B Johnson. 2021. How to measure and reset a qubit in the middle of a circuit execution. IBM Res. Blog (2021)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00202"},{"key":"e_1_3_2_1_22_1","volume-title":"Quasiprobability decompositions with reduced sampling overhead. npj Quantum Information 8, 1","author":"Piveteau Christophe","year":"2022","unstructured":"Christophe Piveteau, David Sutter, and Stefan Woerner. 2022. Quasiprobability decompositions with reduced sampling overhead. npj Quantum Information 8, 1 (2022), 12."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-07-20-1062"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Nils Quetschlich Mathias Soeken Prakash Murali and Robert Wille. 2024. Utilizing Resource Estimation for the Development of Quantum Computing Applications. arXiv:2402.12434 [quant-ph] https:\/\/arxiv.org\/abs\/2402.12434","DOI":"10.1109\/QCE60285.2024.00036"},{"key":"e_1_3_2_1_26_1","volume-title":"Higor Amario de Souza, and Marcos Lordello Chaim","author":"Leite Ramalho Neilson Carlos","year":"2024","unstructured":"Neilson Carlos Leite Ramalho, Higor Amario de Souza, and Marcos Lordello Chaim. 2024. Testing and Debugging Quantum Programs: The Road to 2030. arXiv:2405.09178 [cs.SE] https:\/\/arxiv.org\/abs\/2405.09178"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2011.2165678"},{"key":"e_1_3_2_1_28_1","volume-title":"Fundamental limits of quantum error mitigation. npj Quantum Information 8, 1","author":"Takagi Ryuji","year":"2022","unstructured":"Ryuji Takagi, Suguru Endo, Shintaro Minagawa, and Mile Gu. 2022. Fundamental limits of quantum error mitigation. npj Quantum Information 8, 1 (2022), 114."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446758"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.119.180509"},{"key":"e_1_3_2_1_31_1","volume-title":"Quest: Graph transformer for quantum circuit reliability estimation. arXiv preprint arXiv:2210.16724","author":"Wang Hanrui","year":"2022","unstructured":"Hanrui Wang, Pengyu Liu, Jinglei Cheng, Zhiding Liang, Jiaqi Gu, Zirui Li, Yongshan Ding, Weiwen Jiang, Yiyu Shi, Xuehai Qian, et al. 2022. Quest: Graph transformer for quantum circuit reliability estimation. arXiv preprint arXiv:2210.16724 (2022)."},{"key":"e_1_3_2_1_32_1","unstructured":"Jiyuan Wang Ming Gao Yu Jiang Jianguang Lou Yue Gao Dongmei Zhang and Jiaguang Sun. 2018. QuanFuzz: Fuzz Testing of Quantum Program. arXiv:1810.10310 [cs.SE] https:\/\/arxiv.org\/abs\/1810.10310"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00029"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516839"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.80.2245"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.09.060"}],"event":{"name":"FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering","location":"Concordia University Montreal QC Canada","acronym":"FSE Companion '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803437.3804871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:37:00Z","timestamp":1784299020000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3804871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":37,"alternative-id":["10.1145\/3803437.3804871","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3804871","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}