{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:18Z","timestamp":1772164038127,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1138996, 1253867, 1526270"],"award-info":[{"award-number":["1138996, 1253867, 1526270"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-15-2-0009"],"award-info":[{"award-number":["FA8750-15-2-0009"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192410","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"436-449","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":49,"title":["Accelerating search-based program synthesis using learned probabilistic models"],"prefix":"10.1145","author":[{"given":"Woosuk","family":"Lee","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Kihong","family":"Heo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786849"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635901"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntaxguided synthesis. In Formal Methods in Computer-Aided Design (FM-CAD \u201913).  Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntaxguided synthesis. In Formal Methods in Computer-Aided Design (FM-CAD \u201913).","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_18"},{"key":"e_1_3_2_2_5_1","volume-title":"5th International Conference on Learning Representations (ICLR \u201917)","author":"Balog M.","unstructured":"M. Balog , A. L. Gaunt , M. Brockschmidt , S. Nowozin , and D. Tarlow . 2017. DeepCoder: Learning to Write Programs . In 5th International Conference on Learning Representations (ICLR \u201917) . M. Balog, A. L. Gaunt, M. Brockschmidt, S. Nowozin, and D. Tarlow. 2017. DeepCoder: Learning to Write Programs. In 5th International Conference on Learning Representations (ICLR \u201917)."},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the 33rd International Conference on International Conference on Machine Learning (ICML\u201916)","author":"Bielik Pavol","year":"2016","unstructured":"Pavol Bielik , Veselin Raychev , and Martin Vechev . 2016 . PHOG: Probabilistic Model for Code . In Proceedings of the 33rd International Conference on International Conference on Machine Learning (ICML\u201916) . Pavol Bielik, Veselin Raychev, and Martin Vechev. 2016. PHOG: Probabilistic Model for Code. In Proceedings of the 33rd International Conference on International Conference on Machine Learning (ICML\u201916)."},{"key":"e_1_3_2_2_7_1","volume-title":"Proceedings of the 34th International Conference on Machine Learning (ICML \u201917)","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 Proceedings of the 34th International Conference on Machine Learning (ICML \u201917) . 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 Proceedings of the 34th International Conference on Machine Learning (ICML \u201917). 990\u2013998."},{"key":"e_1_3_2_2_8_1","volume-title":"Synthesis of FaultAttack Countermeasures for Cryptographic Circuits. In 28th International Conference on Computer Aided Verification (CAV \u201916)","author":"Eldib Hassan","year":"2016","unstructured":"Hassan Eldib , Meng Wu , and Chao Wang . 2016 . Synthesis of FaultAttack Countermeasures for Cryptographic Circuits. In 28th International Conference on Computer Aided Verification (CAV \u201916) . Hassan Eldib, Meng Wu, and Chao Wang. 2016. Synthesis of FaultAttack Countermeasures for Cryptographic Circuits. In 28th International Conference on Computer Aided Verification (CAV \u201916)."},{"key":"e_1_3_2_2_9_1","unstructured":"Exceljet. 2017. https:\/\/exceljet.net .  Exceljet. 2017. https:\/\/exceljet.net ."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837629"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337322"},{"key":"e_1_3_2_2_15_1","volume-title":"Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. In International Conference on Theory and Applications of Satisfiability Testing (SAT \u201916)","author":"Inala Jeevana Priya","year":"2016","unstructured":"Jeevana Priya Inala , Rohit Singh , and Armando Solar-Lezama . 2016 . Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. In International Conference on Theory and Applications of Satisfiability Testing (SAT \u201916) . 302\u2013320. Jeevana Priya Inala, Rohit Singh, and Armando Solar-Lezama. 2016. Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. In International Conference on Theory and Applications of Satisfiability Testing (SAT \u201916). 302\u2013320."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_2_17_1","volume-title":"The Art of Computer Programming","author":"Knuth Donald E.","unstructured":"Donald E. Knuth . 1997. The Art of Computer Programming , Volume 1 ( 3 rd Ed.): Fundamental Algorithms . Donald E. Knuth. 1997. The Art of Computer Programming, Volume 1 (3rd Ed.): Fundamental Algorithms.","edition":"3"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/3042817.3042840"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1661445.1661635"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.191"},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR \u201917)","author":"Parisotto Emilio","year":"2017","unstructured":"Emilio Parisotto , Abdel-rahman Mohamed, Rishabh Singh , Lihong Li , Dengyong Zhou , and Pushmeet Kohli . 2017 . Neuro-Symbolic Program Synthesis . In Proceedings of the International Conference on Learning Representations (ICLR \u201917) . Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, and Pushmeet Kohli. 2017. Neuro-Symbolic Program Synthesis. In Proceedings of the International Conference on Learning Representations (ICLR \u201917)."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2984043.2989222"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984041"},{"key":"e_1_3_2_2_27_1","volume-title":"Proceedings of 27th International Conference on Computer Aided Verification (CAV \u201915)","author":"Reynolds Andrew","unstructured":"Andrew Reynolds , Morgan Deters , Viktor Kuncak , Cesare Tinelli , and Clark W. Barrett . 2015. Counterexample-Guided Quantifier Instantiation for Synthesis in SMT . In Proceedings of 27th International Conference on Computer Aided Verification (CAV \u201915) . Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, and Clark W. Barrett. 2015. Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. In Proceedings of 27th International Conference on Computer Aided Verification (CAV \u201915)."},{"key":"e_1_3_2_2_28_1","unstructured":"Stackoverflow. 2017. https:\/\/stackoverflow.com .  Stackoverflow. 2017. https:\/\/stackoverflow.com ."},{"key":"e_1_3_2_2_29_1","unstructured":"SyGuS 2016 Competition. 2016. http:\/\/sygus.seas.upenn.edu\/ SyGuS-COMP2017.html .  SyGuS 2016 Competition. 2016. http:\/\/sygus.seas.upenn.edu\/ SyGuS-COMP2017.html ."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462174"},{"key":"e_1_3_2_2_31_1","volume-title":"Program Synthesis using Abstraction Refinement. CoRR abs\/1710.07740","author":"Wang Xinyu","year":"2017","unstructured":"Xinyu Wang , Isil Dillig , and Rishabh Singh . 2017. Program Synthesis using Abstraction Refinement. CoRR abs\/1710.07740 ( 2017 ). arXiv: 1710.07740 Xinyu Wang, Isil Dillig, and Rishabh Singh. 2017. Program Synthesis using Abstraction Refinement. CoRR abs\/1710.07740 (2017). arXiv: 1710.07740"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192410","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":31,"alternative-id":["10.1145\/3192366.3192410","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192410","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192410","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}