{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T06:28:08Z","timestamp":1772692088490,"version":"3.50.1"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA","license":[{"start":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T00:00:00Z","timestamp":1634256000000},"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":[[2021,10,20]]},"abstract":"<jats:p>Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and examples. Examples provide a precise but incomplete specification, and natural language provides an ambiguous but more \"complete\" task description. Machine-learned pre-trained models (PTMs) are adept at handling ambiguous natural language, but struggle with generating syntactically and semantically precise code. Program synthesis techniques can generate correct code, often even from incomplete but precise specifications, such as examples, but they are unable to work with the ambiguity of natural languages. We present an approach that combines PTMs with component-based synthesis (CBS): PTMs are used to generate candidates programs from the natural language description of the task, which are then used to guide the CBS procedure to find the program that matches the precise examples-based specification. We use our combination approach to instantiate multi-modal synthesis systems for two programming domains: the domain of regular expressions and the domain of CSS selectors. Our evaluation demonstrates the effectiveness of our domain-agnostic approach in comparison to a state-of-the-art specialized system, and the generality of our approach in providing multi-modal program synthesis from natural language and examples in different programming domains.<\/jats:p>","DOI":"10.1145\/3485535","type":"journal-article","created":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T19:18:28Z","timestamp":1634325508000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis"],"prefix":"10.1145","volume":"5","author":[{"given":"Kia","family":"Rahmani","sequence":"first","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Raza","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vu","family":"Le","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Morris","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjun","family":"Radhakrishna","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Soares","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,15]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/170036.170072"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_2_2_3_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Pavol Cerny and Arjun Radhakrishna. 2015. Synthesis Through Unification. In Computer Aided Verification (CAV). https:\/\/www.microsoft.com\/en-us\/research\/publication\/synthesis-through-unification\/  Rajeev Alur Pavol Cerny and Arjun Radhakrishna. 2015. Synthesis Through Unification. In Computer Aided Verification (CAV). https:\/\/www.microsoft.com\/en-us\/research\/publication\/synthesis-through-unification\/","DOI":"10.1007\/978-3-319-21668-3_10"},{"key":"e_1_2_2_4_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Alur Rajeev","unstructured":"Rajeev Alur , Arjun Radhakrishna , and Abhishek Udupa . 2017. Scaling Enumerative Program Synthesis via Divide and Conquer . In Tools and Algorithms for the Construction and Analysis of Systems , Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 319\u2013336. isbn:978-3-662-54577-5 Rajeev Alur, Arjun Radhakrishna, and Abhishek Udupa. 2017. Scaling Enumerative Program Synthesis via Divide and Conquer. In Tools and Algorithms for the Construction and Analysis of Systems, Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 319\u2013336. isbn:978-3-662-54577-5"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90683-6"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_2_2_7_1","volume-title":"Proceedings of ICLR\u201917 (proceedings of iclr\u201917 ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/deepcoder-learning-write-programs\/","author":"Balog Matej","year":"2017","unstructured":"Matej Balog , Alexander Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2017 . DeepCoder: Learning to Write Programs . In Proceedings of ICLR\u201917 (proceedings of iclr\u201917 ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/deepcoder-learning-write-programs\/ Matej Balog, Alexander Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. In Proceedings of ICLR\u201917 (proceedings of iclr\u201917 ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/deepcoder-learning-write-programs\/"},{"key":"e_1_2_2_8_1","volume-title":"Dictionary of Algorithms and Data Structures [online]. https:\/\/www.nist.gov\/dads\/HTML\/Levenshtein.html (Accessed","author":"Black Paul E.","year":"2021","unstructured":"Paul E. Black . 1999. Dictionary of Algorithms and Data Structures [online]. https:\/\/www.nist.gov\/dads\/HTML\/Levenshtein.html (Accessed , March 2021 ) Paul E. Black. 1999. Dictionary of Algorithms and Data Structures [online]. https:\/\/www.nist.gov\/dads\/HTML\/Levenshtein.html (Accessed , March 2021)"},{"key":"e_1_2_2_9_1","volume-title":"Advances in Neural Information Processing Systems","author":"Brown Tom","year":"1877","unstructured":"Tom Brown , Benjamin Mann , Nick Ryder , Melanie Subbiah , Jared D Kaplan , Prafulla Dhariwal , Arvind Neelakantan , Pranav Shyam , Girish Sastry , Amanda Askell , Sandhini Agarwal , Ariel Herbert-Voss , Gretchen Krueger , Tom Henighan , Rewon Child , Aditya Ramesh , Daniel Ziegler , Jeffrey Wu , Clemens Winter , Chris Hesse , Mark Chen , Eric Sigler , Mateusz Litwin , Scott Gray , Benjamin Chess , Jack Clark , Christopher Berner , Sam McCandlish , Alec Radford , Ilya Sutskever , and Dario Amodei . 2020. Language Models are Few-Shot Learners . In Advances in Neural Information Processing Systems , H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan, and H. Lin (Eds.). 33, Curran Associates, Inc. , 1877 \u20131901. https:\/\/proceedings.neurips.cc\/paper\/2020\/file\/1457c0d6bfcb4967418bfb8ac142f64a-Paper.pdf Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, and Dario Amodei. 2020. Language Models are Few-Shot Learners. In Advances in Neural Information Processing Systems, H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan, and H. Lin (Eds.). 33, Curran Associates, Inc., 1877\u20131901. https:\/\/proceedings.neurips.cc\/paper\/2020\/file\/1457c0d6bfcb4967418bfb8ac142f64a-Paper.pdf"},{"key":"e_1_2_2_10_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) arxiv:2107.03374. arxiv:2107.03374  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) arxiv:2107.03374. arxiv:2107.03374"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385988"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338951"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-1423"},{"key":"e_1_2_2_14_1","volume-title":"Synthesis with Abstract Examples","author":"Drachsler-Cohen Dana","unstructured":"Dana Drachsler-Cohen , Sharon Shoham , and Eran Yahav . 2017. Synthesis with Abstract Examples . In Computer Aided Verification, Rupak Majumdar and Viktor Kun\u010dak (Eds.). Springer International Publishing , Cham . 254\u2013278. isbn:978-3-319-63387-9 Dana Drachsler-Cohen, Sharon Shoham, and Eran Yahav. 2017. Synthesis with Abstract Examples. In Computer Aided Verification, Rupak Majumdar and Viktor Kun\u010dak (Eds.). Springer International Publishing, Cham. 254\u2013278. isbn:978-3-319-63387-9"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062351"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009851"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2612177"},{"key":"e_1_2_2_20_1","volume-title":"Measuring Coding Challenge Competence With APPS. CoRR, abs\/2105.09938","author":"Hendrycks Dan","year":"2021","unstructured":"Dan Hendrycks , Steven Basart , Saurav Kadavath , Mantas Mazeika , Akul Arora , Ethan Guo , Collin Burns , Samir Puranik , Horace He , Dawn Song , and Jacob Steinhardt . 2021. Measuring Coding Challenge Competence With APPS. CoRR, abs\/2105.09938 ( 2021 ), arxiv:2105.09938. arxiv:2105.09938 Dan Hendrycks, Steven Basart, Saurav Kadavath, Mantas Mazeika, Akul Arora, Ethan Guo, Collin Burns, Samir Puranik, Horace He, Dawn Song, and Jacob Steinhardt. 2021. Measuring Coding Challenge Competence With APPS. CoRR, abs\/2105.09938 (2021), arxiv:2105.09938. arxiv:2105.09938"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386027"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N18-2115"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1108\/eb026526"},{"key":"e_1_2_2_25_1","volume-title":"Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics","author":"Kushman Nate","year":"2013","unstructured":"Nate Kushman and Regina Barzilay . 2013 . Using Semantic Unification to Generate Regular Expressions from Natural Language . In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics , Atlanta, Georgia. 826\u2013836. https:\/\/www.aclweb.org\/anthology\/N13-1103 Nate Kushman and Regina Barzilay. 2013. Using Semantic Unification to Generate Regular Expressions from Natural Language. In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, Atlanta, Georgia. 826\u2013836. https:\/\/www.aclweb.org\/anthology\/N13-1103"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464443"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093335.2993244"},{"key":"e_1_2_2_28_1","volume-title":"TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. CoRR, abs\/2012.15489","author":"Li Yeting","year":"2020","unstructured":"Yeting Li , Shuaimin Li , Zhiwu Xu , Jialun Cao , Zixuan Chen , Yun Hu , Haiming Chen , and Shing-Chi Cheung . 2020. TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. CoRR, abs\/2012.15489 ( 2020 ), arxiv:2012.15489. arxiv:2012.15489 Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, and Shing-Chi Cheung. 2020. TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. CoRR, abs\/2012.15489 (2020), arxiv:2012.15489. arxiv:2012.15489"},{"key":"e_1_2_2_29_1","volume-title":"Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC","author":"Lin Xi Victoria","year":"2018","unstructured":"Xi Victoria Lin , Chenglong Wang , Luke Zettlemoyer , and Michael D. Ernst . 2018. NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System . In Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018 ). European Language Resources Association (ELRA), Miyazaki, Japan. https:\/\/www.aclweb.org\/anthology\/L18-1491 Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, and Michael D. Ernst. 2018. NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. In Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018). European Language Resources Association (ELRA), Miyazaki, Japan. https:\/\/www.aclweb.org\/anthology\/L18-1491"},{"key":"e_1_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Nicholas Locascio Karthik Narasimhan Eduardo DeLeon Nate Kushman and Regina Barzilay. 2016. Neural Generation of Regular Expressions from Natural Language with Minimal Domain Knowledge. In EMNLP (emnlp ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/neural-generation-regular-expressions-natural-language-minimal-domain-knowledge\/  Nicholas Locascio Karthik Narasimhan Eduardo DeLeon Nate Kushman and Regina Barzilay. 2016. Neural Generation of Regular Expressions from Natural Language with Minimal Domain Knowledge. In EMNLP (emnlp ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/neural-generation-regular-expressions-natural-language-minimal-domain-knowledge\/","DOI":"10.18653\/v1\/D16-1197"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2891460.2891552"},{"key":"e_1_2_2_32_1","volume-title":"Constantin Waubert de Puiseau, and Tobias Meisen","author":"Meyes Richard","year":"2019","unstructured":"Richard Meyes , Melanie Lu , Constantin Waubert de Puiseau, and Tobias Meisen . 2019 . Ablation Studies in Artificial Neural Networks. CoRR , abs\/1901.08644 (2019), arxiv:1901.08644. arxiv:1901.08644 Richard Meyes, Melanie Lu, Constantin Waubert de Puiseau, and Tobias Meisen. 2019. Ablation Studies in Artificial Neural Networks. CoRR, abs\/1901.08644 (2019), arxiv:1901.08644. arxiv:1901.08644"},{"key":"e_1_2_2_33_1","unstructured":"OpenAI. 2021. GPT-3 powers the next generation of apps. https:\/\/openai.com\/blog\/gpt-3-apps\/  OpenAI. 2021. GPT-3 powers the next generation of apps. https:\/\/openai.com\/blog\/gpt-3-apps\/"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360565"},{"key":"e_1_2_2_35_1","volume-title":"ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery. 21\u201330","author":"Pei Jian","year":"2000","unstructured":"Jian Pei , Jiawei Han , and Runying Mao . 2000 . CLOSET: An Efficient Algorithm for Mining Frequent Closed Itemsets .. In ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery. 21\u201330 . http:\/\/dblp.uni-trier.de\/db\/conf\/dmkd\/dmkd2000.html##PeiHM00 Jian Pei, Jiawei Han, and Runying Mao. 2000. CLOSET: An Efficient Algorithm for Mining Frequent Closed Itemsets.. In ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery. 21\u201330. http:\/\/dblp.uni-trier.de\/db\/conf\/dmkd\/dmkd2000.html##PeiHM00"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908093"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485535"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/3298239.3298368"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3380608"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2832249.2832359"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1707801.1706337"},{"key":"e_1_2_2_43_1","unstructured":"W3C. 2020. CSS Snapshot 2020 [online]. https:\/\/www.w3.org\/TR\/CSS\/  W3C. 2020. CSS Snapshot 2020 [online]. https:\/\/www.w3.org\/TR\/CSS\/"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.677"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"e_1_2_2_46_1","doi-asserted-by":"crossref","unstructured":"Zexuan Zhong Jiaqi Guo Wei Yang Jian Peng Tao Xie Jian-Guang Lou Ting Liu and Dongmei Zhang. 2018. SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications. In EMNP\u201918. ACL. https:\/\/www.microsoft.com\/en-us\/research\/publication\/semregex-a-semantics-based-approach-for-generating-regular-expressions-from-natural-language-specifications-2\/  Zexuan Zhong Jiaqi Guo Wei Yang Jian Peng Tao Xie Jian-Guang Lou Ting Liu and Dongmei Zhang. 2018. SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications. In EMNP\u201918. ACL. https:\/\/www.microsoft.com\/en-us\/research\/publication\/semregex-a-semantics-based-approach-for-generating-regular-expressions-from-natural-language-specifications-2\/","DOI":"10.18653\/v1\/D18-1189"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485535","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3485535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:40Z","timestamp":1750191520000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,15]]},"references-count":45,"journal-issue":{"issue":"OOPSLA","published-print":{"date-parts":[[2021,10,20]]}},"alternative-id":["10.1145\/3485535"],"URL":"https:\/\/doi.org\/10.1145\/3485535","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,15]]},"assertion":[{"value":"2021-10-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}