{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T18:56:48Z","timestamp":1776106608078,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T00:00:00Z","timestamp":1655078400000},"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":[[2022,6,13]]},"DOI":"10.1145\/3520312.3534866","type":"proceedings-article","created":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T15:14:19Z","timestamp":1654874059000},"page":"40-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Predictive synthesis of API-centric code"],"prefix":"10.1145","author":[{"given":"Daye","family":"Nam","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baishakhi","family":"Ray","sequence":"additional","affiliation":[{"name":"Columbia University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seohyun","family":"Kim","sequence":"additional","affiliation":[{"name":"Meta, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xianshan","family":"Qu","sequence":"additional","affiliation":[{"name":"Meta, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satish","family":"Chandra","sequence":"additional","affiliation":[{"name":"Meta, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.naacl-main.211"},{"key":"e_1_3_2_1_2_1","unstructured":"Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. https:\/\/openreview.net\/forum?id=ByldLrqlx  Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. https:\/\/openreview.net\/forum?id=ByldLrqlx"},{"key":"e_1_3_2_1_3_1","volume-title":"Neural Program Synthesis with a Differentiable Fixer. CoRR, abs\/2006.10924","author":"Balog Matej","year":"2020","unstructured":"Matej Balog , Rishabh Singh , Petros Maniatis , and Charles Sutton . 2020. Neural Program Synthesis with a Differentiable Fixer. CoRR, abs\/2006.10924 ( 2020 ), arXiv:2006.10924. arxiv:2006.10924 Matej Balog, Rishabh Singh, Petros Maniatis, and Charles Sutton. 2020. Neural Program Synthesis with a Differentiable Fixer. CoRR, abs\/2006.10924 (2020), arXiv:2006.10924. arxiv:2006.10924"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360594"},{"key":"e_1_3_2_1_5_1","unstructured":"Rudy Bunel Matthew J. Hausknecht Jacob Devlin Rishabh Singh and Pushmeet Kohli. 2018. Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. https:\/\/openreview.net\/forum?id=H1Xw62kRZ  Rudy Bunel Matthew J. Hausknecht Jacob Devlin Rishabh Singh and Pushmeet Kohli. 2018. Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis. https:\/\/openreview.net\/forum?id=H1Xw62kRZ"},{"key":"e_1_3_2_1_6_1","unstructured":"Xinyun Chen Chang Liu and Dawn Song. 2019. Execution-Guided Neural Program Synthesis. https:\/\/openreview.net\/forum?id=H1gfOiAqYm  Xinyun Chen Chang Liu and Dawn Song. 2019. Execution-Guided Neural Program Synthesis. https:\/\/openreview.net\/forum?id=H1gfOiAqYm"},{"key":"e_1_3_2_1_7_1","unstructured":"Xinyun Chen Dawn Song and Yuandong Tian. 2021. Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages. 22196\u201322208. https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/ba3c95c2962d3aab2f6e667932daa3c5-Abstract.html  Xinyun Chen Dawn Song and Yuandong Tian. 2021. Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages. 22196\u201322208. https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/ba3c95c2962d3aab2f6e667932daa3c5-Abstract.html"},{"key":"e_1_3_2_1_8_1","volume-title":"RobustFill: Neural Program Learning under Noisy I\/O. 70","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. 70 ( 2017 ), 990\u2013998. http:\/\/proceedings.mlr.press\/v70\/devlin17a.html Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli. 2017. RobustFill: Neural Program Learning under Noisy I\/O. 70 (2017), 990\u2013998. http:\/\/proceedings.mlr.press\/v70\/devlin17a.html"},{"key":"e_1_3_2_1_9_1","volume-title":"Write","author":"Ellis Kevin","unstructured":"Kevin Ellis , Maxwell Nye , Yewen Pu , Felix Sosa , Joshua B. Tenenbaum , and Armando Solar-Lezama . 2019. Write , Execute, Assess : Program Synthesis with a REPL. Article 822. Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Joshua B. Tenenbaum, and Armando Solar-Lezama. 2019. Write, Execute, Assess: Program Synthesis with a REPL. Article 822."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062351"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902362"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512566"},{"key":"e_1_3_2_1_15_1","unstructured":"Zohar Manna and Richard Waldinger. 1979. A Deductive Approach to Program Synthesis. 542\u2013551.  Zohar Manna and Richard Waldinger. 1979. A Deductive Approach to Program Synthesis. 542\u2013551."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00063"},{"key":"e_1_3_2_1_17_1","volume-title":"Predictive Synthesis of API-Centric Code. CoRR, abs\/2201.03758","author":"Nam Daye","year":"2022","unstructured":"Daye Nam , Baishakhi Ray , Seohyun Kim , Xianshan Qu , and Satish Chandra . 2022. Predictive Synthesis of API-Centric Code. CoRR, abs\/2201.03758 ( 2022 ), arXiv:2201.03758. arxiv:2201.03758 Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, and Satish Chandra. 2022. Predictive Synthesis of API-Centric Code. CoRR, abs\/2201.03758 (2022), arXiv:2201.03758. arxiv:2201.03758"},{"key":"e_1_3_2_1_18_1","volume-title":"Learning to Infer Program Sketches. 97","author":"Nye Maxwell I.","year":"2019","unstructured":"Maxwell I. Nye , Luke B. Hewitt , Joshua B. Tenenbaum , and Armando Solar-Lezama . 2019. Learning to Infer Program Sketches. 97 ( 2019 ), 4861\u20134870. http:\/\/proceedings.mlr.press\/v97\/nye19a.html Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, and Armando Solar-Lezama. 2019. Learning to Infer Program Sketches. 97 (2019), 4861\u20134870. http:\/\/proceedings.mlr.press\/v97\/nye19a.html"},{"key":"e_1_3_2_1_19_1","unstructured":"Maxwell I. Nye Yewen Pu Matthew Bowers Jacob Andreas Joshua B. Tenenbaum and Armando Solar-Lezama. 2021. Representing Partial Programs with Blended Abstract Semantics. https:\/\/openreview.net\/forum?id=mCtadqIxOJ  Maxwell I. Nye Yewen Pu Matthew Bowers Jacob Andreas Joshua B. Tenenbaum and Armando Solar-Lezama. 2021. Representing Partial Programs with Blended Abstract Semantics. https:\/\/openreview.net\/forum?id=mCtadqIxOJ"},{"key":"e_1_3_2_1_20_1","volume-title":"BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration. https:\/\/openreview.net\/forum?id=yHeg4PbFHh","author":"Odena Augustus","year":"2021","unstructured":"Augustus Odena , Kensen Shi , David Bieber , Rishabh Singh , Charles Sutton , and Hanjun Dai . 2021 . BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration. https:\/\/openreview.net\/forum?id=yHeg4PbFHh Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, and Hanjun Dai. 2021. BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration. https:\/\/openreview.net\/forum?id=yHeg4PbFHh"},{"key":"e_1_3_2_1_21_1","unstructured":"Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2017. Neuro-Symbolic Program Synthesis. https:\/\/openreview.net\/forum?id=rJ0JwFcex  Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2017. Neuro-Symbolic Program Synthesis. https:\/\/openreview.net\/forum?id=rJ0JwFcex"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.44"},{"key":"e_1_3_2_1_23_1","volume-title":"TF-Coder: Program Synthesis for Tensor Manipulations. CoRR, abs\/2003.09040","author":"Shi Kensen","year":"2020","unstructured":"Kensen Shi , David Bieber , and Rishabh Singh . 2020. TF-Coder: Program Synthesis for Tensor Manipulations. CoRR, abs\/2003.09040 ( 2020 ), arXiv:2003.09040. arxiv:2003.09040 Kensen Shi, David Bieber, and Rishabh Singh. 2020. TF-Coder: Program Synthesis for Tensor Manipulations. CoRR, abs\/2003.09040 (2020), arXiv:2003.09040. arxiv:2003.09040"},{"key":"e_1_3_2_1_24_1","unstructured":"Richard Shin Neel Kant Kavi Gupta Chris Bender Brandon Trabucco Rishabh Singh and Dawn Song. 2019. Synthetic Datasets for Neural Program Synthesis. https:\/\/openreview.net\/forum?id=ryeOSnAqYm  Richard Shin Neel Kant Kavi Gupta Chris Bender Brandon Trabucco Rishabh Singh and Dawn Song. 2019. Synthetic Datasets for Neural Program Synthesis. https:\/\/openreview.net\/forum?id=ryeOSnAqYm"},{"key":"e_1_3_2_1_25_1","unstructured":"Richard Shin Illia Polosukhin and Dawn Song. 2018. Improving Neural Program Synthesis with Inferred Execution Traces. 8931\u20138940. https:\/\/proceedings.neurips.cc\/paper\/2018\/hash\/7776e88b0c189539098176589250bcba-Abstract.html  Richard Shin Illia Polosukhin and Dawn Song. 2018. Improving Neural Program Synthesis with Inferred Execution Traces. 8931\u20138940. https:\/\/proceedings.neurips.cc\/paper\/2018\/hash\/7776e88b0c189539098176589250bcba-Abstract.html"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908102"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462174"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.2.270"},{"key":"e_1_3_2_1_30_1","volume-title":"In-IDE Code Generation from Natural Language: Promise and Challenges. CoRR, abs\/2101.11149","author":"Xu Frank F.","year":"2021","unstructured":"Frank F. Xu , Bogdan Vasilescu , and Graham Neubig . 2021. In-IDE Code Generation from Natural Language: Promise and Challenges. CoRR, abs\/2101.11149 ( 2021 ), arXiv:2101.11149. arxiv:2101.11149 Frank F. Xu, Bogdan Vasilescu, and Graham Neubig. 2021. In-IDE Code Generation from Natural Language: Promise and Challenges. CoRR, abs\/2101.11149 (2021), arXiv:2101.11149. arxiv:2101.11149"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3187009.3177735"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1041"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180260"}],"event":{"name":"MAPS '22: 6th ACM SIGPLAN International Symposium on Machine Programming","location":"San Diego CA USA","acronym":"MAPS '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520312.3534866","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3520312.3534866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:31Z","timestamp":1750183771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520312.3534866"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,13]]},"references-count":34,"alternative-id":["10.1145\/3520312.3534866","10.1145\/3520312"],"URL":"https:\/\/doi.org\/10.1145\/3520312.3534866","relation":{},"subject":[],"published":{"date-parts":[[2022,6,13]]},"assertion":[{"value":"2022-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}