{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T14:51:48Z","timestamp":1772549508554,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"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":[[2021,6,21]]},"DOI":"10.1145\/3460945.3464954","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T16:37:46Z","timestamp":1624034266000},"page":"32-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["ControlFlag: a self-supervised idiosyncratic pattern detection system for software control structures"],"prefix":"10.1145","author":[{"given":"Niranjan","family":"Hasabnis","sequence":"first","affiliation":[{"name":"Intel Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2742-9205","authenticated-orcid":false,"given":"Justin","family":"Gottschlich","sequence":"additional","affiliation":[{"name":"Intel Labs, USA \/ University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_25"},{"key":"e_1_3_2_1_2_1","volume-title":"Advances in Neural Information Processing Systems","author":"Alam Mejbah","year":"2019","unstructured":"Mejbah Alam , Justin Gottschlich , Nesime Tatbul , Javier S Turek , Tim Mattson , and Abdullah Muzahid . A zero-positive learning approach for diagnosing software performance regressions . Advances in Neural Information Processing Systems , 2019 . Mejbah Alam, Justin Gottschlich, Nesime Tatbul, Javier S Turek, Tim Mattson, and Abdullah Muzahid. A zero-positive learning approach for diagnosing software performance regressions. Advances in Neural Information Processing Systems, 2019."},{"key":"e_1_3_2_1_3_1","author":"Allamanis M.","year":"2018","unstructured":"M. Allamanis , E. T. Barr , C. Bird , P. Devanbu , M. Marron , and C. Sutton . Mining Semantic Loop Idioms. IEEE Transactions on Software Engineering , 2018 . M. Allamanis, E. T. Barr, C. Bird, P. Devanbu, M. Marron, and C. Sutton. Mining Semantic Loop Idioms. IEEE Transactions on Software Engineering, 2018.","journal-title":"Mining Semantic Loop Idioms. IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_4_1","volume-title":"International Conference on Learning Representations, ICLR","author":"Allamanis Miltiadis","year":"2018","unstructured":"Miltiadis Allamanis , Marc Brockschmidt , and Mahmoud Khademi . Learning to Represent Programs with Graphs . In International Conference on Learning Representations, ICLR , 2018 . Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. Learning to Represent Programs with Graphs. In International Conference on Learning Representations, ICLR, 2018."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635901"},{"key":"e_1_3_2_1_6_1","volume-title":"Workshop on Evolutionary Computation Software Systems","author":"Becker Kory","year":"2021","unstructured":"Kory Becker and Justin Gottschlich . AI Programmer : Autonomously Creating Software Programs Using Genetic Algorithms. In GECCO \u201921 Workshop on Evolutionary Computation Software Systems , 2021 . Kory Becker and Justin Gottschlich. AI Programmer: Autonomously Creating Software Programs Using Genetic Algorithms. In GECCO \u201921 Workshop on Evolutionary Computation Software Systems, 2021."},{"key":"e_1_3_2_1_7_1","volume-title":"Bhatia and Rishabh Singh. Automated Correction for Syntax Errors in Programming Assignments Using Recurrent Neural Networks. In Proceedings of 2nd Indian Workshop on Machine Learning","author":"Sahil","year":"2016","unstructured":"Sahil Bhatia and Rishabh Singh. Automated Correction for Syntax Errors in Programming Assignments Using Recurrent Neural Networks. In Proceedings of 2nd Indian Workshop on Machine Learning , 2016 . Sahil Bhatia and Rishabh Singh. Automated Correction for Syntax Errors in Programming Assignments Using Recurrent Neural Networks. In Proceedings of 2nd Indian Workshop on Machine Learning, 2016."},{"key":"e_1_3_2_1_8_1","volume-title":"Reversible Debugging Software \u2014 Quantify the Time and Cost Saved Using Reversible Debuggers","author":"Britton Tom","year":"2012","unstructured":"Tom Britton , Lisa Jeng , Graham Carver , and Paul Cheak . Reversible Debugging Software \u2014 Quantify the Time and Cost Saved Using Reversible Debuggers , 2012 . Tom Britton, Lisa Jeng, Graham Carver, and Paul Cheak. Reversible Debugging Software \u2014 Quantify the Time and Cost Saved Using Reversible Debuggers, 2012."},{"key":"e_1_3_2_1_9_1","volume-title":"Tim Kraska. Learned Garbage Collection. In Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL","author":"Cen Lujing","year":"2020","unstructured":"Lujing Cen , Ryan Marcus , Hongzi Mao , Justin Gottschlich , Mohammad Alizadeh , and Tim Kraska. Learned Garbage Collection. In Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL , 2020 . Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska. Learned Garbage Collection. In Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL, 2020."},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","year":"2009","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . Introduction to Algorithms , Third Edition. The MIT Press , 3 rd edition, 2009 . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Third Edition. The MIT Press, 3rd edition, 2009."},{"key":"e_1_3_2_1_11_1","volume-title":"http_proxy: Use Enum with State Names for \u2018keepon\u2019. https:\/\/github.com\/curl\/curl\/pull\/6193","author":"CURL.","year":"2020","unstructured":"CURL. http_proxy: Use Enum with State Names for \u2018keepon\u2019. https:\/\/github.com\/curl\/curl\/pull\/6193 , 2020 . CURL. http_proxy: Use Enum with State Names for \u2018keepon\u2019. https:\/\/github.com\/curl\/curl\/pull\/6193, 2020."},{"key":"e_1_3_2_1_12_1","volume-title":"Potential Confusion in http_proxy.c and a Recommendation. https:\/\/curl.se\/mail\/lib-2020-11\/0028.html","author":"Re CURL.","year":"2020","unstructured":"CURL. Re : Potential Confusion in http_proxy.c and a Recommendation. https:\/\/curl.se\/mail\/lib-2020-11\/0028.html , 2020 . CURL. Re: Potential Confusion in http_proxy.c and a Recommendation. https:\/\/curl.se\/mail\/lib-2020-11\/0028.html, 2020."},{"key":"e_1_3_2_1_13_1","volume-title":"Vadim Zaytsev. A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns. In Proceedings of the 12th Seminar on Advanced Techniques Tools for Software Evolution, SATToSE","author":"Nucci Dario Di","year":"2019","unstructured":"Dario Di Nucci , Hoang-Son Pham , Johan Fabry , Coen De Roover , Kim Mens , Tim Molderez , Siegfried Nijssen , and Vadim Zaytsev. A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns. In Proceedings of the 12th Seminar on Advanced Techniques Tools for Software Evolution, SATToSE , 2019 . Dario Di Nucci, Hoang-Son Pham, Johan Fabry, Coen De Roover, Kim Mens, Tim Molderez, Siegfried Nijssen, and Vadim Zaytsev. A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns. In Proceedings of the 12th Seminar on Advanced Techniques Tools for Software Evolution, SATToSE, 2019."},{"key":"e_1_3_2_1_14_1","volume-title":"International Conference on Learning Representations, ICLR","author":"Dinella Elizabeth","year":"2020","unstructured":"Elizabeth Dinella , Hanjun Dai , Ziyang Li , Mayur Naik , Le Song , and Ke Wang . Hoppity : Learning Graph Transformations to Detect and Fix Bugs in Programs . In International Conference on Learning Representations, ICLR , 2020 . Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, and Ke Wang. Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. In International Conference on Learning Representations, ICLR, 2020."},{"key":"e_1_3_2_1_15_1","volume-title":"CAV","author":"Elboher Yizhak Yisrael","year":"2020","unstructured":"Yizhak Yisrael Elboher , Justin Gottschlich , and Guy Katz . An Abstraction-Based Framework for Neural Network Verification. In Computer Aided Verification , CAV , 2020 . Yizhak Yisrael Elboher, Justin Gottschlich, and Guy Katz. An Abstraction-Based Framework for Neural Network Verification. In Computer Aided Verification, CAV, 2020."},{"key":"e_1_3_2_1_16_1","author":"Fenton N. E.","year":"1999","unstructured":"N. E. Fenton and M. Neil . A Critique of Software Defect Prediction Models. IEEE Transactions on Software Engineering , 1999 . N. E. Fenton and M. Neil. A Critique of Software Defect Prediction Models. IEEE Transactions on Software Engineering, 1999.","journal-title":"A Critique of Software Defect Prediction Models. IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950319"},{"key":"e_1_3_2_1_18_1","volume-title":"Ashish Tiwari. Feedback-Driven Semi-Supervised Synthesis of Program Transformations. In Proceedings of the ACM on Programming Languages, OOPSLA","author":"Gao Xiang","year":"2020","unstructured":"Xiang Gao , Shraddha Barke , Arjun Radhakrishna , Gustavo Soares , Sumit Gulwani , Alan Leung , Nachi Nagappan , and Ashish Tiwari. Feedback-Driven Semi-Supervised Synthesis of Program Transformations. In Proceedings of the ACM on Programming Languages, OOPSLA , 2020 . Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, and Ashish Tiwari. Feedback-Driven Semi-Supervised Synthesis of Program Transformations. In Proceedings of the ACM on Programming Languages, OOPSLA, 2020."},{"key":"e_1_3_2_1_19_1","volume-title":"https:\/\/github.com\/wolfgarbe\/SymSpell","author":"Garbe Wolf","year":"2020","unstructured":"Wolf Garbe . SymSpell. https:\/\/github.com\/wolfgarbe\/SymSpell , 2020 . Wolf Garbe. SymSpell. https:\/\/github.com\/wolfgarbe\/SymSpell, 2020."},{"key":"e_1_3_2_1_20_1","first-page":"340","volume-title":"Youfeng Wu. Concurrent Predicates: A Debugging Technique for Every Parallel Programmer. In Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques","author":"Gottschlich Justin","year":"2013","unstructured":"Justin Gottschlich , Gilles Pokam , Cristiano Pereira , and Youfeng Wu. Concurrent Predicates: A Debugging Technique for Every Parallel Programmer. In Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques , pages 331\u2013 340 , 2013 . Justin Gottschlich, Gilles Pokam, Cristiano Pereira, and Youfeng Wu. Concurrent Predicates: A Debugging Technique for Every Parallel Programmer. In Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, pages 331\u2013340, 2013."},{"key":"e_1_3_2_1_21_1","volume-title":"Tim Mattson. The Three Pillars of Machine Programming. In Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL","author":"Gottschlich Justin","year":"2018","unstructured":"Justin Gottschlich , Armando Solar-Lezama , Nesime Tatbul , Michael Carbin , Martin Rinard , Regina Barzilay , Saman Amarasinghe , Joshua B. Tenenbaum , and Tim Mattson. The Three Pillars of Machine Programming. In Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL , 2018 . Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson. The Three Pillars of Machine Programming. In Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL, 2018."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370816.2370842"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"e_1_3_2_1_24_1","first-page":"17685","volume":"33","author":"Gupta Kavi","unstructured":"Kavi Gupta , Peter Ebert Christensen , Xinyun Chen , and Dawn Song . Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis . In H. Larochelle , M. Ranzato , R. Hadsell , M. F. Balcan , and H. Lin , editors, Advances in Neural Information Processing Systems , volume 33 , pages 17685 \u2013 17695 . Curran Associates, Inc., 2020. Kavi Gupta, Peter Ebert Christensen, Xinyun Chen, and Dawn Song. Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis. In H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan, and H. Lin, editors, Advances in Neural Information Processing Systems, volume 33, pages 17685\u201317695. Curran Associates, Inc., 2020.","journal-title":"editors, Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950335"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872380"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1545"},{"key":"e_1_3_2_1_28_1","volume-title":"Jacob and Robert Tairas. Code Template Inference Using Language Models. In Proceedings of the 48th Annual Southeast Regional Conference, ACM SE","author":"Ferosh","year":"2010","unstructured":"Ferosh Jacob and Robert Tairas. Code Template Inference Using Language Models. In Proceedings of the 48th Annual Southeast Regional Conference, ACM SE , 2010 . Ferosh Jacob and Robert Tairas. Code Template Inference Using Language Models. In Proceedings of the 48th Annual Southeast Regional Conference, ACM SE, 2010."},{"key":"e_1_3_2_1_29_1","volume-title":"Armando Solar-Lezama. Verified Lifting of Stencil Computations. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI","author":"Kamil Shoaib","year":"2016","unstructured":"Shoaib Kamil , Alvin Cheung , Shachar Itzhaky , and Armando Solar-Lezama. Verified Lifting of Stencil Computations. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI , 2016 . Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, and Armando Solar-Lezama. Verified Lifting of Stencil Computations. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, 2016."},{"key":"e_1_3_2_1_30_1","volume-title":"ACM SIGSOFT Software Engineering Notes","author":"Livshits Benjamin","year":"2005","unstructured":"Benjamin Livshits and Thomas Zimmermann . Dynamine : Finding Common Error Patterns by Mining Software Revision Histories . ACM SIGSOFT Software Engineering Notes , 2005 . Benjamin Livshits and Thomas Zimmermann. Dynamine: Finding Common Error Patterns by Mining Software Revision Histories. ACM SIGSOFT Software Engineering Notes, 2005."},{"key":"e_1_3_2_1_31_1","volume-title":"Gabriela Arevalo. Mining Source Code for Structural Regularities. In 17th Working Conference on Reverse Engineering. IEEE","author":"Lozano Angela","year":"2010","unstructured":"Angela Lozano , Andy Kellens , Kim Mens , and Gabriela Arevalo. Mining Source Code for Structural Regularities. In 17th Working Conference on Reverse Engineering. IEEE , 2010 . Angela Lozano, Andy Kellens, Kim Mens, and Gabriela Arevalo. Mining Source Code for Structural Regularities. In 17th Working Conference on Reverse Engineering. IEEE, 2010."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360578"},{"key":"e_1_3_2_1_33_1","volume-title":"Abdullah Muzahid. Learning Fitness Functions for Machine Programming. In Proceedings of Machine Learning and Systems, MLSys","author":"Mandal Shantanu","year":"2021","unstructured":"Shantanu Mandal , Todd Anderson , Javier Turek , Justin Gottschlich , Shengtian Zhou , and Abdullah Muzahid. Learning Fitness Functions for Machine Programming. In Proceedings of Machine Learning and Systems, MLSys , 2021 . Shantanu Mandal, Todd Anderson, Javier Turek, Justin Gottschlich, Shengtian Zhou, and Abdullah Muzahid. Learning Fitness Functions for Machine Programming. In Proceedings of Machine Learning and Systems, MLSys, 2021."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Tung Thanh Nguyen Hoan Anh Nguyen Nam H Pham Jafar M Al-Kofahi and Tien N Nguyen. Graph-based Mining of Multiple Object Usage Patterns. In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering 2009.  Tung Thanh Nguyen Hoan Anh Nguyen Nam H Pham Jafar M Al-Kofahi and Tien N Nguyen. Graph-based Mining of Multiple Object Usage Patterns. In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering 2009.","DOI":"10.1145\/1595696.1595767"},{"key":"e_1_3_2_1_35_1","volume-title":"Kevin Michael Schott, and Frank Ortmeier. Guided Pattern Mining for API Misuse Detection by Change-Based Code Analysis. arXiv preprint arXiv:2008.00277","author":"Nielebock Sebastian","year":"2020","unstructured":"Sebastian Nielebock , Robert Heum\u00fcller , Kevin Michael Schott, and Frank Ortmeier. Guided Pattern Mining for API Misuse Detection by Change-Based Code Analysis. arXiv preprint arXiv:2008.00277 , 2020 . Sebastian Nielebock, Robert Heum\u00fcller, Kevin Michael Schott, and Frank Ortmeier. Guided Pattern Mining for API Misuse Detection by Change-Based Code Analysis. arXiv preprint arXiv:2008.00277, 2020."},{"key":"e_1_3_2_1_36_1","volume-title":"How to Write a Spelling Corrector. https:\/\/norvig.com\/spell-correct.html","author":"Norvig Peter","year":"2016","unstructured":"Peter Norvig . How to Write a Spelling Corrector. https:\/\/norvig.com\/spell-correct.html , 2016 . Peter Norvig. How to Write a Spelling Corrector. https:\/\/norvig.com\/spell-correct.html, 2016."},{"key":"e_1_3_2_1_37_1","volume-title":"International Conference on Learning Representations, ICLR","author":"Odena Augustus","year":"2020","unstructured":"Augustus Odena and Charles Sutton . Learning to Represent Programs with Property Signatures . In International Conference on Learning Representations, ICLR , 2020 . Augustus Odena and Charles Sutton. Learning to Represent Programs with Property Signatures. In International Conference on Learning Representations, ICLR, 2020."},{"key":"e_1_3_2_1_38_1","volume-title":"Orlov. Finding Idioms in Source Code Using Subtree Counting Techniques. In International Symposium on Leveraging Applications of Formal Methods","author":"Dmitry","year":"2020","unstructured":"Dmitry Orlov. Finding Idioms in Source Code Using Subtree Counting Techniques. In International Symposium on Leveraging Applications of Formal Methods , 2020 . Dmitry Orlov. Finding Idioms in Source Code Using Subtree Counting Techniques. In International Symposium on Leveraging Applications of Formal Methods, 2020."},{"key":"e_1_3_2_1_39_1","volume-title":"Justin Gottschlich. Predictive Locality Optimization for Higher-Order Tensor Computations. In Proceedings of the 5th ACM SIGPLAN International Machine Programming Symposium, MAPS","author":"Patabandi Tharindu","year":"2021","unstructured":"Tharindu Patabandi , Anand Venkat , Abhishek Kulkarni , Pushkar Ratnalikar , Mary Hall , and Justin Gottschlich. Predictive Locality Optimization for Higher-Order Tensor Computations. In Proceedings of the 5th ACM SIGPLAN International Machine Programming Symposium, MAPS , 2021 . Tharindu Patabandi, Anand Venkat, Abhishek Kulkarni, Pushkar Ratnalikar, Mary Hall, and Justin Gottschlich. Predictive Locality Optimization for Higher-Order Tensor Computations. In Proceedings of the 5th ACM SIGPLAN International Machine Programming Symposium, MAPS, 2021."},{"key":"e_1_3_2_1_40_1","volume-title":"Vadim Zaytsev. Mining Patterns in Source Code Using Tree Mining Algorithms. In International Conference on Discovery Science","author":"Pham Hoang Son","year":"2019","unstructured":"Hoang Son Pham , Siegfried Nijssen , Kim Mens , Dario Di Nucci , Tim Molderez , Coen De Roover , Johan Fabry , and Vadim Zaytsev. Mining Patterns in Source Code Using Tree Mining Algorithms. In International Conference on Discovery Science , 2019 . Hoang Son Pham, Siegfried Nijssen, Kim Mens, Dario Di Nucci, Tim Molderez, Coen De Roover, Johan Fabry, and Vadim Zaytsev. Mining Patterns in Source Code Using Tree Mining Algorithms. In International Conference on Discovery Science, 2019."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276517"},{"key":"e_1_3_2_1_42_1","volume-title":"Christopher De Sa","author":"Ratner Alexander","year":"2019","unstructured":"Alexander Ratner , Dan Alistarh , Gustavo Alonso , David G. Andersen , Peter Bailis , Sarah Bird , Nicholas Carlini , Bryan Catanzaro , Jennifer Chayes , Eric Chung , Bill Dally , Jeff Dean , Inderjit S. Dhillon , Alexandros Dimakis , Pradeep Dubey , Charles Elkan , Grigori Fursin , Gregory R. Ganger , Lise Getoor , Phillip B. Gibbons , Garth A. Gibson , Joseph E. Gonzalez , Justin Gottschlich , Song Han , Kim Hazelwood , Furong Huang , Martin Jaggi , Kevin Jamieson , Michael I. Jordan , Gauri Joshi , Rania Khalaf , Jason Knight , Jakub Kone\u010dn\u00fd , Tim Kraska , Arun Kumar , Anastasios Kyrillidis , Aparna Lakshmiratan , Jing Li , Samuel Madden , H. Brendan McMahan , Erik Meijer , Ioannis Mitliagkas , Rajat Monga , Derek Murray , Kunle Olukotun , Dimitris Papailiopoulos , Gennady Pekhimenko , Theodoros Rekatsinas , Afshin Rostamizadeh , Christopher R\u00e9 , Christopher De Sa , Hanie Sedghi, Siddhartha Sen , Virginia Smith, Alex Smola, Dawn Song, Evan Sparks, Ion Stoica, Vivienne Sze, Madeleine Udell, Joaquin Vanschoren, Shivaram Venkataraman, Rashmi Vinayak, Markus Weimer, Andrew Gordon Wilson, Eric Xing, Matei Zaharia, Ce Zhang, and Ameet Talwalkar. MLSys: The New Frontier of Machine Learning Systems. In Machine Learning and Systems, MLSys , 2019 . Alexander Ratner, Dan Alistarh, Gustavo Alonso, David G. Andersen, Peter Bailis, Sarah Bird, Nicholas Carlini, Bryan Catanzaro, Jennifer Chayes, Eric Chung, Bill Dally, Jeff Dean, Inderjit S. Dhillon, Alexandros Dimakis, Pradeep Dubey, Charles Elkan, Grigori Fursin, Gregory R. Ganger, Lise Getoor, Phillip B. Gibbons, Garth A. Gibson, Joseph E. Gonzalez, Justin Gottschlich, Song Han, Kim Hazelwood, Furong Huang, Martin Jaggi, Kevin Jamieson, Michael I. Jordan, Gauri Joshi, Rania Khalaf, Jason Knight, Jakub Kone\u010dn\u00fd, Tim Kraska, Arun Kumar, Anastasios Kyrillidis, Aparna Lakshmiratan, Jing Li, Samuel Madden, H. Brendan McMahan, Erik Meijer, Ioannis Mitliagkas, Rajat Monga, Derek Murray, Kunle Olukotun, Dimitris Papailiopoulos, Gennady Pekhimenko, Theodoros Rekatsinas, Afshin Rostamizadeh, Christopher R\u00e9, Christopher De Sa, Hanie Sedghi, Siddhartha Sen, Virginia Smith, Alex Smola, Dawn Song, Evan Sparks, Ion Stoica, Vivienne Sze, Madeleine Udell, Joaquin Vanschoren, Shivaram Venkataraman, Rashmi Vinayak, Markus Weimer, Andrew Gordon Wilson, Eric Xing, Matei Zaharia, Ce Zhang, and Ameet Talwalkar. MLSys: The New Frontier of Machine Learning Systems. In Machine Learning and Systems, MLSys, 2019."},{"key":"e_1_3_2_1_43_1","volume-title":"Alex Polozov. Program Synthesis and Semantic Parsing with Learned Code Idioms. In Advances in Neural Information Processing Systems: Annual Conference on Neural Information Processing Systems, NeurIPS","author":"Richard Shin Eui Chul","year":"2019","unstructured":"Eui Chul Richard Shin , Miltiadis Allamanis , Marc Brockschmidt , and Alex Polozov. Program Synthesis and Semantic Parsing with Learned Code Idioms. In Advances in Neural Information Processing Systems: Annual Conference on Neural Information Processing Systems, NeurIPS , 2019 . Eui Chul Richard Shin, Miltiadis Allamanis, Marc Brockschmidt, and Alex Polozov. Program Synthesis and Semantic Parsing with Learned Code Idioms. In Advances in Neural Information Processing Systems: Annual Conference on Neural Information Processing Systems, NeurIPS, 2019."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.10.001"},{"key":"e_1_3_2_1_45_1","volume-title":"Standard Gotchas Subtleties in the Verilog and System Verilog Standards that Every Engineer Should Know. https:\/\/lcdm-eng.com\/papers\/snug06_Verilog","author":"Sutherland Stuart","year":"2006","unstructured":"Stuart Sutherland and Don Mills . Standard Gotchas Subtleties in the Verilog and System Verilog Standards that Every Engineer Should Know. https:\/\/lcdm-eng.com\/papers\/snug06_Verilog 2006 . Stuart Sutherland and Don Mills. Standard Gotchas Subtleties in the Verilog and System Verilog Standards that Every Engineer Should Know. https:\/\/lcdm-eng.com\/papers\/snug06_Verilog 2006."},{"key":"e_1_3_2_1_46_1","volume-title":"Neel Sundaresan. Pythia: AI-Assisted Code Completion System. In Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD","author":"Svyatkovskiy Alexey","year":"2019","unstructured":"Alexey Svyatkovskiy , Ying Zhao , Shengyu Fu , and Neel Sundaresan. Pythia: AI-Assisted Code Completion System. In Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD , 2019 . Alexey Svyatkovskiy, Ying Zhao, Shengyu Fu, and Neel Sundaresan. Pythia: AI-Assisted Code Completion System. In Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD, 2019."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"e_1_3_2_1_48_1","volume-title":"An Incremental Parsing System for Programming Tools. https:\/\/tree-sitter.github.io\/tree-sitter\/","year":"2017","unstructured":"TreeSitter. An Incremental Parsing System for Programming Tools. https:\/\/tree-sitter.github.io\/tree-sitter\/ , 2017 . TreeSitter. An Incremental Parsing System for Programming Tools. https:\/\/tree-sitter.github.io\/tree-sitter\/, 2017."},{"key":"e_1_3_2_1_49_1","volume-title":"International Conference on Learning Representations, ICLR","author":"Vasic Marko","year":"2019","unstructured":"Marko Vasic , Aditya Kanade , Petros Maniatis , David Bieber , and Rishabh singh. Neural Program Repair by Jointly Learning to Localize and Repair . In International Conference on Learning Representations, ICLR , 2019 . Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, and Rishabh singh. Neural Program Repair by Jointly Learning to Localize and Repair. In International Conference on Learning Representations, ICLR, 2019."},{"key":"e_1_3_2_1_50_1","volume-title":"Mining Temporal Specifications for Error Detection. In Tools and Algorithms for the Construction and Analysis of Systems","author":"Weimer Westley","year":"2005","unstructured":"Westley Weimer and George C . Necula . Mining Temporal Specifications for Error Detection. In Tools and Algorithms for the Construction and Analysis of Systems , 2005 . Westley Weimer and George C. Necula. Mining Temporal Specifications for Error Detection. In Tools and Algorithms for the Construction and Analysis of Systems, 2005."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1137997"},{"key":"e_1_3_2_1_52_1","volume-title":"Diagnostic Feedback. In International Conference on Machine Learning (ICML)","author":"Yasunaga Michihiro","year":"2020","unstructured":"Michihiro Yasunaga and Percy Liang . Graph-based, Self-supervised Program Repair from Diagnostic Feedback. In International Conference on Machine Learning (ICML) , 2020 . Michihiro Yasunaga and Percy Liang. Graph-based, Self-supervised Program Repair from Diagnostic Feedback. In International Conference on Machine Learning (ICML), 2020."},{"key":"e_1_3_2_1_53_1","volume-title":"Niranjan Hasabnis, Paul Petersen, Timothy Mattson, Tim Kraska, Pradeep Dubey, Vivek Sarkar, and Justin Gottschlich. MISIM: An End-to-End Neural Code Similarity System. arXiv preprint arXiv:2006.05265","author":"Ye Fangke","year":"2020","unstructured":"Fangke Ye , Shengtian Zhou , Anand Venkat , Ryan Marucs , Nesime Tatbul , Jesmin Jahan Tithi , Niranjan Hasabnis, Paul Petersen, Timothy Mattson, Tim Kraska, Pradeep Dubey, Vivek Sarkar, and Justin Gottschlich. MISIM: An End-to-End Neural Code Similarity System. arXiv preprint arXiv:2006.05265 , 2020 . Fangke Ye, Shengtian Zhou, Anand Venkat, Ryan Marucs, Nesime Tatbul, Jesmin Jahan Tithi, Niranjan Hasabnis, Paul Petersen, Timothy Mattson, Tim Kraska, Pradeep Dubey, Vivek Sarkar, and Justin Gottschlich. MISIM: An End-to-End Neural Code Similarity System. arXiv preprint arXiv:2006.05265, 2020."},{"key":"e_1_3_2_1_54_1","volume-title":"Algorithms and Applications","author":"Zaki M. J.","year":"2005","unstructured":"M. J. Zaki . Efficiently Mining Frequent Trees in a Forest : Algorithms and Applications . IEEE Transactions on Knowledge & Data Engineering , 2005 . M. J. Zaki. Efficiently Mining Frequent Trees in a Forest: Algorithms and Applications. IEEE Transactions on Knowledge & Data Engineering, 2005."}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460945.3464954","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460945.3464954","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:22Z","timestamp":1750193302000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460945.3464954"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,20]]},"references-count":54,"alternative-id":["10.1145\/3460945.3464954","10.1145\/3460945"],"URL":"https:\/\/doi.org\/10.1145\/3460945.3464954","relation":{},"subject":[],"published":{"date-parts":[[2021,6,20]]},"assertion":[{"value":"2021-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}