{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T05:25:20Z","timestamp":1775280320293,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,19]],"date-time":"2016-10-19T00:00:00Z","timestamp":1476835200000},"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":[[2016,10,19]]},"DOI":"10.1145\/2983990.2984041","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T11:58:54Z","timestamp":1476964734000},"page":"731-747","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":80,"title":["Probabilistic model for code with decision trees"],"prefix":"10.1145","author":[{"given":"Veselin","family":"Raychev","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavol","family":"Bielik","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2487085.2487127"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635901"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786849"},{"key":"e_1_3_2_1_4_1","first-page":"4503","volume":"978","author":"ACM","unstructured":"ACM . ISBN 978-1 - 4503 - 3675 -8. ACM. ISBN 978-1-4503-3675-8.","journal-title":"ISBN"},{"key":"e_1_3_2_1_5_1","unstructured":"M.\n      Allamanis D.\n      Tarlow A. D.\n      Gordon and \n      Y.\n      Wei\n  . \n  Bimodal modelling of source code and natural language\n  . In F. R. Bach and D. M. Blei editors ICML volume \n  37\n   of \n  JMLR Proceedings pages 2123\u2013\n  2132\n  . JMLR.org 2015.  M. Allamanis D. Tarlow A. D. Gordon and Y. Wei. Bimodal modelling of source code and natural language. In F. R. Bach and D. M. Blei editors ICML volume 37 of JMLR Proceedings pages 2123\u20132132. JMLR.org 2015."},{"key":"e_1_3_2_1_6_1","first-page":"8","volume-title":"FMCAD 2013","author":"Alur R.","year":"2013","unstructured":"R. Alur , R. Bod\u00b4\u0131k , G. Juniwal , M. M. K. Martin , M. Raghothaman , S. A. Seshia , R. Singh , A. Solar-Lezama , E. Torlak , and A. Udupa . Syntax-guided synthesis. In Formal Methods in Computer-Aided Design , FMCAD 2013 , Portland, OR, USA , October 20-23, 2013 , pages 1\u2013 8 , 2013. R. Alur, R. Bod\u00b4\u0131k, G. Juniwal, M. M. K. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, and A. Udupa. Syntax-guided synthesis. In Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, pages 1\u20138, 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814228.2814235"},{"key":"e_1_3_2_1_8_1","first-page":"2942","volume-title":"Proceedings of the 33nd International Conference on Machine Learning, ICML 2016","author":"Bielik P.","year":"2016","unstructured":"P. Bielik , V. Raychev , and M. T. Vechev . PHOG: probabilistic model for code . In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016 , New York City, NY, USA , June 19-24, 2016 , pages 2933\u2013 2942 , 2016. P. Bielik, V. Raychev, and M. T. Vechev. PHOG: probabilistic model for code. In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016, pages 2933\u20132942, 2016."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814295"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462192"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337322"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814291"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660226"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661148"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509555"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 27th International Conference on Machine Learning (ICML-10)","author":"Liang P.","year":"2010","unstructured":"P. Liang , M. I. Jordan , and D. Klein . Learning programs: A hierarchical bayesian approach . In Proceedings of the 27th International Conference on Machine Learning (ICML-10) , June 21-24, 2010 , Haifa, Israel, pages 639\u2013646 , 2010. P. Liang, M. I. Jordan, and D. Klein. Learning programs: A hierarchical bayesian approach. In Proceedings of the 27th International Conference on Machine Learning (ICML-10), June 21-24, 2010, Haifa, Israel, pages 639\u2013646, 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_20_1","first-page":"657","volume-title":"Proceedings of the 31th International Conference on Machine Learning, ICML 2014","author":"Maddison C. J.","year":"2014","unstructured":"C. J. Maddison and D. Tarlow . Structured generative models of natural source code . In Proceedings of the 31th International Conference on Machine Learning, ICML 2014 , Beijing, China , 21-26 June 2014 , pages 649\u2013 657 , 2014. C. J. Maddison and D. Tarlow. Structured generative models of natural source code. In Proceedings of the 31th International Conference on Machine Learning, ICML 2014, Beijing, China, 21-26 June 2014, pages 649\u2013657, 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/541177"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818858"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491458"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116251"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/152181"},{"key":"e_1_3_2_1_26_1","unstructured":"ISBN 1-55860-238-0.  ISBN 1-55860-238-0."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837671"},{"key":"e_1_3_2_1_30_1","first-page":"800","volume-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015","author":"Raza M.","year":"2015","unstructured":"M. Raza , S. Gulwani , and N. Milic-Frayling . Compositional program synthesis from natural language and examples . In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 , Buenos Aires, Argentina , July 25-31, 2015 , pages 792\u2013 800 , 2015. M. Raza, S. Gulwani, and N. Milic-Frayling. Compositional program synthesis from natural language and examples. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 792\u2013800, 2015."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.880083"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_34_1","volume-title":"SRILM-an Extensible Language Modeling Toolkit. International Conference on Spoken Language Processing","author":"Stolcke A.","year":"2002","unstructured":"A. Stolcke . SRILM-an Extensible Language Modeling Toolkit. International Conference on Spoken Language Processing , 2002 . A. Stolcke. SRILM-an Extensible Language Modeling Toolkit. International Conference on Spoken Language Processing, 2002."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.87000"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635875"}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Amsterdam Netherlands","acronym":"SPLASH '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984041","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983990.2984041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:39:53Z","timestamp":1750203593000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,19]]},"references-count":36,"alternative-id":["10.1145\/2983990.2984041","10.1145\/2983990"],"URL":"https:\/\/doi.org\/10.1145\/2983990.2984041","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022671.2984041","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,10,19]]},"assertion":[{"value":"2016-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}