{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T22:29:16Z","timestamp":1768256956747,"version":"3.49.0"},"reference-count":74,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2022,10,31]],"date-time":"2022-10-31T00:00:00Z","timestamp":1667174400000},"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":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,10,31]]},"abstract":"<jats:p>\n            Most users of low-code platforms, such as Excel and PowerApps, write programs in domain-specific formula languages to carry out nontrivial tasks. Often users can write most of the program they want, but introduce small mistakes that yield broken formulas. These mistakes, which can be both syntactic and semantic, are hard for low-code users to identify and fix, even though they can be resolved with just a few edits. We formalize the problem of producing such edits as the\n            <jats:italic>last-mile repair<\/jats:italic>\n            problem. To address this problem, we developed LaMirage, a LAst-MIle RepAir-engine GEnerator that combines symbolic and neural techniques to perform last-mile repair in low-code formula languages. LaMirage takes a grammar and a set of domain-specific constraints\/rules, which jointly approximate the target language, and uses these to generate a repair engine that can fix formulas in that language. To tackle the challenges of localizing errors and ranking candidate repairs, LaMirage leverages neural techniques, whereas it relies on symbolic methods to generate candidate edits. This combination allows LaMirage to find repairs that satisfy the provided grammar and constraints, and then pick the most natural repair. We compare LaMirage to state-of-the-art neural and symbolic approaches on 400 real Excel and Power Fx formulas, where LaMirage outperforms all baselines. We release these benchmarks to encourage subsequent work in low-code domains.\n          <\/jats:p>","DOI":"10.1145\/3563327","type":"journal-article","created":{"date-parts":[[2022,10,31]],"date-time":"2022-10-31T20:23:35Z","timestamp":1667247815000},"page":"1093-1122","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Neurosymbolic repair for low-code formula languages"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0307-0384","authenticated-orcid":false,"given":"Rohan","family":"Bavishi","sequence":"first","affiliation":[{"name":"University of California at Berkeley, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3493-9775","authenticated-orcid":false,"given":"Harshit","family":"Joshi","sequence":"additional","affiliation":[{"name":"Microsoft, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0713-6141","authenticated-orcid":false,"given":"Jos\u00e9","family":"Cambronero","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5275-7844","authenticated-orcid":false,"given":"Anna","family":"Fariha","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9226-9634","authenticated-orcid":false,"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3727-3291","authenticated-orcid":false,"given":"Vu","family":"Le","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5106-1837","authenticated-orcid":false,"given":"Ivan","family":"Radi\u010dek","sequence":"additional","affiliation":[{"name":"Microsoft, Croatia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5153-2686","authenticated-orcid":false,"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,10,31]]},"reference":[{"key":"e_1_2_2_1_1","volume-title":"Noah Rose Ledesma, and Premkumar T. Devanbu","author":"Ahmed Toufique","year":"2021","unstructured":"Toufique Ahmed , Noah Rose Ledesma, and Premkumar T. Devanbu . 2021 . SYNFIX : Automatically Fixing Syntax Errors using Compiler Diagnostics. CoRR , abs\/2104.14671 (2021). Toufique Ahmed, Noah Rose Ledesma, and Premkumar T. Devanbu. 2021. SYNFIX: Automatically Fixing Syntax Errors using Compiler Diagnostics. CoRR, abs\/2104.14671 (2021)."},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201022"},{"key":"e_1_2_2_3_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi , and Jeffrey D . Ullman . 1986 . Compilers : Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co. , Inc., USA. isbn:0201100886 Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0201100886"},{"key":"e_1_2_2_4_1","volume-title":"Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa.","author":"Alur Rajeev","year":"2013","unstructured":"Rajeev Alur , Rastislav Bodik , Garvit Juniwal , Milo MK Martin , Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013 . Syntax-guided synthesis. IEEE. Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. IEEE."},{"key":"e_1_2_2_5_1","unstructured":"2022. Appian. https:\/\/appian.com\/ \t\t\t\t  2022. Appian. https:\/\/appian.com\/"},{"key":"e_1_2_2_6_1","unstructured":"Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski David Dohan Ellen Jiang Carrie Cai Michael Terry and Quoc Le. 2021. Program synthesis with large language models. arXiv preprint arXiv:2108.07732. \t\t\t\t  Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski David Dohan Ellen Jiang Carrie Cai Michael Terry and Quoc Le. 2021. Program synthesis with large language models. arXiv preprint arXiv:2108.07732."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360585"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360594"},{"key":"e_1_2_2_9_1","volume-title":"Proceedings of the 38th International Conference on Machine Learning, Marina Meila and Tong Zhang (Eds.) (Proceedings of Machine Learning Research","volume":"791","author":"Berabi Berkay","year":"2021","unstructured":"Berkay Berabi , Jingxuan He , Veselin Raychev , and Martin Vechev . 2021 . TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer . In Proceedings of the 38th International Conference on Machine Learning, Marina Meila and Tong Zhang (Eds.) (Proceedings of Machine Learning Research , Vol. 139). PMLR, 780\u2013 791 . https:\/\/proceedings.mlr.press\/v139\/berabi21a.html Berkay Berabi, Jingxuan He, Veselin Raychev, and Martin Vechev. 2021. TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. In Proceedings of the 38th International Conference on Machine Learning, Marina Meila and Tong Zhang (Eds.) (Proceedings of Machine Learning Research, Vol. 139). PMLR, 780\u2013791. https:\/\/proceedings.mlr.press\/v139\/berabi21a.html"},{"key":"e_1_2_2_10_1","unstructured":"Carl Cerecke. 2003. Locally least-cost error repair in LR parsers. \t\t\t\t  Carl Cerecke. 2003. Locally least-cost error repair in LR parsers."},{"key":"e_1_2_2_11_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde de Oliveira Pinto Jared Kaplan Harrison Edwards Yuri Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Petroski Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss William Hebgen Guss Alex Nichol Alex Paino Nikolas Tezak Jie Tang Igor Babuschkin Suchir Balaji Shantanu Jain William Saunders Christopher Hesse Andrew N. Carr Jan Leike Joshua Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. CoRR abs\/2107.03374 (2021). \t\t\t\t  Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde de Oliveira Pinto Jared Kaplan Harrison Edwards Yuri Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Petroski Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss William Hebgen Guss Alex Nichol Alex Paino Nikolas Tezak Jie Tang Igor Babuschkin Suchir Balaji Shantanu Jain William Saunders Christopher Hesse Andrew N. Carr Jan Leike Joshua Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. CoRR abs\/2107.03374 (2021)."},{"key":"e_1_2_2_12_1","volume-title":"International Conference on Learning Representations.","author":"Chen Xinyun","year":"2018","unstructured":"Xinyun Chen , Chang Liu , and Dawn Song . 2018 . Execution-guided neural program synthesis . In International Conference on Learning Representations. Xinyun Chen, Chang Liu, and Dawn Song. 2018. Execution-guided neural program synthesis. In International Conference on Learning Representations."},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/586088.586092"},{"key":"e_1_2_2_14_1","volume-title":"Metatheory of storage capacity limits. Behavioral and brain sciences, 24, 1","author":"Cowan Nelson","year":"2001","unstructured":"Nelson Cowan . 2001. Metatheory of storage capacity limits. Behavioral and brain sciences, 24, 1 ( 2001 ), 154\u2013176. Nelson Cowan. 2001. Metatheory of storage capacity limits. Behavioral and brain sciences, 24, 1 (2001), 154\u2013176."},{"key":"e_1_2_2_15_1","volume-title":"Le","author":"Dai Andrew M.","year":"2015","unstructured":"Andrew M. Dai and Quoc V . Le . 2015 . Semi-supervised Sequence Learning. In Advances in Neural Information Processing Systems . 3079\u20133087. Andrew M. Dai and Quoc V. Le. 2015. Semi-supervised Sequence Learning. In Advances in Neural Information Processing Systems. 3079\u20133087."},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250606"},{"key":"e_1_2_2_17_1","volume-title":"International conference on machine learning. 990\u2013998","author":"Devlin Jacob","year":"2017","unstructured":"Jacob Devlin , Jonathan Uesato , Surya Bhupatiraju , Rishabh Singh , Abdel-rahman Mohamed, and Pushmeet Kohli . 2017 . Robustfill: Neural program learning under noisy i\/o . In International conference on machine learning. 990\u2013998 . Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli. 2017. Robustfill: Neural program learning under noisy i\/o. In International conference on machine learning. 990\u2013998."},{"key":"e_1_2_2_18_1","volume-title":"Syntax Errors for LR Parsers. In 34th European Conference on Object-Oriented Programming, ECOOP 2020 (LIPIcs","volume":"32","author":"Diekmann Lukas","year":"2020","unstructured":"Lukas Diekmann and Laurence Tratt . 2020 . Don\u2019t Panic! Better, Fewer , Syntax Errors for LR Parsers. In 34th European Conference on Object-Oriented Programming, ECOOP 2020 (LIPIcs , Vol. 166). 6:1\u20136: 32 . Lukas Diekmann and Laurence Tratt. 2020. Don\u2019t Panic! Better, Fewer, Syntax Errors for LR Parsers. In 34th European Conference on Object-Oriented Programming, ECOOP 2020 (LIPIcs, Vol. 166). 6:1\u20136:32."},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2017.8103465"},{"key":"e_1_2_2_20_1","volume-title":"Learning to infer graphics programs from hand-drawn images. Advances in neural information processing systems, 31","author":"Ellis Kevin","year":"2018","unstructured":"Kevin Ellis , Daniel Ritchie , Armando Solar-Lezama , and Josh Tenenbaum . 2018. Learning to infer graphics programs from hand-drawn images. Advances in neural information processing systems, 31 ( 2018 ). Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, and Josh Tenenbaum. 2018. Learning to infer graphics programs from hand-drawn images. Advances in neural information processing systems, 31 (2018)."},{"key":"e_1_2_2_21_1","volume-title":"Findings of the Association for Computational Linguistics: EMNLP (Findings of ACL","author":"Feng Zhangyin","unstructured":"Zhangyin Feng , Daya Guo , Duyu Tang , Nan Duan , Xiaocheng Feng , Ming Gong , Linjun Shou , Bing Qin , Ting Liu , Daxin Jiang , and Ming Zhou . 2020. CodeBERT: A Pre-Trained Model for Programming and Natural Languages . In Findings of the Association for Computational Linguistics: EMNLP (Findings of ACL , Vol. EMNLP 2020). 1536\u2013 1547 . Zhangyin Feng, Daya Guo, Duyu Tang, Nan Duan, Xiaocheng Feng, Ming Gong, Linjun Shou, Bing Qin, Ting Liu, Daxin Jiang, and Ming Zhou. 2020. CodeBERT: A Pre-Trained Model for Programming and Natural Languages. In Findings of the Association for Computational Linguistics: EMNLP (Findings of ACL, Vol. EMNLP 2020). 1536\u20131547."},{"key":"e_1_2_2_22_1","volume-title":"A locally least-cost LR-error corrector","author":"Fischer Charles","unstructured":"Charles Fischer , Bernard Dion , and Jon Mauney . 1979. A locally least-cost LR-error corrector . University of Wisconsin-Madison , Department of Computer Sciences. Charles Fischer, Bernard Dion, and Jon Mauney. 1979. A locally least-cost LR-error corrector. University of Wisconsin-Madison, Department of Computer Sciences."},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485538"},{"key":"e_1_2_2_24_1","unstructured":"2019. Google Sheets. https:\/\/www.google.com\/sheets\/about\/ \t\t\t\t  2019. Google Sheets. https:\/\/www.google.com\/sheets\/about\/"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926423"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"e_1_2_2_29_1","volume-title":"International Conference on Learning Representations.","author":"Guo Daya","year":"2021","unstructured":"Daya Guo , Alexey Svyatkovskiy , Jian Yin , Nan Duan , Marc Brockschmidt , and Miltiadis Allamanis . 2021 . Learning to Complete Code with Sketches . In International Conference on Learning Representations. Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, and Miltiadis Allamanis. 2021. Learning to Complete Code with Sketches. In International Conference on Learning Representations."},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10742"},{"key":"e_1_2_2_31_1","doi-asserted-by":"crossref","unstructured":"William T Hallahan Ennan Zhai and Ruzica Piskac. 2017. Automated repair by example for firewalls. In 2017 Formal Methods in Computer Aided Design (FMCAD). 220\u2013229. \t\t\t\t  William T Hallahan Ennan Zhai and Ruzica Piskac. 2017. Automated repair by example for firewalls. In 2017 Formal Methods in Computer Aided Design (FMCAD). 220\u2013229.","DOI":"10.23919\/FMCAD.2017.8102263"},{"key":"e_1_2_2_32_1","volume-title":"Human-centric Tools for Navigating Code","author":"Henley Austin Zachary","unstructured":"Austin Zachary Henley . 2018. Human-centric Tools for Navigating Code . The University of Memphis . Austin Zachary Henley. 2018. Human-centric Tools for Navigating Code. The University of Memphis."},{"key":"e_1_2_2_33_1","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 preprint arXiv:1804.01186. \t\t\t\t  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 preprint arXiv:1804.01186."},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-010-0115-6"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106253"},{"key":"e_1_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Fan Long and Martin Rinard. 2016. Automatic patch generation by learning correct code. In POPL. 298\u2013312. \t\t\t\t  Fan Long and Martin Rinard. 2016. Automatic patch generation by learning correct code. In POPL. 298\u2013312.","DOI":"10.1145\/2914770.2837617"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_2_2_39_1","unstructured":"2021. Microsoft Excel. https:\/\/www.microsoft.com\/en-us\/microsoft-365\/excel \t\t\t\t  2021. Microsoft Excel. https:\/\/www.microsoft.com\/en-us\/microsoft-365\/excel"},{"key":"e_1_2_2_40_1","unstructured":"2019. Microsoft Power Apps. https:\/\/powerapps.microsoft.com\/en-us\/ \t\t\t\t  2019. Microsoft Power Apps. https:\/\/powerapps.microsoft.com\/en-us\/"},{"key":"e_1_2_2_41_1","unstructured":"2019. Microsoft Power Automate. https:\/\/flow.microsoft.com\/en-us\/ \t\t\t\t  2019. Microsoft Power Automate. https:\/\/flow.microsoft.com\/en-us\/"},{"key":"e_1_2_2_42_1","unstructured":"2022. Microsoft Power Fx overview. https:\/\/docs.microsoft.com\/en-us\/power-platform\/power-fx\/overview \t\t\t\t  2022. Microsoft Power Fx overview. https:\/\/docs.microsoft.com\/en-us\/power-platform\/power-fx\/overview"},{"key":"e_1_2_2_43_1","unstructured":"2022. Microsoft PROSE Github. https:\/\/github.com\/microsoft\/prose \t\t\t\t  2022. Microsoft PROSE Github. https:\/\/github.com\/microsoft\/prose"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360569"},{"key":"e_1_2_2_45_1","unstructured":"Martin Monperrus. 2020. The Living Review on Automated Program Repair. HAL. \t\t\t\t  Martin Monperrus. 2020. The Living Review on Automated Program Repair. HAL."},{"key":"e_1_2_2_46_1","volume-title":"Media & Telecom Conference. https:\/\/www.microsoft.com\/en-us\/investor\/events\/FY-2015\/morgan-stanley-qi-lu.aspx?EventID=156417","unstructured":"2015. Morgan Stanley Technology , Media & Telecom Conference. https:\/\/www.microsoft.com\/en-us\/investor\/events\/FY-2015\/morgan-stanley-qi-lu.aspx?EventID=156417 2015. Morgan Stanley Technology, Media & Telecom Conference. https:\/\/www.microsoft.com\/en-us\/investor\/events\/FY-2015\/morgan-stanley-qi-lu.aspx?EventID=156417"},{"key":"e_1_2_2_47_1","unstructured":"2021. MrExcel Message Board. https:\/\/www.mrexcel.com\/board\/ \t\t\t\t  2021. MrExcel Message Board. https:\/\/www.mrexcel.com\/board\/"},{"key":"e_1_2_2_48_1","volume-title":"International Conference on Software Engineering (ICSE). 772\u2013781","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , and Satish Chandra . 2013 . SemFix: Program repair via semantic analysis . In International Conference on Software Engineering (ICSE). 772\u2013781 . Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. SemFix: Program repair via semantic analysis. In International Conference on Software Engineering (ICSE). 772\u2013781."},{"key":"e_1_2_2_49_1","unstructured":"2022. New GPT-3 Capabilities: Edit & Insert. https:\/\/openai.com\/blog\/gpt-3-edit-insert\/ \t\t\t\t  2022. New GPT-3 Capabilities: Edit & Insert. https:\/\/openai.com\/blog\/gpt-3-edit-insert\/"},{"key":"e_1_2_2_50_1","volume-title":"International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=KmtVD97J43e","author":"Poesia Gabriel","year":"2022","unstructured":"Gabriel Poesia , Alex Polozov , Vu Le , Ashish Tiwari , Gustavo Soares , Christopher Meek , and Sumit Gulwani . 2022 . Synchromesh: Reliable Code Generation from Pre-trained Language Models . In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=KmtVD97J43e Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, and Sumit Gulwani. 2022. Synchromesh: Reliable Code Generation from Pre-trained Language Models. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=KmtVD97J43e"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814310"},{"key":"e_1_2_2_52_1","unstructured":"2021. Power Apps Community. https:\/\/powerusers.microsoft.com\/t5\/Power-Apps-Community\/ct-p\/PowerApps1 \t\t\t\t  2021. Power Apps Community. https:\/\/powerusers.microsoft.com\/t5\/Power-Apps-Community\/ct-p\/PowerApps1"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386001"},{"key":"e_1_2_2_54_1","unstructured":"Colin Raffel Noam Shazeer Adam Roberts Katherine Lee Sharan Narang Michael Matena Yanqi Zhou Wei Li and Peter J Liu. 2019. Exploring the limits of transfer learning with a unified text-to-text transformer. arXiv preprint arXiv:1910.10683. \t\t\t\t  Colin Raffel Noam Shazeer Adam Roberts Katherine Lee Sharan Narang Michael Matena Yanqi Zhou Wei Li and Peter J Liu. 2019. Exploring the limits of transfer learning with a unified text-to-text transformer. arXiv preprint arXiv:1910.10683."},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485535"},{"key":"e_1_2_2_56_1","volume-title":"An error correcting parser for context free grammars that takes less than cubic time. CoRR, abs\/1406.3405","author":"Rajasekaran Sanguthevar","year":"2014","unstructured":"Sanguthevar Rajasekaran and Marius Nicolae . 2014. An error correcting parser for context free grammars that takes less than cubic time. CoRR, abs\/1406.3405 ( 2014 ). Sanguthevar Rajasekaran and Marius Nicolae. 2014. An error correcting parser for context free grammars that takes less than cubic time. CoRR, abs\/1406.3405 (2014)."},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10668"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.44"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330219"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380141107"},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.findings-acl.111"},{"key":"e_1_2_2_62_1","first-page":"2010","volume-title":"Advances in Human-Computer Interaction","author":"Traver V Javier","year":"2010","unstructured":"V Javier Traver . 2010 . On compiler error messages: what they say and what they mean . Advances in Human-Computer Interaction , 2010 (2010). V Javier Traver. 2010. On compiler error messages: what they say and what they mean. Advances in Human-Computer Interaction, 2010 (2010)."},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240732"},{"key":"e_1_2_2_64_1","unstructured":"2019. UiPath. https:\/\/www.uipath.com\/ \t\t\t\t  2019. UiPath. https:\/\/www.uipath.com\/"},{"key":"e_1_2_2_65_1","volume-title":"International Conference on Learning Representations.","author":"Vasic Marko","year":"2018","unstructured":"Marko Vasic , Aditya Kanade , Petros Maniatis , David Bieber , and Rishabh Singh . 2018 . Neural Program Repair by Jointly Learning to Localize and Repair . In International Conference on Learning Representations. Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, and Rishabh Singh. 2018. Neural Program Repair by Jointly Learning to Localize and Repair. In International Conference on Learning Representations."},{"key":"e_1_2_2_66_1","volume-title":"\u0141 ukasz Kaiser, and Illia Polosukhin","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani , Noam Shazeer , Niki Parmar , Jakob Uszkoreit , Llion Jones , Aidan N Gomez , \u0141 ukasz Kaiser, and Illia Polosukhin . 2017 . Attention is all you need. Advances in neural information processing systems, 30 (2017). Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141 ukasz Kaiser, and Illia Polosukhin. 2017. Attention is all you need. Advances in neural information processing systems, 30 (2017)."},{"key":"e_1_2_2_67_1","unstructured":"2022. Low-code app development platform Crowdbotics raises $22M. https:\/\/venturebeat.com\/2022\/01\/20\/low-code-app-development-platform-crowdbotics-raises-22m\/ \t\t\t\t  2022. Low-code app development platform Crowdbotics raises $22M. https:\/\/venturebeat.com\/2022\/01\/20\/low-code-app-development-platform-crowdbotics-raises-22m\/"},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485477"},{"key":"e_1_2_2_69_1","volume-title":"Pointer networks. Advances in neural information processing systems, 28","author":"Vinyals Oriol","year":"2015","unstructured":"Oriol Vinyals , Meire Fortunato , and Navdeep Jaitly . 2015. Pointer networks. Advances in neural information processing systems, 28 ( 2015 ). Oriol Vinyals, Meire Fortunato, and Navdeep Jaitly. 2015. Pointer networks. Advances in neural information processing systems, 28 (2015)."},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_2_2_71_1","volume-title":"International Conference on Machine Learning. 119","author":"Yasunaga Michihiro","year":"2020","unstructured":"Michihiro Yasunaga and Percy Liang . 2020 . Graph-based, Self-Supervised Program Repair from Diagnostic Feedback . In International Conference on Machine Learning. 119 , 10799\u201310808. Michihiro Yasunaga and Percy Liang. 2020. Graph-based, Self-Supervised Program Repair from Diagnostic Feedback. In International Conference on Machine Learning. 119, 10799\u201310808."},{"key":"e_1_2_2_72_1","first-page":"11941","article-title":"Break-It-Fix-It: Unsupervised Learning for Program Repair. In International Conference on Machine Learning","volume":"139","author":"Yasunaga Michihiro","year":"2021","unstructured":"Michihiro Yasunaga and Percy Liang . 2021 . Break-It-Fix-It: Unsupervised Learning for Program Repair. In International Conference on Machine Learning , ICML. 139 , 11941 \u2013 11952 . Michihiro Yasunaga and Percy Liang. 2021. Break-It-Fix-It: Unsupervised Learning for Program Repair. In International Conference on Machine Learning, ICML. 139, 11941\u201311952.","journal-title":"ICML."},{"key":"e_1_2_2_73_1","unstructured":"Zhongxing Yu Matias Martinez Tegawend\u00e9 F Bissyand\u00e9 and Martin Monperrus. 2019. Learning the relation between code features and code transforms with structured prediction. arXiv preprint arXiv:1907.09282. \t\t\t\t  Zhongxing Yu Matias Martinez Tegawend\u00e9 F Bissyand\u00e9 and Martin Monperrus. 2019. Learning the relation between code features and code transforms with structured prediction. arXiv preprint arXiv:1907.09282."},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468544"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563327","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:10Z","timestamp":1750178290000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563327"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,31]]},"references-count":74,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2022,10,31]]}},"alternative-id":["10.1145\/3563327"],"URL":"https:\/\/doi.org\/10.1145\/3563327","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,31]]},"assertion":[{"value":"2022-10-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}