{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T15:10:21Z","timestamp":1755789021506,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T00:00:00Z","timestamp":1719964800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,3]]},"DOI":"10.1145\/3649217.3653619","type":"proceedings-article","created":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T18:30:20Z","timestamp":1720031420000},"page":"457-463","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Scalable Autograding for Quantum Programming Assignments"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5092-9094","authenticated-orcid":false,"given":"Jonathan","family":"Beaumont","sequence":"first","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-0480-0519","authenticated-orcid":false,"given":"Kathryn","family":"Wakevainen","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,7,3]]},"reference":[{"volume-title":"The Quantum Technology Monitor. McKinsey Digital","year":"2020","key":"e_1_3_2_1_1_1","unstructured":"2020. The Quantum Technology Monitor. McKinsey Digital (2020)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"e_1_3_2_1_3_1","volume-title":"Towards Large-scale Functional Verification of Universal Quantum Circuits. CoRR abs\/1805.06908","author":"Amy Matthew","year":"2018","unstructured":"Matthew Amy. 2018. Towards Large-scale Functional Verification of Universal Quantum Circuits. CoRR abs\/1805.06908 (2018), 1--21. https:\/\/api.semanticscholar. org\/CorpusID:29163119"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3032630"},{"key":"e_1_3_2_1_5_1","unstructured":"ABET Computing Accreditation Commission et al. 2004. Criteria for accrediting computing programs. November 1 (2004) 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1117\/1.OE.61.8.081806"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1103\/physreva.102.022406"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEET.2019.00022"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2011.54"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the ACM on Programming Languages 7, PLDI","author":"Viktor Dragana","year":"2023","unstructured":"Dragana Milovan?evi? and Viktor Kun?ak. 2023. Proving and disproving equivalence of functional programming assignments. Proceedings of the ACM on Programming Languages 7, PLDI (2023), 928--951."},{"volume-title":"Quantum computation and quantum information","author":"Nielsen Michael A","key":"e_1_3_2_1_12_1","unstructured":"Michael A Nielsen and Isaac L Chuang. 2010. Quantum computation and quantum information. Cambridge university press."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/JETCAS.2022.3202204"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530480"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"John Preskill. 1998. Fault-tolerant quantum computation. In Introduction to quantum computation and information. World Scientific 213--269.","DOI":"10.1142\/9789812385253_0008"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2573505"},{"key":"e_1_3_2_1_18_1","volume-title":"Recursive path-summing simulation of quantum computation. arXiv preprint arXiv:1710.09364","author":"Shi Andrew","year":"2017","unstructured":"Andrew Shi. 2017. Recursive path-summing simulation of quantum computation. arXiv preprint arXiv:1710.09364 (2017)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360614"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468598"},{"volume-title":"Quantum Information and Computation II","author":"Viamontes George F","key":"e_1_3_2_1_21_1","unstructured":"George F Viamontes, Igor L Markov, and John P Hayes. 2004. Graph-based simulation of quantum computation in the density matrix representation. In Quantum Information and Computation II, Vol. 5436. SPIE, 285--296."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269084"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.12.005"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/iccad45719.2019.8942057"}],"event":{"name":"ITiCSE 2024: Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Milan Italy","acronym":"ITiCSE 2024"},"container-title":["Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649217.3653619","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649217.3653619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:46:46Z","timestamp":1755787606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649217.3653619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,3]]},"references-count":24,"alternative-id":["10.1145\/3649217.3653619","10.1145\/3649217"],"URL":"https:\/\/doi.org\/10.1145\/3649217.3653619","relation":{},"subject":[],"published":{"date-parts":[[2024,7,3]]},"assertion":[{"value":"2024-07-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}