Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Wed 25 Oct 2017 13:30 - 14:00 at Regency B - Program Generation and Synthesis Chair(s): Emina Torlak

Companies want to offer chat bots to their customers and employees to answer questions, enable self-service, and showcase their products and services. Implementing and maintaining chat bots by hand costs time and is expensive. Companies typically have web APIs for their services, which are often documented with an API specification. This paper presents a compiler that takes a Swagger API specification and automatically generates a chat bot that helps the user make API calls. The generated bot is self-documenting, using descriptions from the API specification to answer help requests. Unfortunately, Swagger specifications are not always good enough to generate high-quality chat bots.
This paper addresses this problem via a novel in-dialogue curation approach: the power user can improve the generated chat bot by interacting with it. The result of this interaction is then saved back into the original API specification. This paper reports on the design and implementation of the chat bot compiler, the process of in-dialogue curation, as well as working case studies.

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Program Generation and SynthesisOnward! Papers at Regency B
Chair(s): Emina Torlak University of Washington
13:30
30m
Talk
Generating Chat Bots from Web API Specifications
Onward! Papers
Mandana Vaziri IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon IBM Research, Martin Hirzel IBM Research
14:00
30m
Talk
ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Onward! Papers
Edmund Lam University of Colorado Boulder, Peilun Zhang , Bor-Yuh Evan Chang University of Colorado Boulder
14:30
30m
Talk
Unbounded Superoptimization
Onward! Papers
Abhinav Jangda University of Massachusetts, Amherst, Greta Yorsh Queen Mary University of London