{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T19:38:12Z","timestamp":1773517092158,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\/L01503X\/1"],"award-info":[{"award-number":["EP\/L01503X\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416618","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:38:56Z","timestamp":1611790736000},"page":"90-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["M\n            <sup>3<\/sup>"],"prefix":"10.1145","author":[{"given":"Bruce","family":"Collie","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Philip","family":"Ginsbach","sequence":"additional","affiliation":[{"name":"GitHub Software UK, Oxford, United Kingdom"}]},{"given":"Jackson","family":"Woodruff","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Ajitha","family":"Rajan","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Michael F. P.","family":"O'Boyle","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. CWE-126: Buffer Over-read. https:\/\/cwe.mitre.org\/data\/definitions\/126.html"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/3291291.3291299"},{"key":"e_1_3_2_1_3_1","volume-title":"DeepCoder: Learning to Write Programs. (Nov","author":"Balog Matej","year":"2016","unstructured":"Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2016. DeepCoder: Learning to Write Programs. (Nov. 2016). https:\/\/arxiv.org\/abs\/1611.01989v2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338924"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00054"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2896123"},{"key":"e_1_3_2_1_8_1","volume-title":"Multi-Modal Synthesis of Regular Expressions. (Aug","author":"Chen Qiaochu","year":"2019","unstructured":"Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig. 2019. Multi-Modal Synthesis of Regular Expressions. (Aug. 2019)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338951"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2400682.2400708"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2019.00013"},{"key":"e_1_3_2_1_12_1","unstructured":"Bruce Collie and Michael O'Boyle. [n.d.]. Retrofitting Symbolic Holes to LLVM IR. ([n. d.]). arXiv:2006.05875 [cs] http:\/\/arxiv.org\/abs\/2006.05875"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368154"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2015.0403"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90029-9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_24"},{"key":"e_1_3_2_1_17_1","volume-title":"Advances in Neural Information Processing Systems 31","author":"Ellis Kevin","unstructured":"Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, and Josh Tenenbaum. 2018. Learning to Infer Graphics Programs from Hand-Drawn Images. In Advances in Neural Information Processing Systems 31, S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, and R. Garnett (Eds.). Curran Associates, Inc., 6059--6068."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062382"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179515"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173182"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_25_1","volume-title":"Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. arXiv:1804.01186 [cs] (Sept","author":"Kalyan Ashwin","year":"2018","unstructured":"Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani. 2018. Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. arXiv:1804.01186 [cs] (Sept. 2018). arXiv:1804.01186 [cs]"},{"key":"e_1_3_2_1_26_1","volume-title":"USENIX Annual Technical Conference.","author":"Kuznetsov Volodymyr","year":"2010","unstructured":"Volodymyr Kuznetsov, Vitaly Chipounov, and George Candea. 2010. Testing closed-source binary device drivers with DDT. In USENIX Annual Technical Conference."},{"key":"e_1_3_2_1_27_1","unstructured":"Chris Lattner. 2002. LLVM: An Infrastructure for Multi-Stage Optimization. Ph.D. Dissertation. Computer Science Dept. University of Illinois at Urbana-Champaign."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 26th International Conference on Neural Information Processing Systems -","volume":"2","author":"Mikolov Tomas","year":"2013","unstructured":"Tomas Mikolov, Ilya Sutskever, Kai Chen, Greg Corrado, and Jeffrey Dean. 2013. Distributed Representations of Words and Phrases and Their Compositionality. In Proceedings of the 26th International Conference on Neural Information Processing Systems - Volume 2 (NIPS'13). Curran Associates Inc., USA, 3111--3119. http:\/\/dl.acm.org\/citation.cfm?id=2999792.2999959"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167290"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950333"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869486"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.47"},{"key":"e_1_3_2_1_33_1","volume-title":"International Conference on Machine Learning","author":"Nye Maxwell","year":"2019","unstructured":"Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, and Armando Solar-Lezama. 2019. Learning to Infer Program Sketches. In International Conference on Machine Learning. Long Beach, CA, USA, 4861--4870."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331554.3342608"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2015.7335419"},{"key":"e_1_3_2_1_37_1","volume-title":"Neuro-Symbolic Program Synthesis. arXiv:1611.01855 [cs] (Nov","author":"Parisotto Emilio","year":"2016","unstructured":"Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, and Pushmeet Kohli. 2016. Neuro-Symbolic Program Synthesis. arXiv:1611.01855 [cs] (Nov. 2016). arXiv:1611.01855 [cs]"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.17"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290385"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.63"},{"key":"e_1_3_2_1_41_1","volume-title":"Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. arXiv:1811.10665 [cs] (Nov","author":"Rosin Christopher D.","year":"2018","unstructured":"Christopher D. Rosin. 2018. Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. arXiv:1811.10665 [cs] (Nov. 2018). arXiv:1811.10665 [cs]"},{"key":"e_1_3_2_1_42_1","volume-title":"Souper: A Synthesizing Superoptimizer. arXiv:1711.04422 [cs] (Nov.","author":"Sasnauskas Raimondas","year":"2017","unstructured":"Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Gratian Lup, Jubi Taneja, and John Regehr. 2017. Souper: A Synthesizing Superoptimizer. arXiv:1711.04422 [cs] (Nov. 2017). arXiv:1711.04422 [cs] http:\/\/arxiv.org\/abs\/1711.04422"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-37487-7_12"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368153"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.25"},{"key":"e_1_3_2_1_46_1","volume-title":"Synthetic Datasets for Neural Program Synthesis. arXiv:1912.12345 [cs, stat] (Dec","author":"Shin Richard","year":"2019","unstructured":"Richard Shin, Neel Kant, Kavi Gupta, Christopher Bender, Brandon Trabucco, Rishabh Singh, and Dawn Song. 2019. Synthetic Datasets for Neural Program Synthesis. arXiv:1912.12345 [cs, stat] (Dec. 2019). arXiv:1912.12345 [cs, stat]"},{"key":"e_1_3_2_1_47_1","volume-title":"Static Analysis (Lecture Notes in Computer Science)","author":"So Sunbeom","unstructured":"Sunbeom So and Hakjoo Oh. 2017. Synthesizing Imperative Programs from Examples Guided by Static Analysis. In Static Analysis (Lecture Notes in Computer Science), Francesco Ranzato (Ed.). Springer International Publishing, Freiburg, Germany, 364--381."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_3"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054845"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2013.6671294"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_1_53_1","volume-title":"Example-Based Refactorings with Refaster. In Workshop on Refactoring Tools.","author":"Wasserman Louis","year":"2013","unstructured":"Louis Wasserman. 2013. Scalable, Example-Based Refactorings with Refaster. In Workshop on Refactoring Tools."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806848"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884616"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70747"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2019.00052"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00025"},{"key":"e_1_3_2_1_59_1","volume-title":"Library Migration: A Retrospective Analysis and Tool. Master's thesis. Science.","author":"Hussain Zaidi Syed Sajjad","year":"2019","unstructured":"Syed Sajjad Hussain Zaidi. 2019. Library Migration: A Retrospective Analysis and Tool. Master's thesis. Science."},{"key":"e_1_3_2_1_60_1","unstructured":"Micha\u0142 Zalewski. 2020. American Fuzzy Lop. https:\/\/lcamtuf.coredump.cx\/afl\/."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806831"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/3326943.3327137"}],"event":{"name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","location":"Virtual Event Australia","acronym":"ASE '20","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416618","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:38Z","timestamp":1750197698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416618"}},"subtitle":["semantic API migrations"],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":62,"alternative-id":["10.1145\/3324884.3416618","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416618","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}