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
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 15:00: Program Generation and SynthesisOnward! Papers at Regency B
Chair(s): Emina TorlakUniversity of Washington
13:30 - 14:00
Generating Chat Bots from Web API Specifications
Onward! Papers
Mandana VaziriIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonIBM Research, Martin HirzelIBM Research
14:00 - 14:30
ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Onward! Papers
Edmund LamUniversity of Colorado Boulder, Peilun Zhang, Bor-Yuh Evan ChangUniversity of Colorado Boulder
14:30 - 15:00
Unbounded Superoptimization
Onward! Papers
Abhinav JangdaUniversity of Massachusetts, Amherst, Greta YorshQueen Mary University of London