{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:00:15Z","timestamp":1760043615858,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523450","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"122-136","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Type-directed program synthesis for RESTful APIs"],"prefix":"10.1145","author":[{"given":"Zheng","family":"Guo","sequence":"first","affiliation":[{"name":"University of California at San Diego, USA"}]},{"given":"David","family":"Cao","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}]},{"given":"Davin","family":"Tjong","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}]},{"given":"Jean","family":"Yang","sequence":"additional","affiliation":[{"name":"Akita Software, USA"}]},{"given":"Cole","family":"Schlesinger","sequence":"additional","affiliation":[{"name":"Akita Software, USA"}]},{"given":"Nadia","family":"Polikarpova","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_2_1","volume-title":"USA","author":"Chaudhuri Avik","year":"2011","unstructured":"Jong-hoon (David) An, Avik Chaudhuri , Jeffrey S. Foster , and Michael Hicks . 2011 . Dynamic inference of static types for ruby. In POPL. Austin, TX , USA , January 26-28, 2011, Thomas Ball and Mooly Sagiv (Eds.). ACM, 459\u2013472. Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks. 2011. Dynamic inference of static types for ruby. In POPL. Austin, TX, USA, January 26-28, 2011, Thomas Ball and Mooly Sagiv (Eds.). ACM, 459\u2013472."},{"key":"e_1_3_2_1_3_1","unstructured":"Lennart Augusstson. 2005. Djinn. https:\/\/github.com\/augustss\/djinn  Lennart Augusstson. 2005. Djinn. https:\/\/github.com\/augustss\/djinn"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417052"},{"volume-title":"Proceedings of the 34th International Conference on Software Engineering (ICSE \u201912)","author":"Raymond P.","key":"e_1_3_2_1_6_1","unstructured":"Raymond P. L. Buse and Westley Weimer. 2012. Synthesizing API Usage Examples . In Proceedings of the 34th International Conference on Software Engineering (ICSE \u201912) . IEEE Press, 782\u2013792. isbn:9781467310673 Raymond P. L. Buse and Westley Weimer. 2012. Synthesizing API Usage Examples. In Proceedings of the 34th International Conference on Software Engineering (ICSE \u201912). IEEE Press, 782\u2013792. isbn:9781467310673"},{"key":"e_1_3_2_1_7_1","volume-title":"Type Inference with Run-time Logs. In Workshop on Scripts to Programs (STOP).","author":"Chugh Ravi","year":"2011","unstructured":"Ravi Chugh , Sorin Lerner , and Ranjit Jhala . 2011 . Type Inference with Run-time Logs. In Workshop on Scripts to Programs (STOP). Ravi Chugh, Sorin Lerner, and Ranjit Jhala. 2011. Type Inference with Run-time Logs. In Workshop on Scripts to Programs (STOP)."},{"key":"e_1_3_2_1_8_1","volume-title":"Reps","author":"Feng Yu","year":"2017","unstructured":"Yu Feng , Ruben Martins , Yuepeng Wang , Isil Dillig , and Thomas W . Reps . 2017 . Component-based synthesis for complex APIs. In POPL. Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, and Thomas W. Reps. 2017. Component-based synthesis for complex APIs. In POPL."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699751"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174154"},{"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","unstructured":"Zheng Guo David Cao Davin Tjong Jean Yang Cole Schlesinger and Nadia Polikarpova. 2022. Type-Directed Program Synthesis for RESTful APIs (Technical Report). arXiv preprint arXiv:2203.16697 arxiv:2203.16697  Zheng Guo David Cao Davin Tjong Jean Yang Cole Schlesinger and Nadia Polikarpova. 2022. Type-Directed Program Synthesis for RESTful APIs (Technical Report). arXiv preprint arXiv:2203.16697 arxiv:2203.16697"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371080"},{"key":"e_1_3_2_1_14_1","unstructured":"Gurobi Optimization LLC. 2021. Gurobi Optimizer Reference Manual. https:\/\/www.gurobi.com  Gurobi Optimization LLC. 2021. Gurobi Optimizer Reference Manual. https:\/\/www.gurobi.com"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Tihomir Gvero Viktor Kuncak Ivan Kuraj and Ruzica Piskac. 2013. Complete completion using types and weights. In PLDI.  Tihomir Gvero Viktor Kuncak Ivan Kuraj and Ruzica Piskac. 2013. Complete completion using types and weights. In PLDI.","DOI":"10.1145\/2491956.2462192"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_21"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786875"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428273"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884856"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360578"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384689"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04652-0_5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254098"},{"key":"e_1_3_2_1_27_1","unstructured":"Inc. Postman. 2020. 2020 State of The API Report. https:\/\/www.postman.com\/state-of-api\/api-technologies\/  Inc. Postman. 2020. 2020 State of The API Report. https:\/\/www.postman.com\/state-of-api\/api-technologies\/"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594321"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"e_1_3_2_1_30_1","volume-title":"USA","author":"Singh Rishabh","year":"2015","unstructured":"Rishabh Singh and Sumit Gulwani . 2015 . Predicting a Correct Program in Programming by Example. In CAV - 27th International Conference, 2015, San Francisco, CA , USA , July 18-24, 2015, Proceedings, Part I. 398\u2013414. Rishabh Singh and Sumit Gulwani. 2015. Predicting a Correct Program in Programming by Example. In CAV - 27th International Conference, 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 398\u2013414."},{"key":"e_1_3_2_1_31_1","volume-title":"API Report","author":"Inc. SmartBear. 2020.","year":"2020","unstructured":"Inc. SmartBear. 2020. The State of API Report 2020 . https:\/\/static1.smartbear.co\/smartbearbrand\/media\/pdf\/smartbear_state_of_api_2020.pdf Inc. SmartBear. 2020. The State of API Report 2020. https:\/\/static1.smartbear.co\/smartbearbrand\/media\/pdf\/smartbear_state_of_api_2020.pdf"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/321879.321884"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00025"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062386"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048075"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Diego CA USA","acronym":"PLDI '22"},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523450","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":36,"alternative-id":["10.1145\/3519939.3523450","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523450","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}