{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:15:11Z","timestamp":1767928511821,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"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":[[2019,6,8]]},"DOI":"10.1145\/3314221.3322485","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"301-315","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Synthesis and machine learning for heterogeneous extraction"],"prefix":"10.1145","author":[{"given":"Arun","family":"Iyer","sequence":"first","affiliation":[{"name":"Microsoft Research, India"}]},{"given":"Manohar","family":"Jonnalagedda","sequence":"additional","affiliation":[{"name":"Inpher, Switzerland"}]},{"given":"Suresh","family":"Parthasarathy","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}]},{"given":"Arjun","family":"Radhakrishna","sequence":"additional","affiliation":[{"name":"Microsoft, USA"}]},{"given":"Sriram K.","family":"Rajamani","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2015. Microsoft Program Synthesis using Examples SDK. https:\/\/microsoft.github.io\/prose\/.  2015. Microsoft Program Synthesis using Examples SDK. https:\/\/microsoft.github.io\/prose\/."},{"key":"e_1_3_2_2_2_1","volume-title":"CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. 163-179","author":"Alur Rajeev","year":"2015","unstructured":"Rajeev Alur , Pavol Cerny , and Arjun Radhakrishna . 2015 . Synthesis Through Unification. In Computer Aided Verification - 27th International Conference , CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. 163-179 . Rajeev Alur, Pavol Cerny, and Arjun Radhakrishna. 2015. Synthesis Through Unification. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. 163-179."},{"key":"e_1_3_2_2_3_1","volume-title":"TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. 319-336","author":"Alur Rajeev","year":"2017","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 - 23rd International Conference , TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. 319-336 . 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 - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. 319-336."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.14778\/1938545.1938547"},{"key":"e_1_3_2_2_5_1","first-page":"990","volume-title":"Proceedings of the 34th International Conference on Machine Learning, ICML 2017","volume":"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 . In Proceedings of the 34th International Conference on Machine Learning, ICML 2017 , Sydney, NSW, Australia , 6-11 August 2017 (Proceedings of Machine Learning Research), Doina Precup and Yee Whye Teh (Eds.), Vol. 70 . PMLR, 990 - 998 . 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. In Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017 (Proceedings of Machine Learning Research), Doina Precup and Yee Whye Teh (Eds.), Vol. 70. PMLR, 990-998. http:\/\/proceedings.mlr.press\/v70\/devlin17a.html"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2074094.2074112"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/306766.306775"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00100-9"},{"key":"e_1_3_2_2_11_1","first-page":"282","volume-title":"Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001","author":"Lafferty John D.","year":"2001","unstructured":"John D. Lafferty , Andrew McCallum , and Fernando C. N. Pereira . 2001. Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data . In Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001 ), Williams College, Williamstown, MA, USA, June 28 - July 1, 2001 . 282 - 289 . John D. Lafferty, Andrew McCallum, and Fernando C. N. Pereira. 2001. Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data. In Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001), Williams College, Williamstown, MA, USA, June 28 - July 1, 2001. 282-289."},{"key":"e_1_3_2_2_12_1","volume-title":"Neural Architectures for Named Entity Recognition. CoRR abs\/1603.01360","author":"Lample Guillaume","year":"2016","unstructured":"Guillaume Lample , Miguel Ballesteros , Sandeep Subramanian , Kazuya Kawakami , and Chris Dyer . 2016. Neural Architectures for Named Entity Recognition. CoRR abs\/1603.01360 ( 2016 ). arXiv:1603.01360 http:\/\/arxiv.org\/abs\/1603.01360 Guillaume Lample, Miguel Ballesteros, Sandeep Subramanian, Kazuya Kawakami, and Chris Dyer. 2016. Neural Architectures for Named Entity Recognition. CoRR abs\/1603.01360 (2016). arXiv:1603.01360 http:\/\/arxiv.org\/abs\/1603.01360"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2396761.2398464"},{"key":"e_1_3_2_2_15_1","unstructured":"Hiroki Nakayama. 2018. Bidirectional LSTM-CRF and ELMo for Named-Entity Recognition. https:\/\/github.com\/Hironsan\/anago.  Hiroki Nakayama. 2018. Bidirectional LSTM-CRF and ELMo for Named-Entity Recognition. https:\/\/github.com\/Hironsan\/anago."},{"key":"e_1_3_2_2_16_1","volume-title":"Millstein","author":"Padhi Saswat","year":"2018","unstructured":"Saswat Padhi , Prateek Jain , Daniel Perelman , Oleksandr Polozov , Sumit Gulwani , and Todd D . Millstein . 2018 . FlashProfile: a framework for synthesizing data profiles. PACMPL 2, OOPSLA ( 2018), 150:1-150:28. Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd D. Millstein. 2018. FlashProfile: a framework for synthesizing data profiles. PACMPL 2, OOPSLA (2018), 150:1-150:28."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1953048.2078195"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814310"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837671"},{"key":"e_1_3_2_2_20_1","first-page":"1403","volume-title":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18)","author":"Raza Mohammad","year":"2018","unstructured":"Mohammad Raza and Sumit Gulwani . 2018 . Disjunctive Program Synthesis: A Robust Approach to Programming by Example . In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18) , the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA , February 2-7, 2018, Sheila A. McIlraith and Kilian Q. Weinberger (Eds.). AAAI Press, 1403 - 1412 . https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/17055 Mohammad Raza and Sumit Gulwani. 2018. Disjunctive Program Synthesis: A Robust Approach to Programming by Example. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, Sheila A. McIlraith and Kilian Q. Weinberger (Eds.). AAAI Press, 1403-1412. https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/17055"},{"key":"e_1_3_2_2_21_1","volume-title":"CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. 198-216","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 Computer Aided Verification - 27th International Conference , CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. 198-216 . Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, and Clark W. Barrett. 2015. Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. 198-216."},{"key":"e_1_3_2_2_22_1","volume-title":"CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 440-446","author":"Saha Shambwaditya","unstructured":"Shambwaditya Saha , Pranav Garg , and P. Madhusudan . 2015. Alchemist: Learning Guarded Affine Functions. In Computer Aided Verification - 27th International Conference , CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 440-446 . Shambwaditya Saha, Pranav Garg, and P. Madhusudan. 2015. Alchemist: Learning Guarded Affine Functions. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 440-446."},{"key":"e_1_3_2_2_23_1","volume-title":"Information Extraction. Found. Trends databases 1, 3 (March","author":"Sarawagi Sunita","year":"2008","unstructured":"Sunita Sarawagi . 2008. Information Extraction. Found. Trends databases 1, 3 (March 2008 ), 261-377. Sunita Sarawagi. 2008. Information Extraction. Found. Trends databases 1, 3 (March 2008), 261-377."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020615"},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ICML","author":"Verma Abhinav","year":"2018","unstructured":"Abhinav Verma , Vijayaraghavan Murali , Rishabh Singh , Pushmeet Kohli , and Swarat Chaudhuri . 2018. Programmatically Interpretable Reinforcement Learning . In Proceedings of the 35th International Conference on Machine Learning, ICML 2018 , Stockholmsm\u00e4ssan, Stockholm, Sweden, July 10-15, 2018 (JMLR Workshop and Conference Proceedings), Jennifer G. Dy and Andreas Krause (Eds.), Vol. 80 . JMLR. org, 5052-5061. http:\/\/proceedings.mlr.press\/v80\/verma18a.html Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, and Swarat Chaudhuri. 2018. Programmatically Interpretable Reinforcement Learning. In Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan, Stockholm, Sweden, July 10-15, 2018 (JMLR Workshop and Conference Proceedings), Jennifer G. Dy and Andreas Krause (Eds.), Vol. 80. JMLR.org, 5052-5061. http:\/\/proceedings.mlr.press\/v80\/verma18a.html"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2783258.2788580"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3322485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3322485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:29Z","timestamp":1750204409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3322485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":26,"alternative-id":["10.1145\/3314221.3322485","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3322485","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}