{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T12:30:41Z","timestamp":1768739441543,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":96,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"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":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386001","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"1066-1082","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["Semantic code search via equational reasoning"],"prefix":"10.1145","author":[{"given":"Varot","family":"Premtoon","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"James","family":"Koppel","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Armando","family":"Solar-Lezama","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882316"},{"key":"e_1_3_2_1_2_1","unstructured":"157\u2013166."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02654-1_1"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Workshop on Human-Computer Interaction and Information Retrieval. 23\u201324","author":"Begel Andrew","year":"2007","unstructured":"Andrew Begel. 2007. Codifier: A Programmer-Centric Search User Interface. In Proceedings of the Workshop on Human-Computer Interaction and Information Retrieval. 23\u201324."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 33nd International Conference on Machine Learning, ICML 2016","author":"Bielik Pavol","year":"2016","unstructured":"Pavol Bielik, Veselin Raychev, and Martin T. Vechev. 2016. PHOG: Probabilistic Model for Code. In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016. 2933\u20132942."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480897"},{"key":"e_1_3_2_1_7_1","unstructured":"114\u2013126."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340458"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_26"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.11.848"},{"key":"e_1_3_2_1_11_1","volume-title":"Tracelet-Based Code Search in Executables. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201914","author":"David Yaniv","year":"2014","unstructured":"Yaniv David and Eran Yahav. 2014. Tracelet-Based Code Search in Executables. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201914. 349\u2013360."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066100.1066102"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363952"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Feng Yu","year":"2017","unstructured":"Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, and Thomas W. Reps. 2017. Component-Based Synthesis for Complex APIs. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. 599\u2013612."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368132"},{"key":"e_1_3_2_1_18_1","volume-title":"CodeHint: Dynamic and Interactive Synthesis of Code Snippets. In 36th International Conference on Software Engineering, ICSE \u201914","author":"Galenson Joel","year":"2014","unstructured":"Joel Galenson, Philip Reames, Rastislav Bod\u00edk, Bj\u00f6rn Hartmann, and Koushik Sen. 2014. CodeHint: Dynamic and Interactive Synthesis of Code Snippets. In 36th International Conference on Software Engineering, ICSE \u201914, Hyderabad, India - May 31 - June 07, 2014. 653\u2013663."},{"key":"e_1_3_2_1_19_1","first-page":"5","article-title":"Semantic Code Browsing","volume":"16","author":"Garcia-Contreras Isabel","year":"2016","unstructured":"Isabel Garcia-Contreras, Jos\u00e9 F. Morales, and Manuel V. Hermenegildo. 2016. Semantic Code Browsing. TPLP 16, 5-6 (2016), 721\u2013737.","journal-title":"TPLP"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180167"},{"key":"e_1_3_2_1_21_1","volume-title":"Complete Completion Using Types and Weights. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201913","author":"Gvero Tihomir","year":"2013","unstructured":"Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, and Ruzica Piskac. 2013. Complete Completion Using Types and Weights. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201913, Seattle, WA, USA, June 16-19, 2013. 27\u201338."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257658"},{"key":"e_1_3_2_1_23_1","unstructured":"Hamel Husain and Ho-Hsiang Wu. 2018. Towards Natural Language Semantic Code Search. https:\/\/github.blog\/2018-09-18-towardsnatural-language-semantic-code-search\/."},{"key":"e_1_3_2_1_24_1","volume-title":"Code Clone Detection on Specialized PDGs with Heuristics. In 15th European Conference on Software Maintenance and Reengineering, CSMR 2011","author":"Higo Yoshiki","year":"2011","unstructured":"Yoshiki Higo and Shinji Kusumoto. 2011. Code Clone Detection on Specialized PDGs with Heuristics. In 15th European Conference on Software Maintenance and Reengineering, CSMR 2011, 1-4 March 2011, Oldenburg, Germany. 75\u201384."},{"key":"e_1_3_2_1_25_1","volume-title":"27th International Conference on Software Engineering (ICSE 2005)","author":"Holmes Reid","year":"2005","unstructured":"Reid Holmes and Gail C. Murphy. 2005. Using Structural Context to Recommend Source Code Examples. In 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA. 117\u2013125."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93574"},{"key":"e_1_3_2_1_27_1","unstructured":"234\u2013245."},{"key":"e_1_3_2_1_28_1","unstructured":"Ira Baxter and Randall Matthias. 2017. Dow Chemical awards contract extension to Semantic Designs for Process Control Software Reengineering. http:\/\/www.semdesigns.com\/Announce\/DOW_ PRWebRelease_May2017_14309535.pdf."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572283"},{"key":"e_1_3_2_1_30_1","volume-title":"Semantics-Based Code Search Using Input\/Output Examples. In 18th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2018","author":"Jiang Renhe","year":"2018","unstructured":"Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan, and Tian Zhang. 2018. Semantics-Based Code Search Using Input\/Output Examples. In 18th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2018, Madrid, Spain, September 23-24, 2018. 92\u2013102."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908117"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/36330.36332"},{"key":"e_1_3_2_1_33_1","volume-title":"Ben Liblit, David Melski, and Thomas W. Reps.","author":"Kashyap Vineeth","year":"2017","unstructured":"Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, and Thomas W. Reps. 2017. Source Forager: A Search Engine for Similar Source Code. CoRR abs\/1706.02769 (2017). arXiv: 1706.02769 http:\/\/arxiv.org\/abs\/1706.02769"},{"key":"e_1_3_2_1_34_1","volume-title":"Spotting Working Code Examples. In 36th International Conference on Software Engineering, ICSE \u201914","author":"Keivanloo Iman","year":"2014","unstructured":"Iman Keivanloo, Juergen Rilling, and Ying Zou. 2014. Spotting Working Code Examples. In 36th International Conference on Software Engineering, ICSE \u201914. 664\u2013675."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985835"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the 40th International Conference on Software Engineering - ICSE \u201918","author":"Kim Kisub","year":"2018","unstructured":"Kisub Kim, Dongsun Kim, Tegawend\u00e9 F. Bissyand\u00e9, Eunjong Choi, Li Li, Jacques Klein, and Yves Le Traon. 2018. FaCoY - A Code-to-Code PLDI \u201920, June 15\u201320, 2020, London, UK Varot Premtoon, James Koppel, and Armando Solar-Lezama Search Engine. In Proceedings of the 40th International Conference on Software Engineering - ICSE \u201918. ACM Press, New York, New York, USA, 946\u2013957."},{"key":"e_1_3_2_1_37_1","volume-title":"8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. 40\u2013 56","author":"Komondoor Raghavan","year":"2001","unstructured":"Raghavan Komondoor and Susan Horwitz. 2001. Using Slicing to Identify Duplication in Source Code. In Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. 40\u2013 56."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276492"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957835"},{"key":"e_1_3_2_1_40_1","volume-title":"First-Order Logic with Counting. In 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2017","author":"Kuske Dietrich","year":"2017","unstructured":"Dietrich Kuske and Nicole Schweikardt. 2017. First-Order Logic with Counting. In 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. 1\u201312."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950341"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining","author":"Liu Chao","year":"2006","unstructured":"Chao Liu, Chen Chen, Jiawei Han, and Philip S. Yu. 2006. GPLAG: Detection of Software Plagiarism by program Dependence Graph Analysis. In Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Philadelphia, PA, USA, August 20-23, 2006. 872\u2013881."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3315508.3329975"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.42"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"e_1_3_2_1_46_1","unstructured":"Panagiotis Manolios. 2001. Mechanical Verification of Reactive Systems. (2001)."},{"key":"e_1_3_2_1_47_1","volume-title":"Identification of High-Level Concept Clones in Source Code. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001)","author":"Marcus Andrian","year":"2001","unstructured":"Andrian Marcus and Jonathan I. Maletic. 2001. Identification of High-Level Concept Clones in Source Code. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. 107\u2013114."},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2017","author":"Martie Lee","year":"2017","unstructured":"Lee Martie, Andr\u00e9 van der Hoek, and Thomas Kwak. 2017. Understanding the Impact of Support for Iteration on Code Search. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2017, Paderborn, Germany, September 4-8, 2017. 774\u2013785."},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005","author":"Martin Michael C.","year":"2005","unstructured":"Michael C. Martin, V. Benjamin Livshits, and Monica S. Lam. 2005. Finding Application Errors and Security Flaws Using PQL: A Program Query Language. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. 365\u2013383."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985809"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606596"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384689"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357079"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322198"},{"key":"e_1_3_2_1_55_1","volume-title":"Graph-Based Statistical Language Model for Code. In 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015","volume":"1","author":"Nguyen Anh Tuan","year":"2015","unstructured":"Anh Tuan Nguyen and Tien N. Nguyen. 2015. Graph-Based Statistical Language Model for Code. In 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. 858\u2013868."},{"key":"e_1_3_2_1_56_1","volume-title":"Context-Sensitive Source Code Completion. In 34th International Conference on Software Engineering, ICSE 2012","author":"Nguyen Anh Tuan","year":"2012","unstructured":"Anh Tuan Nguyen, Tung Thanh Nguyen, Hoan Anh Nguyen, Ahmed Tamrawi, Hung Viet Nguyen, Jafar M. Al-Kofahi, and Tien N. Nguyen. 2012. Graph-Based Pattern-Oriented, Context-Sensitive Source Code Completion. In 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. 69\u201379."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.07.022"},{"key":"e_1_3_2_1_58_1","volume-title":"Post-literate Programming: Linking Discussion and Code in Software Development Teams. In The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings, UIST 2018","author":"Park Soya","year":"2018","unstructured":"Soya Park, Amy X. Zhang, and David R. Karger. 2018. Post-literate Programming: Linking Discussion and Code in Software Development Teams. In The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings, UIST 2018, Berlin, Germany, October 14-17, 2018. 51\u201353."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.295894"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143152"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884808"},{"key":"e_1_3_2_1_64_1","volume-title":"Rajesh Kumar Bhatia, and Maninder Singh","author":"Rattan Dhavleesh","year":"2013","unstructured":"Dhavleesh Rattan, Rajesh Kumar Bhatia, and Maninder Singh. 2013. Software clone detection: A systematic review. Information & Software Technology 55, 7 (2013), 1165\u20131199."},{"key":"e_1_3_2_1_65_1","volume-title":"Code Completion with Statistical Language Models. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201914","author":"Raychev Veselin","year":"2014","unstructured":"Veselin Raychev, Martin T. Vechev, and Eran Yahav. 2014. Code Completion with Statistical Language Models. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201914, Edinburgh, United Kingdom - June 09 - 11, 2014. 419\u2013428."},{"key":"e_1_3_2_1_66_1","volume-title":"Semantics-Based Code Search. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. 243\u2013253","author":"Reiss Steven P.","year":"2009","unstructured":"Steven P. Reiss. 2009. Semantics-Based Code Search. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. 243\u2013253."},{"key":"e_1_3_2_1_67_1","volume-title":"The Programmer\u2019s Apprentice. Computer 21j, 11","author":"Rich Charles","year":"1988","unstructured":"Charles Rich and Richard C Waters. 1988. The Programmer\u2019s Apprentice. Computer 21j, 11 (1988), 10\u201325."},{"key":"e_1_3_2_1_68_1","volume-title":"Proceedings of the Eigth International Conference","author":"Eugene","year":"1991","unstructured":"Eugene J. Rollins and Jeannette M. Wing. 1991. Specifications as Search Keys for Software Libraries. In Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991. 173\u2013187."},{"key":"e_1_3_2_1_69_1","first-page":"64","article-title":"A Survey on Software Clone Detection Research","volume":"541","author":"Roy Chanchal Kumar","year":"2007","unstructured":"Chanchal Kumar Roy and James R Cordy. 2007. A Survey on Software Clone Detection Research. Queen\u00e2\u0102\u0179s School of Computing TR 541, 115 (2007), 64\u201368. Semantic Code Search via Equational Reasoning PLDI \u201920, June 15\u201320, 2020, London, UK","journal-title":"Queen\u00e2\u0102\u0179s School of Computing TR"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99383"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3211346.3211353"},{"key":"e_1_3_2_1_72_1","unstructured":"31\u201341."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786855"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1138000"},{"key":"e_1_3_2_1_75_1","volume-title":"Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006","author":"Sahavechaphan Naiyana","year":"2006","unstructured":"Naiyana Sahavechaphan and Kajal T. Claypool. 2006. XSnippet: mining For sample code. In Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. 413\u2013430."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236026"},{"key":"e_1_3_2_1_77_1","volume-title":"Proceedings of the 38th International Conference on Software Engineering, ICSE 2016. 1157\u20131168","author":"Sajnani Hitesh","unstructured":"Hitesh Sajnani, Vaibhav Saini, Jeffrey Svajlenko, Chanchal K. Roy, and Cristina V. Lopes. 2016. SourcererCC: Scaling Code Clone Detection to Big-Code. In Proceedings of the 38th International Conference on Software Engineering, ICSE 2016. 1157\u20131168."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985404.1985413"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182513"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00044"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581377"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332459"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706345"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480915"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"e_1_3_2_1_86_1","volume-title":"Latent Co-development Analysis Based Semantic Search for Large Code Repositories. In 2013 IEEE International Conference on Software Maintenance. 372\u2013375","author":"Venkataramani Rahul","year":"2013","unstructured":"Rahul Venkataramani, Allahbaksh M. Asadullah, Vasudev D. Bhat, and Basavaraju Muddu. 2013. Latent Co-development Analysis Based Semantic Search for Large Code Repositories. In 2013 IEEE International Conference on Software Maintenance. 372\u2013375."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297936"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2011.69"},{"key":"e_1_3_2_1_89_1","volume-title":"Matching Dependence-Related Queries in the System Dependence Graph. In ASE 2010, 25th IEEE\/ACM International Conference on Automated Software Engineering","author":"Wang Xiaoyin","year":"2010","unstructured":"Xiaoyin Wang, David Lo, Jiefeng Cheng, Lu Zhang, Hong Mei, and Jeffrey Xu Yu. 2010. Matching Dependence-Related Queries in the System Dependence Graph. In ASE 2010, 25th IEEE\/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. 457\u2013466."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541348.2541355"},{"key":"e_1_3_2_1_91_1","volume-title":"Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004","author":"Whaley John","year":"2004","unstructured":"John Whaley and Monica S. Lam. 2004. Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. 131\u2013144."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970326"},{"key":"e_1_3_2_1_93_1","volume-title":"The Free Encyclopedia","unstructured":"Wikipedia. 2019. Google Code Search \u2014 Wikipedia, The Free Encyclopedia. http:\/\/en.wikipedia.org\/w\/index.php?title=Google%20Code% 20Search&oldid=904263675. [Online; accessed 24-August-2019]."},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1137997"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062386"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048075"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2750682"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386001","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":96,"alternative-id":["10.1145\/3385412.3386001","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386001","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}