Type-directed program synthesis for RESTful APIs. - Zheng Guo 003; David Cao; Davin Tjong; Jean Yang 001; Cole Schlesinger; Nadia Polikarpova (PLDI, 2022)