{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:57:00Z","timestamp":1772726220517,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/L01503X\/1"],"award-info":[{"award-number":["EP\/L01503X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3425898.3426952","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:26:21Z","timestamp":1606267581000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Modeling black-box components with probabilistic synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0589-9652","authenticated-orcid":false,"given":"Bruce","family":"Collie","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jackson","family":"Woodruff","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1619-5052","authenticated-orcid":false,"given":"Michael F. P.","family":"O'Boyle","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"[n. d.]. C674x DSPLIB-Texas Instruments Wiki. htp:\/\/processors. wiki.ti.com\/index.php\/C674x_DSPLIB.  [n. d.]. C674x DSPLIB-Texas Instruments Wiki. htp:\/\/processors. wiki.ti.com\/index.php\/C674x_DSPLIB."},{"key":"e_1_3_2_2_2_1","unstructured":"[n. d.]. Intel\u00ae Math Kernel Library (MKL). htps:\/\/software.intel.com\/ mkl.  [n. d.]. Intel\u00ae Math Kernel Library (MKL). htps:\/\/software.intel.com\/ mkl."},{"key":"e_1_3_2_2_3_1","unstructured":"[n. d.]. Mathfu. htps:\/\/github.com\/google\/mathfu.  [n. d.]. Mathfu. htps:\/\/github.com\/google\/mathfu."},{"key":"e_1_3_2_2_4_1","unstructured":"[n. d.]. Null-terminated byte strings. htps:\/\/en.cppreference.com\/w\/ c\/string\/byte.  [n. d.]. Null-terminated byte strings. htps:\/\/en.cppreference.com\/w\/ c\/string\/byte."},{"key":"e_1_3_2_2_5_1","unstructured":"[n. d.]. NVIDIA cuBLAS. htps:\/\/developer.nvidia.com\/cublas.  [n. d.]. NVIDIA cuBLAS. htps:\/\/developer.nvidia.com\/cublas."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_15"},{"key":"e_1_3_2_2_7_1","first-page":"6","article-title":"Automatically Translating Image Processing Libraries to Halide","volume":"38","author":"Safeer Ahmad Maaz Bin","year":"2019","unstructured":"Maaz Bin Safeer Ahmad , Jonathan Ragan-Kelley , Alvin Cheung , and Shoaib Kamil . 2019 . Automatically Translating Image Processing Libraries to Halide . ACM Trans. Graph. 38 , 6 (Nov. 2019 ), 204 : 1-204 : 13. htps:\/\/doi.org\/10.1145\/3355089.3356549 Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, and Shoaib Kamil. 2019. Automatically Translating Image Processing Libraries to Halide. ACM Trans. Graph. 38, 6 (Nov. 2019 ), 204 : 1-204 : 13. htps:\/\/doi.org\/10.1145\/3355089.3356549","journal-title":"ACM Trans. Graph."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"crossref","unstructured":"Miltiadis Allamanis Earl T Barr Premkumar Devanbu and Charles Sutton. 2018. A survey of machine learning for big code and naturalness. ACM Computing Surveys (CSUR) 51 4 ( 2018 ) 81.  Miltiadis Allamanis Earl T Barr Premkumar Devanbu and Charles Sutton. 2018. A survey of machine learning for big code and naturalness. ACM Computing Surveys (CSUR) 51 4 ( 2018 ) 81.","DOI":"10.1145\/3212695"},{"key":"e_1_3_2_2_9_1","unstructured":"Shengwei An Sasa Misailovic Roopsha Samanta and Rishabh Singh. 2019. Augmented Example-Based Synthesis.  Shengwei An Sasa Misailovic Roopsha Samanta and Rishabh Singh. 2019. Augmented Example-Based Synthesis."},{"key":"e_1_3_2_2_10_1","unstructured":"Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2016. DeepCoder: Learning to Write Programs. (Nov. 2016 ). htps:\/\/arxiv.org\/abs\/1611.01989v2  Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2016. DeepCoder: Learning to Write Programs. (Nov. 2016 ). htps:\/\/arxiv.org\/abs\/1611.01989v2"},{"key":"e_1_3_2_2_11_1","volume-title":"Genetic Programming: An Introduction: On the Automatic Evolution of Computer Programs and Its Applications","author":"Banzhaf Wolfgang","year":"1998","unstructured":"Wolfgang Banzhaf , Frank D. Francone , Robert E. Keller , and Peter Nordin . 1998 . Genetic Programming: An Introduction: On the Automatic Evolution of Computer Programs and Its Applications . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA. Wolfgang Banzhaf, Frank D. Francone, Robert E. Keller, and Peter Nordin. 1998. Genetic Programming: An Introduction: On the Automatic Evolution of Computer Programs and Its Applications. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"L. S. Blackford J. Demmel J. Dongarra I. Duf S. Hammarling G. Henry M. Heroux L. Kaufman A. Lumsdaine A. Petitet R. Pozo K. Remington and R. C. Whaley. 2001. An Updated Set of Basic Linear Algebra Subprograms (BLAS). ACM Trans. Math. Software 28 ( 2001 ) 135-151.  L. S. Blackford J. Demmel J. Dongarra I. Duf S. Hammarling G. Henry M. Heroux L. Kaufman A. Lumsdaine A. Petitet R. Pozo K. Remington and R. C. Whaley. 2001. An Updated Set of Basic Linear Algebra Subprograms (BLAS). ACM Trans. Math. Software 28 ( 2001 ) 135-151.","DOI":"10.1145\/567806.567807"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102071.3102084"},{"key":"e_1_3_2_2_14_1","first-page":"62","volume-title":"Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019 ). ACM","author":"Cambronero Jos\u00e9 P.","unstructured":"Jos\u00e9 P. Cambronero , Thurston H. Y. Dang , Nikos Vasilakis , Jiasi Shen , Jerry Wu , and Martin C. Rinard . 2019. Active Learning for Software Engineering . In Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019 ). ACM , New York, NY, USA , 62 - 78 . htps:\/\/doi.org\/10.1145\/3359591.3359732 Jos\u00e9 P. Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, and Martin C. Rinard. 2019. Active Learning for Software Engineering. In Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019 ). ACM, New York, NY, USA, 62-78. htps:\/\/doi.org\/10.1145\/3359591.3359732"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Qiaochu Chen Xinyu Wang Xi Ye Greg Durrett and Isil Dillig. 2019. Multi-Modal Synthesis of Regular Expressions. (Aug. 2019 ).  Qiaochu Chen Xinyu Wang Xi Ye Greg Durrett and Isil Dillig. 2019. Multi-Modal Synthesis of Regular Expressions. (Aug. 2019 ).","DOI":"10.1145\/3385412.3385988"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338951"},{"key":"e_1_3_2_2_17_1","volume-title":"Cosette: An Automated Prover for SQL. In CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings.","author":"Chu Shumo","year":"2017","unstructured":"Shumo Chu , Chenglong Wang , Konstantin Weitz , and Alvin Cheung . 2017 . Cosette: An Automated Prover for SQL. In CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings. Shumo Chu, Chenglong Wang, Konstantin Weitz, and Alvin Cheung. 2017. Cosette: An Automated Prover for SQL. In CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_19_1","volume-title":"Type-Directed Program Synthesis and Constraint Generation for Library Portability. In 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT). 55-67","author":"Collie B.","year":"2019","unstructured":"B. Collie , P. Ginsbach , and M. F. P. O'Boyle . 2019 . Type-Directed Program Synthesis and Constraint Generation for Library Portability. In 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT). 55-67 . htps:\/\/doi.org\/10.1109\/PACT. 2019.00013 B. Collie, P. Ginsbach, and M. F. P. O'Boyle. 2019. Type-Directed Program Synthesis and Constraint Generation for Library Portability. In 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT). 55-67. htps:\/\/doi.org\/10.1109\/PACT. 2019.00013"},{"key":"e_1_3_2_2_20_1","volume-title":"Proceedings of the Thirty-Fifth International Conference on Automated Software Engineering (ASE '20)","author":"Collie Bruce","unstructured":"Bruce Collie , Philip Ginsbach , Jackson Woodruf , Ajitha Rajan , and Michael F. P . O'Boyle. 2020. M3: Semantic API Migrations . In Proceedings of the Thirty-Fifth International Conference on Automated Software Engineering (ASE '20) . ACM, Virtual Event, Australia. htps: \/\/doi.org\/10.1145\/3324884.3416618 Bruce Collie, Philip Ginsbach, Jackson Woodruf, Ajitha Rajan, and Michael F. P. O'Boyle. 2020. M3: Semantic API Migrations. In Proceedings of the Thirty-Fifth International Conference on Automated Software Engineering (ASE '20). ACM, Virtual Event, Australia. htps: \/\/doi.org\/10.1145\/3324884.3416618"},{"key":"e_1_3_2_2_21_1","volume-title":"Augmenting Type Signatures for Program Synthesis. arXiv","author":"Collie Bruce","year":"1907","unstructured":"Bruce Collie and Michael O'Boyle . 2019. Augmenting Type Signatures for Program Synthesis. arXiv : 1907 .05649 [cs] ( July 2019 ). arXiv:cs\/ 1907.05649 htp:\/\/arxiv.org\/abs\/ 1907.05649 Bruce Collie and Michael O'Boyle. 2019. Augmenting Type Signatures for Program Synthesis. arXiv: 1907.05649 [cs] ( July 2019 ). arXiv:cs\/ 1907.05649 htp:\/\/arxiv.org\/abs\/ 1907.05649"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863731"},{"key":"e_1_3_2_2_23_1","first-page":"572","volume-title":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017 ). ACM","author":"Fedyukovich Grigory","year":"2017","unstructured":"Grigory Fedyukovich , Maaz Bin Safeer Ahmad , and Rastislav Bodik . 2017 . Gradual Synthesis for Static Parallelization of Single-pass Arrayprocessing Programs . In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017 ). ACM , New York, NY, USA , 572 - 585 . htps:\/\/doi.org\/10.1145\/ 3062341.3062382 Grigory Fedyukovich, Maaz Bin Safeer Ahmad, and Rastislav Bodik. 2017. Gradual Synthesis for Static Parallelization of Single-pass Arrayprocessing Programs. In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017 ). ACM, New York, NY, USA, 572-585. htps:\/\/doi.org\/10.1145\/ 3062341.3062382"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192382"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_2_26_1","first-page":"139","volume-title":"Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '18)","author":"Ginsbach Philip","unstructured":"Philip Ginsbach , Toomas Remmelg , Michel Steuwer , Bruno Bodin , Christophe Dubach , and Michael F. P . O'Boyle. 2018. Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach . In Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '18) . ACM, New York, NY, USA , 139 - 153 . htps:\/\/doi.org\/10.1145\/3173162.3173182 Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, and Michael F. P. O'Boyle. 2018. Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. In Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '18). ACM, New York, NY, USA, 139-153. htps:\/\/doi.org\/10.1145\/3173162.3173182"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_28_1","volume-title":"Verification and Synthesis of Correct and Secure Systems","author":"Gulwani Sumit","unstructured":"Sumit Gulwani . 2016. Programming by Examples (and its Applications in Data Wrangling) . In Verification and Synthesis of Correct and Secure Systems . IOS Press . htps:\/\/www.microsoft.com\/en-us\/research\/ publication\/programming-examples-applications-data-wrangling\/ Sumit Gulwani. 2016. Programming by Examples (and its Applications in Data Wrangling). In Verification and Synthesis of Correct and Secure Systems. IOS Press. htps:\/\/www.microsoft.com\/en-us\/research\/ publication\/programming-examples-applications-data-wrangling\/"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754769"},{"key":"e_1_3_2_2_30_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)","author":"Inala Jeevana Priya","unstructured":"Jeevana Priya Inala , Nadia Polikarpova , Xiaokang Qiu , Benjamin S. Lerner , and Armando Solar-Lezama . 2017. Synthesis of Recursive ADT Transformations from Reusable Templates . In Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science) , Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg , 247-263. Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, and Armando Solar-Lezama. 2017. Synthesis of Recursive ADT Transformations from Reusable Templates. In Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science), Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg, 247-263."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-017-0294-5"},{"key":"e_1_3_2_2_32_1","volume-title":"Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. arXiv","author":"Kalyan Ashwin","year":"1804","unstructured":"Ashwin Kalyan , Abhishek Mohta , Oleksandr Polozov , Dhruv Batra , Prateek Jain , and Sumit Gulwani . 2018. Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. arXiv : 1804 .01186 [cs] ( Sept. 2018 ). arXiv:cs\/ 1804.01186 Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani. 2018. Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. arXiv: 1804.01186 [cs] ( Sept. 2018 ). arXiv:cs\/ 1804.01186"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908117"},{"key":"e_1_3_2_2_34_1","unstructured":"Chris Lattner. 2002. LLVM: An Infrastructure for Multi-Stage Optimization. Ph.D. Dissertation. Computer Science Dept. University of Illinois at Urbana-Champaign.  Chris Lattner. 2002. LLVM: An Infrastructure for Multi-Stage Optimization. Ph.D. Dissertation. Computer Science Dept. University of Illinois at Urbana-Champaign."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737974"},{"key":"e_1_3_2_2_36_1","volume-title":"International Conference on Machine Learning. 4861-4870","author":"Nye Maxwell","year":"2019","unstructured":"Maxwell Nye , Luke Hewitt , Joshua Tenenbaum , and Armando SolarLezama . 2019 . Learning to Infer Program Sketches . In International Conference on Machine Learning. 4861-4870 . Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, and Armando SolarLezama. 2019. Learning to Infer Program Sketches. In International Conference on Machine Learning. 4861-4870."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331554.3342608"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3082533"},{"key":"e_1_3_2_2_41_1","volume-title":"Neuro-Symbolic Program Synthesis. arXiv:1611. 01855 [cs] (","author":"Parisotto Emilio","year":"2016","unstructured":"Emilio Parisotto , Abdel-rahman Mohamed, Rishabh Singh , Lihong Li , Dengyong Zhou , and Pushmeet Kohli . 2016. Neuro-Symbolic Program Synthesis. arXiv:1611. 01855 [cs] ( Nov. 2016 ). arXiv:cs\/1611.01855 Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, and Pushmeet Kohli. 2016. Neuro-Symbolic Program Synthesis. arXiv:1611. 01855 [cs] ( Nov. 2016 ). arXiv:cs\/1611.01855"},{"key":"e_1_3_2_2_42_1","unstructured":"Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2016. Neuro-Symbolic Program Synthesis. (Nov. 2016 ). htps:\/\/arxiv.org\/abs\/1611.01855v1  Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2016. Neuro-Symbolic Program Synthesis. (Nov. 2016 ). htps:\/\/arxiv.org\/abs\/1611.01855v1"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594297"},{"key":"e_1_3_2_2_44_1","volume-title":"CounterExample Guided Neural Synthesis. arXiv preprint arXiv","author":"Polgreen Elizabeth","year":"2001","unstructured":"Elizabeth Polgreen , Ralph Abboud , and Daniel Kroening . 2020. CounterExample Guided Neural Synthesis. arXiv preprint arXiv : 2001 . 09245 ( 2020 ). Elizabeth Polgreen, Ralph Abboud, and Daniel Kroening. 2020. CounterExample Guided Neural Synthesis. arXiv preprint arXiv: 2001. 09245 ( 2020 )."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_2_47_1","unstructured":"Scott Reed and Nando de Freitas. 2015. Neural ProgrammerInterpreters. (Nov. 2015 ). htps:\/\/arxiv.org\/abs\/1511.06279v4  Scott Reed and Nando de Freitas. 2015. Neural ProgrammerInterpreters. (Nov. 2015 ). htps:\/\/arxiv.org\/abs\/1511.06279v4"},{"key":"e_1_3_2_2_48_1","volume-title":"Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. arXiv","author":"Rosin Christopher D.","year":"1811","unstructured":"Christopher D. Rosin . 2018. Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. arXiv : 1811 .10665 [cs] ( Nov. 2018 ). arXiv:cs\/ 1811.10665 Christopher D. Rosin. 2018. Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. arXiv: 1811.10665 [cs] ( Nov. 2018 ). arXiv:cs\/ 1811.10665"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR-WCRE.2014.6747168"},{"key":"e_1_3_2_2_50_1","volume-title":"Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science), Kenneth L","author":"Singh Rohit","unstructured":"Rohit Singh , Rishabh Singh , Zhilei Xu , Rebecca Krosnick , and Armando Solar-Lezama . 2014. Modular Synthesis of Sketches Using Models . In Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science), Kenneth L . McMillan and Xavier Rival (Eds.). Springer Berlin Heidelberg , 395-414. Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, and Armando Solar-Lezama. 2014. Modular Synthesis of Sketches Using Models. In Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science), Kenneth L. McMillan and Xavier Rival (Eds.). Springer Berlin Heidelberg, 395-414."},{"key":"e_1_3_2_2_51_1","volume-title":"Static Analysis (Lecture Notes in Computer Science)","author":"So Sunbeom","unstructured":"Sunbeom So and Hakjoo Oh. 2017. Synthesizing Imperative Programs from Examples Guided by Static Analysis . In Static Analysis (Lecture Notes in Computer Science) , Francesco Ranzato (Ed.). Springer International Publishing , Freiburg, Germany , 364-381. Sunbeom So and Hakjoo Oh. 2017. Synthesizing Imperative Programs from Examples Guided by Static Analysis. In Static Analysis (Lecture Notes in Computer Science), Francesco Ranzato (Ed.). Springer International Publishing, Freiburg, Germany, 364-381."},{"key":"e_1_3_2_2_52_1","volume-title":"Programming Languages and Systems (Lecture Notes in Computer Science)","author":"Solar-Lezama Armando","unstructured":"Armando Solar-Lezama . 2009. The Sketching Approach to Program Synthesis . In Programming Languages and Systems (Lecture Notes in Computer Science) . Springer, Berlin , Heidelberg , 4-13. htps:\/\/doi.org\/ 10.1007\/978-3-642-10672-9_3 Armando Solar-Lezama. 2009. The Sketching Approach to Program Synthesis. In Programming Languages and Systems (Lecture Notes in Computer Science). Springer, Berlin, Heidelberg, 4-13. htps:\/\/doi.org\/ 10.1007\/978-3-642-10672-9_3"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2013.6671294"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/3326943.3327137"}],"event":{"name":"GPCE '20: Concepts and Experiences","location":"Virtual USA","acronym":"GPCE '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426952","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3425898.3426952","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:24Z","timestamp":1750195464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426952"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":56,"alternative-id":["10.1145\/3425898.3426952","10.1145\/3425898"],"URL":"https:\/\/doi.org\/10.1145\/3425898.3426952","relation":{},"subject":[],"published":{"date-parts":[[2020,11,16]]},"assertion":[{"value":"2020-11-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}