Wed 15 Jun 2022 14:10 - 14:30 at Kon-Tiki - Synthesis I Chair(s): Ruben Martins
Thu 16 Jun 2022 02:10 - 02:30 at Kon-Tiki - Synthesis I

With the rise of software-as-a-service and microservice architectures, RESTful APIs are now ubiquitous in mobile and web applications. A service can have tens or hundreds of API methods, making it a challenge for programmers to find the right combination of methods to solve their task.

We present APIphany, a component-based synthesizer for programs that compose calls to RESTful APIs. The main innovation behind APIphany is the use of precise \emph{semantic types}, both to specify user intent and to direct the search. APIphany contributes three novel mechanisms to overcome challenges in adapting component-based synthesis to the REST domain: (1) a type inference algorithm for augmenting REST specifications with semantic types; (2) an efficient synthesis technique for ‘‘wrangling’’ semi-structured data, which is commonly required in working with RESTful APIs; and (3) a new form of simulated execution to avoid executing APIs calls during synthesis. We evaluate APIphany on three real-world APIs and 32 tasks extracted from GitHub repositories and StackOverflow. In our experiments, APIphany found correct solutions to 29 tasks, with 23 of them reported among top ten synthesis results.

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 14:50
Synthesis I PLDI at Kon-Tiki +12h
Chair(s): Ruben Martins Carnegie Mellon University
13:30
20m
Talk
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
PLDI
Rui Dong University of Michigan, Zhicheng Huang University of Michigan, Ian Iong Lam University of Michigan, Yan Chen University of Michigan, Xinyu Wang University of Michigan
DOI Pre-print
13:50
20m
Talk
Synthesizing Analytical SQL Queries from Computation Demonstration
PLDI
Xiangyu Zhou University of Washington, Rastislav Bodik University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA
DOI
14:10
20m
Talk
Type-Directed Program Synthesis for RESTful APIs
PLDI
Zheng Guo University of California, San Diego, David Cao University of California, San Diego, Davin Tjong University of California, San Diego, Jean Yang Akita Software, Cole Schlesinger Akita Software, Nadia Polikarpova University of California at San Diego
DOI
14:30
20m
Talk
Visualization Question Answering Using Introspective Program Synthesis
PLDI
Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara
DOI

Thu 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

01:30 - 02:50
Synthesis I PLDI at Kon-Tiki
01:30
20m
Talk
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
PLDI
Rui Dong University of Michigan, Zhicheng Huang University of Michigan, Ian Iong Lam University of Michigan, Yan Chen University of Michigan, Xinyu Wang University of Michigan
DOI Pre-print
01:50
20m
Talk
Synthesizing Analytical SQL Queries from Computation Demonstration
PLDI
Xiangyu Zhou University of Washington, Rastislav Bodik University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA
DOI
02:10
20m
Talk
Type-Directed Program Synthesis for RESTful APIs
PLDI
Zheng Guo University of California, San Diego, David Cao University of California, San Diego, Davin Tjong University of California, San Diego, Jean Yang Akita Software, Cole Schlesinger Akita Software, Nadia Polikarpova University of California at San Diego
DOI
02:30
20m
Talk
Visualization Question Answering Using Introspective Program Synthesis
PLDI
Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara
DOI