{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T16:47:55Z","timestamp":1787503675527,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:00:00Z","timestamp":1697587200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,18]]},"DOI":"10.1145\/3622758.3622889","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T09:41:55Z","timestamp":1697708515000},"page":"32-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Cloning and Beyond: A Quantum Solution to Duplicate Code"],"prefix":"10.1145","author":[{"given":"Samyak","family":"Jhaveri","sequence":"first","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Krone-Martins","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristina V.","family":"Lopes","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3517340"},{"key":"e_1_3_2_1_2_1","unstructured":"Alfred V Aho Ravi Sethi and Jeffrey D Ullman. 2007. Compilers: principles techniques and tools. 2 Addison-wesley Reading. \t\t\t\t  Alfred V Aho Ravi Sethi and Jeffrey D Ullman. 2007. Compilers: principles techniques and tools. 2 Addison-wesley Reading."},{"key":"e_1_3_2_1_3_1","volume-title":"Muhammad Waseem Anwar, Farooque Azam, and Bilal Maqbool.","author":"Ain Qurat Ul","year":"2019","unstructured":"Qurat Ul Ain , Wasi Haider Butt , Muhammad Waseem Anwar, Farooque Azam, and Bilal Maqbool. 2019 . A systematic review on code clone detection. IEEE access, 7 (2019), 86121\u201386144. Qurat Ul Ain, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam, and Bilal Maqbool. 2019. A systematic review on code clone detection. IEEE access, 7 (2019), 86121\u201386144."},{"key":"e_1_3_2_1_4_1","volume-title":"Consistency of the adiabatic theorem. Physical review letters, 102, 22","author":"Amin Mohammad HS","year":"2009","unstructured":"Mohammad HS Amin . 2009. Consistency of the adiabatic theorem. Physical review letters, 102, 22 ( 2009 ), 220401. Mohammad HS Amin. 2009. Consistency of the adiabatic theorem. Physical review letters, 102, 22 (2009), 220401."},{"key":"e_1_3_2_1_5_1","volume-title":"Quantum stochastic optimization. Stochastic Processes and their Applications, 33, 2","author":"Apolloni Bruno","year":"1989","unstructured":"Bruno Apolloni , C Carvalho , and Diego De Falco . 1989. Quantum stochastic optimization. Stochastic Processes and their Applications, 33, 2 ( 1989 ), 233\u2013244. Bruno Apolloni, C Carvalho, and Diego De Falco. 1989. Quantum stochastic optimization. Stochastic Processes and their Applications, 33, 2 (1989), 233\u2013244."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Rhonda Au-Yeung Nicholas Chancellor and Pascal Halffmann. 2022. NP-hard but no longer hard to solve? Using quantum computing to tackle optimization problems. arXiv preprint arXiv:2212.10990. \t\t\t\t  Rhonda Au-Yeung Nicholas Chancellor and Pascal Halffmann. 2022. NP-hard but no longer hard to solve? Using quantum computing to tackle optimization problems. arXiv preprint arXiv:2212.10990.","DOI":"10.3389\/frqst.2023.1128576"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/800061.808746"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738528"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.09.009"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70725"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01011339"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3389\/fphy.2014.00056"},{"key":"e_1_3_2_1_13_1","volume-title":"Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. Information and computation, 275","author":"Bian Zhengbing","year":"2020","unstructured":"Zhengbing Bian , Fabian Chudak , William Macready , Aidan Roy , Roberto Sebastiani , and Stefano Varotti . 2020. Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. Information and computation, 275 ( 2020 ), 104609. Zhengbing Bian, Fabian Chudak, William Macready, Aidan Roy, Roberto Sebastiani, and Stefano Varotti. 2020. Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. Information and computation, 275 (2020), 104609."},{"key":"e_1_3_2_1_14_1","volume-title":"The Ising model: teaching an old problem new tricks. D-wave systems, 2","author":"Bian Zhengbing","year":"2010","unstructured":"Zhengbing Bian , Fabian Chudak , William G Macready , and Geordie Rose . 2010. The Ising model: teaching an old problem new tricks. D-wave systems, 2 ( 2010 ), 1\u201332. Zhengbing Bian, Fabian Chudak, William G Macready, and Geordie Rose. 2010. The Ising model: teaching an old problem new tricks. D-wave systems, 2 (2010), 1\u201332."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Sergio Boixo Troels F R\u00f8nnow Sergei V Isakov Zhihui Wang David Wecker Daniel A Lidar John M Martinis and Matthias Troyer. 2013. Quantum annealing with more than one hundred qubits. arXiv preprint arXiv:1304.4595. \t\t\t\t  Sergio Boixo Troels F R\u00f8nnow Sergei V Isakov Zhihui Wang David Wecker Daniel A Lidar John M Martinis and Matthias Troyer. 2013. Quantum annealing with more than one hundred qubits. arXiv preprint arXiv:1304.4595.","DOI":"10.1038\/nphys2900"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-022-10169-0"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-018-1357-8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468555"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20030559"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1985.0070"},{"key":"e_1_3_2_1_21_1","unstructured":"Hristo N Djidjev Guillaume Chapuis Georg Hahn and Guillaume Rizk. 2018. Efficient combinatorial optimization using quantum annealing. arxiv:1801.08653. \t\t\t\t  Hristo N Djidjev Guillaume Chapuis Georg Hahn and Guillaume Rizk. 2018. Efficient combinatorial optimization using quantum annealing. arxiv:1801.08653."},{"key":"e_1_3_2_1_22_1","unstructured":"DWave. 2020. Hybrid Solver for Discrete Quadratic Models. \t\t\t\t  DWave. 2020. Hybrid Solver for Discrete Quadratic Models."},{"key":"e_1_3_2_1_23_1","unstructured":"DWave. 2022. DWave White Paper: Problem Formulation Guide. https:\/\/www.dwavesys.com\/media\/bu0lh5ee\/problem-formulation-guide-2022-01-10.pdf \t\t\t\t  DWave. 2022. DWave White Paper: Problem Formulation Guide. https:\/\/www.dwavesys.com\/media\/bu0lh5ee\/problem-formulation-guide-2022-01-10.pdf"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1057726"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368132"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1126\/sciadv.aav2372"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00189-6"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.86.042310"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897760"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2009.39"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2011.12"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-021-02918-x"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2020.3001918"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04673-5_8"},{"key":"e_1_3_2_1_37_1","volume-title":"https:\/\/quantum-computing.ibm.com\/ Accessed on","author":"Quantum IBM.","year":"2023","unstructured":"IBM. 2021. IBM Quantum . https:\/\/quantum-computing.ibm.com\/ Accessed on April 08, 2023 IBM. 2021. IBM Quantum. https:\/\/quantum-computing.ibm.com\/ Accessed on April 08, 2023"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.30"},{"key":"e_1_3_2_1_39_1","volume-title":"APS March Meeting Abstracts.","author":"Job Joshua","year":"2018","unstructured":"Joshua Job , Alex Mott , Jean-Roch Vlimant , Daniel Lidar , and Maria Spiropulu . 2018 . Solving a Higgs detection optimization problem with quantum annealing for machine learning . In APS March Meeting Abstracts. 2018, S28\u2013008. Joshua Job, Alex Mott, Jean-Roch Vlimant, Daniel Lidar, and Maria Spiropulu. 2018. Solving a Higgs detection optimization problem with quantum annealing for machine learning. In APS March Meeting Abstracts. 2018, S28\u2013008."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature10012"},{"key":"e_1_3_2_1_41_1","unstructured":"R. Colin Johnson. 2019. World\u2019s Largest Quantum Computer Doubles Down. Commun. ACM April https:\/\/cacm.acm.org\/news\/236266-worlds-largest-quantum-computer-doubles-down\/fulltext \t\t\t\t  R. Colin Johnson. 2019. World\u2019s Largest Quantum Computer Doubles Down. Commun. ACM April https:\/\/cacm.acm.org\/news\/236266-worlds-largest-quantum-computer-doubles-down\/fulltext"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1038\/s42005-022-00929-9"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2124660.2124693"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10878-014-9734-0"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00291-003-0153-3"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2009.08.037"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2010.10.022"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1002\/net.21751"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.97"},{"key":"e_1_3_2_1_51_1","volume-title":"Ising formulations of many NP problems. Frontiers in physics, 2","author":"Lucas Andrew","year":"2014","unstructured":"Andrew Lucas . 2014. Ising formulations of many NP problems. Frontiers in physics, 2 ( 2014 ), 5. Andrew Lucas. 2014. Ising formulations of many NP problems. Frontiers in physics, 2 (2014), 5."},{"key":"e_1_3_2_1_52_1","volume-title":"Sovetskoye Radio","author":"Manin Yuri","unstructured":"Yuri Manin . 1980. Computable and Uncomputable . Sovetskoye Radio , Moscow . Yuri Manin. 1980. Computable and Uncomputable. Sovetskoye Radio, Moscow."},{"key":"e_1_3_2_1_53_1","volume-title":"Adiabatic Quantum Computing to solve the MaxCut graph problem","author":"McAndrew Fenella","unstructured":"Fenella McAndrew . 2020. Adiabatic Quantum Computing to solve the MaxCut graph problem . University of Melbourne School of Mathematics. Fenella McAndrew. 2020. Adiabatic Quantum Computing to solve the MaxCut graph problem. University of Melbourne School of Mathematics."},{"key":"e_1_3_2_1_54_1","unstructured":"Catherine McGeoch and Pau Farr\u00e9. 2020. DWave White Paper: Hybrid Solver for Discrete Quadratic Models. https:\/\/www.dwavesys.com\/media\/ssidd1x3\/14-1050a-a_hybrid_solver_for_discrete_quadratic_models.pdf \t\t\t\t  Catherine McGeoch and Pau Farr\u00e9. 2020. DWave White Paper: Hybrid Solver for Discrete Quadratic Models. https:\/\/www.dwavesys.com\/media\/ssidd1x3\/14-1050a-a_hybrid_solver_for_discrete_quadratic_models.pdf"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/3019344"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2020.01.024"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2013.09.003"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.omega.2005.01.008"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0206653"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_61_1","first-page":"253","article-title":"Quantum annealing and the satisfiability problem","volume":"30","author":"Pudenz Kristen L","year":"2017","unstructured":"Kristen L Pudenz , Gregory S Tallant , Todd R Belote , and Steven H Adachi . 2017 . Quantum annealing and the satisfiability problem . New Frontiers in High Performance Computing and Big Data , 30 (2017), 253 . Kristen L Pudenz, Gregory S Tallant, Todd R Belote, and Steven H Adachi. 2017. Quantum annealing and the satisfiability problem. New Frontiers in High Performance Computing and Big Data, 30 (2017), 253.","journal-title":"New Frontiers in High Performance Computing and Big Data"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04520-2"},{"key":"e_1_3_2_1_63_1","volume-title":"Limits of computation: an introduction to the undecidable and the intractable","author":"Reiter Edna E","unstructured":"Edna E Reiter and Clayton Matthew Johnson . 2012. Limits of computation: an introduction to the undecidable and the intractable . CRC Press . Edna E Reiter and Clayton Matthew Johnson. 2012. Limits of computation: an introduction to the undecidable and the intractable. CRC Press."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.18"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330194"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR-WCRE.2014.6747168"},{"key":"e_1_3_2_1_67_1","volume-title":"Quantum Software Engineering","author":"Serrano Manuel A.","unstructured":"Manuel A. Serrano , Ricardo P\u00e9rez-Castillo , and Mario Piattini . 2022. Quantum Software Engineering . Springer International Publishing . isbn:9783031053245 https:\/\/link.springer.com\/book\/10.1007\/978-3-031-05324-5 Manuel A. Serrano, Ricardo P\u00e9rez-Castillo, and Mario Piattini. 2022. Quantum Software Engineering. Springer International Publishing. isbn:9783031053245 https:\/\/link.springer.com\/book\/10.1007\/978-3-031-05324-5"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWSC.2013.6613037"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2019.00019"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.disopt.2010.12.001"},{"key":"e_1_3_2_1_71_1","volume-title":"Fourth IEEE International Workshop on. 128\u2013135","author":"Wahler Vera","year":"2004","unstructured":"Vera Wahler , Dietmar Seipel , J Wolff , and Gregor Fischer . 2004 . Clone detection in source code by frequent itemset techniques. In Source Code Analysis and Manipulation , Fourth IEEE International Workshop on. 128\u2013135 . Vera Wahler, Dietmar Seipel, J Wolff, and Gregor Fischer. 2004. Clone detection in source code by frequent itemset techniques. In Source Code Analysis and Manipulation, Fourth IEEE International Workshop on. 128\u2013135."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210706"},{"key":"#cr-split#-e_1_3_2_1_73_1.1","unstructured":"Jianjun Zhao. 2020. Quantum Software Engineering: Landscapes and Horizons. arXiv e-prints July https:\/\/doi.org\/10.48550\/arXiv.2007.07047 arxiv:2007.07047. 10.48550\/arXiv.2007.07047"},{"key":"#cr-split#-e_1_3_2_1_73_1.2","unstructured":"Jianjun Zhao. 2020. Quantum Software Engineering: Landscapes and Horizons. arXiv e-prints July https:\/\/doi.org\/10.48550\/arXiv.2007.07047 arxiv:2007.07047."},{"key":"e_1_3_2_1_74_1","volume-title":"Experimental quantum annealing: case study involving the graph isomorphism problem. Scientific reports, 5, 1","author":"Zick Kenneth M","year":"2015","unstructured":"Kenneth M Zick , Omar Shehab , and Matthew French . 2015. Experimental quantum annealing: case study involving the graph isomorphism problem. Scientific reports, 5, 1 ( 2015 ), 1\u201311. Kenneth M Zick, Omar Shehab, and Matthew French. 2015. Experimental quantum annealing: case study involving the graph isomorphism problem. Scientific reports, 5, 1 (2015), 1\u201311."}],"event":{"name":"Onward! '23: 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","location":"Cascais Portugal","acronym":"Onward! '23","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622758.3622889","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3622758.3622889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:45:23Z","timestamp":1750254323000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622758.3622889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,18]]},"references-count":75,"alternative-id":["10.1145\/3622758.3622889","10.1145\/3622758"],"URL":"https:\/\/doi.org\/10.1145\/3622758.3622889","relation":{},"subject":[],"published":{"date-parts":[[2023,10,18]]},"assertion":[{"value":"2023-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}