{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T20:17:10Z","timestamp":1764793030120,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,17]],"date-time":"2021-04-17T00:00:00Z","timestamp":1618617600000},"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, CCF-1837129"],"award-info":[{"award-number":["1730082, CCF-1837129"]}],"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":[[2021,4,19]]},"DOI":"10.1145\/3445814.3446750","type":"proceedings-article","created":{"date-parts":[[2021,4,11]],"date-time":"2021-04-11T17:06:26Z","timestamp":1618160786000},"page":"456-472","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Logical abstractions for noisy variational Quantum algorithm simulation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3171-6901","authenticated-orcid":false,"given":"Yipeng","family":"Huang","sequence":"first","affiliation":[{"name":"Rutgers University, USA"}]},{"given":"Steven","family":"Holtzen","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3434-2503","authenticated-orcid":false,"given":"Guy","family":"Van den Broeck","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9683-8032","authenticated-orcid":false,"given":"Margaret","family":"Martonosi","sequence":"additional","affiliation":[{"name":"Princeton University, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"1642293.1642501 Mark Chavira and Adnan Darwiche. 2006. Encoding CNFs to Empower Com-  1642293.1642501 Mark Chavira and Adnan Darwiche. 2006. Encoding CNFs to Empower Com-"},{"key":"e_1_3_2_1_2_1","volume-title":"Theory and Applications of Satis ability Testing-SAT","author":"Analysis","year":"2006","unstructured":"ponent Analysis . In Theory and Applications of Satis ability Testing-SAT 2006 , ponent Analysis. In Theory and Applications of Satis ability Testing-SAT 2006,"},{"volume-title":"Mark Chavira and Adnan Darwiche","year":"2008","key":"e_1_3_2_1_3_1","unstructured":"delberg, 61-74. Mark Chavira and Adnan Darwiche . 2008 . On Probabilistic Inference by Weighted delberg, 61-74. Mark Chavira and Adnan Darwiche. 2008. On Probabilistic Inference by Weighted"},{"key":"e_1_3_2_1_4_1","first-page":"6","volume":"172","year":"2008","unstructured":"Model Counting. Artif. Intell. 172 , 6 - 7 ( April 2008 ), 772-799. https:\/\/doi.org\/10. Model Counting. Artif. Intell. 172, 6-7 ( April 2008 ), 772-799. https:\/\/doi.org\/10.","journal-title":"Model Counting. Artif. Intell."},{"volume-title":"002 Siddhartha Chib and Edward Greenberg","year":"1995","key":"e_1_3_2_1_5_1","unstructured":"1016\/j.artint. 2007. 11. 002 Siddhartha Chib and Edward Greenberg . 1995 . Understanding the Metropolis- 1016\/j.artint. 2007. 11. 002 Siddhartha Chib and Edward Greenberg. 1995. Understanding the Metropolis-"},{"key":"e_1_3_2_1_6_1","volume-title":"Antonio Vergari, and Guy Van den Broeck.","author":"Hastings","year":"2020","unstructured":"Hastings algorithm. The american statistician 49, 4 ( 1995 ), 327-335. YooJung Choi , Antonio Vergari, and Guy Van den Broeck. 2020 . Probabilistic Hastings algorithm. The american statistician 49, 4 ( 1995 ), 327-335. YooJung Choi, Antonio Vergari, and Guy Van den Broeck. 2020. Probabilistic"},{"key":"e_1_3_2_1_7_1","volume-title":"Michael A. Horne, Abner Shimony, and Richard A. Holt.","author":"Circuits","year":"1969","unstructured":"Circuits : A Unifying Framework for Tractable Probabilistic Models. ( 2020 ). John F. Clauser , Michael A. Horne, Abner Shimony, and Richard A. Holt. 1969 . Circuits: A Unifying Framework for Tractable Probabilistic Models. ( 2020 ). John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt. 1969."},{"journal-title":"Theories. Phys. Rev. Lett. 23","author":"Proposed Experiment","key":"e_1_3_2_1_8_1","unstructured":"Proposed Experiment to Test Local Hidden-Variable Theories. Phys. Rev. Lett. 23 Proposed Experiment to Test Local Hidden-Variable Theories. Phys. Rev. Lett. 23"},{"key":"#cr-split#-e_1_3_2_1_9_1.1","unstructured":"(Oct 1969 ) 880-884. Issue 15. https:\/\/doi.org\/10.1103\/PhysRevLett.23. 880 Andrew W. Cross Lev S. Bishop Sarah Sheldon Paul D. Nation and Jay M. 10.1103\/PhysRevLett.23"},{"key":"#cr-split#-e_1_3_2_1_9_1.2","unstructured":"(Oct 1969 ) 880-884. Issue 15. https:\/\/doi.org\/10.1103\/PhysRevLett.23. 880 Andrew W. Cross Lev S. Bishop Sarah Sheldon Paul D. Nation and Jay M."},{"key":"e_1_3_2_1_10_1","unstructured":"Gambetta. 2019. Validating quantum computers using randomized model circuits.  Gambetta. 2019. Validating quantum computers using randomized model circuits."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA"},{"key":"e_1_3_2_1_12_1","unstructured":"100\n   .032328 Adnan Darwiche. 2002. A Logical Approach to Factoring Belief Networks. In  100.032328 Adnan Darwiche. 2002. A Logical Approach to Factoring Belief Networks. In"},{"key":"e_1_3_2_1_13_1","unstructured":"Representation and Reasoning (Toulouse France) (KR'02). Morgan Kaufmann  Representation and Reasoning (Toulouse France) (KR'02). Morgan Kaufmann"},{"key":"e_1_3_2_1_14_1","unstructured":"Publishers Inc. San Francisco CA USA 409-420. http:\/\/dl.acm.org\/citation.  Publishers Inc. San Francisco CA USA 409-420. http:\/\/dl.acm.org\/citation."},{"key":"e_1_3_2_1_15_1","unstructured":"cfm?id=3087093.3087128 Adnan Darwiche. 2003. A Di erential Approach to Inference in Bayesian Net-  cfm?id=3087093.3087128 Adnan Darwiche. 2003. A Di erential Approach to Inference in Bayesian Net-"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/765568.765570"},{"key":"e_1_3_2_1_17_1","volume-title":"Adnan Darwiche and Pierre Marquis","author":"Cambridge University Press, New York, NY, USA.","year":"2002","unstructured":"Cambridge University Press, New York, NY, USA. Adnan Darwiche and Pierre Marquis . 2002 . A knowledge compilation map. Cambridge University Press, New York, NY, USA. Adnan Darwiche and Pierre Marquis. 2002. A knowledge compilation map."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the Royal","author":"Journal","year":"2002","unstructured":"Journal of Arti cial Intelligence Research 17 ( 2002 ), 229-264. D. Deutsch. 1989. Quantum Computational Networks . Proceedings of the Royal Journal of Arti cial Intelligence Research 17 ( 2002 ), 229-264. D. Deutsch. 1989. Quantum Computational Networks. Proceedings of the Royal"},{"key":"e_1_3_2_1_19_1","volume-title":"Series A, Mathematical and Physical Sciences 425","author":"Society of London.","year":"1868","unstructured":"Society of London. Series A, Mathematical and Physical Sciences 425 , 1868 ( 1989 ), Society of London. Series A, Mathematical and Physical Sciences 425, 1868 ( 1989 ),"},{"volume-title":"http:\/\/www.jstor.org\/stable\/2398494 David Deutsch and Richard Jozsa","year":"1992","key":"e_1_3_2_1_20_1","unstructured":"73-90. http:\/\/www.jstor.org\/stable\/2398494 David Deutsch and Richard Jozsa . 1992 . Rapid Solution of Problems by Quantum 73-90. http:\/\/www.jstor.org\/stable\/2398494 David Deutsch and Richard Jozsa. 1992. Rapid Solution of Problems by Quantum"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the Royal Society of London Series A 439","author":"Computation","year":"1907","unstructured":"Computation . Proceedings of the Royal Society of London Series A 439 , 1907 (Dec. Computation. Proceedings of the Royal Society of London Series A 439, 1907 (Dec."},{"volume-title":"https:\/\/doi.org\/10.1098\/rspa","year":"1992","key":"e_1_3_2_1_22_1","unstructured":"1992 ), 553-558. https:\/\/doi.org\/10.1098\/rspa . 1992 . 0167 Edward Farhi, Je rey Goldstone, and Sam Gutmann. 2014. A Quantum Approxi- 10.1098\/rspa 1992 ), 553-558. https:\/\/doi.org\/10.1098\/rspa. 1992. 0167 Edward Farhi, Je rey Goldstone, and Sam Gutmann. 2014. A Quantum Approxi-"},{"key":"e_1_3_2_1_23_1","unstructured":"mate Optimization Algorithm. arXiv e-prints Article arXiv:1411.4028 (Nov 2014 ) mate Optimization Algorithm. arXiv e-prints Article arXiv:1411.4028 (Nov 2014 )"},{"key":"e_1_3_2_1_24_1","volume-title":"arXiv:1411.4028 [quant-ph] Edward Farhi and Aram W Harrow","author":"Xiv","year":"2016","unstructured":"ar Xiv :1411.4028 pages. arXiv:1411.4028 [quant-ph] Edward Farhi and Aram W Harrow . 2016 . Quantum Supremacy through the arXiv:1411.4028 pages. arXiv:1411.4028 [quant-ph] Edward Farhi and Aram W Harrow. 2016. Quantum Supremacy through the"},{"key":"e_1_3_2_1_25_1","volume-title":"arXiv:1602.07674 [quant-ph] Richard Phillips Feynman","author":"Quantum Approximate Optimization Algorithm","year":"2006","unstructured":"Quantum Approximate Optimization Algorithm . arXiv:1602.07674 [quant-ph] Richard Phillips Feynman . 2006 . QED : The strange theory of light and matter. Quantum Approximate Optimization Algorithm. arXiv:1602.07674 [quant-ph] Richard Phillips Feynman. 2006. QED: The strange theory of light and matter."},{"key":"e_1_3_2_1_26_1","unstructured":"Princeton University Press. E. Schuyler Fried Nicolas P. D. Sawaya Yudong Cao Ian D. Kivlichan Jhonathan  Princeton University Press. E. Schuyler Fried Nicolas P. D. Sawaya Yudong Cao Ian D. Kivlichan Jhonathan"},{"key":"e_1_3_2_1_27_1","unstructured":"Romero Al\u00e1n Aspuru-Guzik and Itay Hen ed. 2018. qTorch: The quantum tensor  Romero Al\u00e1n Aspuru-Guzik and Itay Hen ed. 2018. qTorch: The quantum tensor"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal"},{"key":"e_1_3_2_1_29_1","unstructured":"pone. 0208510 Lov K. Grover. 1996. A Fast Quantum Mechanical Algorithm for Database  pone. 0208510 Lov K. Grover. 1996. A Fast Quantum Mechanical Algorithm for Database"},{"volume-title":"USA) ( STOC '96)","author":"Computing","key":"e_1_3_2_1_30_1","unstructured":"Computing (Philadelphia, Pennsylvania , USA) ( STOC '96) . ACM, New York, NY , Computing (Philadelphia, Pennsylvania, USA) ( STOC '96). ACM, New York, NY,"},{"volume-title":"https:\/\/doi.org\/10.1145\/237814.237866 Lov K. Grover","year":"2001","key":"e_1_3_2_1_31_1","unstructured":"USA, 212-219. https:\/\/doi.org\/10.1145\/237814.237866 Lov K. Grover . 2001 . From Schr\u00f6dinger's equation to the quantum search algo- 10.1145\/237814.237866 USA, 212-219. https:\/\/doi.org\/10.1145\/237814.237866 Lov K. Grover. 2001. From Schr\u00f6dinger's equation to the quantum search algo-"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.1359518"},{"key":"e_1_3_2_1_33_1","volume-title":"Harrow and Ashley Montanaro","author":"Xiv 0.","year":"2017","unstructured":"1 .1359518 ar Xiv :https:\/\/doi.org\/1 0. 1119\/1.1359518 Aram W. Harrow and Ashley Montanaro . 2017 . Quantum computational 10.1119\/1.1359518 1.1359518 arXiv:https:\/\/doi.org\/10.1119\/1.1359518 Aram W. Harrow and Ashley Montanaro. 2017. Quantum computational"},{"volume-title":"Raymond Lal, and Matthew F Pusey.","year":"2014","key":"e_1_3_2_1_34_1","unstructured":"supremacy. Nature 549 ( 13 09 2017 ), 203 EP-. https:\/\/doi.org\/10.1038\/nature23458 Joe Henson , Raymond Lal, and Matthew F Pusey. 2014 . Theory-independent 10.1038\/nature23458 supremacy. Nature 549 ( 13 09 2017 ), 203 EP-. https:\/\/doi.org\/10.1038\/nature23458 Joe Henson, Raymond Lal, and Matthew F Pusey. 2014. Theory-independent"},{"volume-title":"Todd Millstein, and Guy Van den Broeck.","year":"2019","key":"e_1_3_2_1_35_1","unstructured":"16, 11 (nov 2014 ), 113043. https:\/\/doi.org\/10.1088\/ 1367-2630\/16\/11\/113043 Steven Holtzen , Todd Millstein, and Guy Van den Broeck. 2019 . Generating 16, 11 (nov 2014 ), 113043. https:\/\/doi.org\/10.1088\/ 1367-2630\/16\/11\/113043 Steven Holtzen, Todd Millstein, and Guy Van den Broeck. 2019. Generating"},{"volume-title":"Sampling Orbits for Lifted Probabilistic Inference. In Proceedings of the 35th","key":"e_1_3_2_1_36_1","unstructured":"and Sampling Orbits for Lifted Probabilistic Inference. In Proceedings of the 35th and Sampling Orbits for Lifted Probabilistic Inference. In Proceedings of the 35th"},{"key":"e_1_3_2_1_37_1","volume-title":"Guy Van den Broeck, and Todd Millstein","author":"Conference","year":"2020","unstructured":"Conference on Uncertainty in Arti cial Intelligence (UAI). Steven Holtzen , Guy Van den Broeck, and Todd Millstein . 2020 . Scaling Exact In- Conference on Uncertainty in Arti cial Intelligence (UAI). Steven Holtzen, Guy Van den Broeck, and Todd Millstein. 2020. Scaling Exact In-"},{"volume-title":"Kishor Bharti, and Patrick Rebentrost.","year":"2019","key":"e_1_3_2_1_38_1","unstructured":"( 2020 ). https:\/\/doi.org\/10.1145\/342820 Hsin-Yuan Huang , Kishor Bharti, and Patrick Rebentrost. 2019 . Near-term quan- 10.1145\/342820 ( 2020 ). https:\/\/doi.org\/10.1145\/342820 Hsin-Yuan Huang, Kishor Bharti, and Patrick Rebentrost. 2019. Near-term quan-"},{"volume-title":"arXiv","year":"1909","key":"e_1_3_2_1_39_1","unstructured":"tum algorithms for linear systems of equations. arXiv : 1909 .07344 [quant-ph ] Yipeng Huang and Margaret Martonosi . 2019. QDB : From Quantum Algorithms tum algorithms for linear systems of equations. arXiv: 1909.07344 [quant-ph ] Yipeng Huang and Margaret Martonosi. 2019. QDB: From Quantum Algorithms"},{"volume-title":"Correct Quantum Programs. In 9th Workshop on Evaluation and Usability","author":"Towards","key":"e_1_3_2_1_40_1","unstructured":"Towards Correct Quantum Programs. In 9th Workshop on Evaluation and Usability Towards Correct Quantum Programs. In 9th Workshop on Evaluation and Usability"},{"key":"e_1_3_2_1_41_1","unstructured":"of Programming Languages and Tools (PLATEAU 2018 ) (OpenAccess Series in  of Programming Languages and Tools (PLATEAU 2018 ) (OpenAccess Series in"},{"key":"e_1_3_2_1_42_1","unstructured":"Informatics (OASIcs) Vol. 67 ) Titus Barik Joshua Sunshine and Sarah Chasins  Informatics (OASIcs) Vol. 67 ) Titus Barik Joshua Sunshine and Sarah Chasins"},{"volume-title":"1-4 : 14. https:\/\/doi.org\/10.4230\/OASIcs.PLATEAU","year":"2018","key":"e_1_3_2_1_43_1","unstructured":"4 : 1-4 : 14. https:\/\/doi.org\/10.4230\/OASIcs.PLATEAU . 2018 . 4 Yipeng Huang and Margaret Martonosi. 2019. Statistical Assertions for Validating 10.4230\/OASIcs.PLATEAU 4 : 1-4 : 14. https:\/\/doi.org\/10.4230\/OASIcs.PLATEAU. 2018. 4 Yipeng Huang and Margaret Martonosi. 2019. Statistical Assertions for Validating"},{"volume-title":"Finding Bugs in Quantum Programs. In Proceedings of the 46th","author":"Patterns","key":"e_1_3_2_1_44_1","unstructured":"Patterns and Finding Bugs in Quantum Programs. In Proceedings of the 46th Patterns and Finding Bugs in Quantum Programs. In Proceedings of the 46th"},{"key":"e_1_3_2_1_45_1","volume-title":"Symposium on Computer Architecture","author":"International","year":"2007","unstructured":"International Symposium on Computer Architecture ( Phoenix, AZ) (ISCA '19). Phillip Kaye, Raymond La amme, and Michele Mosca. 2007 . An Introduction to International Symposium on Computer Architecture (Phoenix, AZ) (ISCA '19). Phillip Kaye, Raymond La amme, and Michele Mosca. 2007. An Introduction to"}],"event":{"name":"ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"ASPLOS '21"},"container-title":["Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446750","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3445814.3446750","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3445814.3446750","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3445814.3446750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:33Z","timestamp":1750195473000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,17]]},"references-count":46,"alternative-id":["10.1145\/3445814.3446750","10.1145\/3445814"],"URL":"https:\/\/doi.org\/10.1145\/3445814.3446750","relation":{},"subject":[],"published":{"date-parts":[[2021,4,17]]},"assertion":[{"value":"2021-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}