Using Active Learning to Synthesize Models of Applications That Access Databases
We present Konure, a new system that uses active learning to infer models of applications that access relational databases. Konure comprises a domain-specific language (each model is a program in this language) and associated inference algorithm that infers models of applications whose behavior can be expressed in this language. The inference algorithm generates inputs and database contents, runs the application, then observes the resulting database traffic and outputs to progressively refine its current model hypothesis. Because the technique works with only externally observable inputs, outputs, and database contents, it can infer the behavior of applications written in arbitrary languages using arbitrary coding styles (as long as the behavior of the application is expressible in the domain-specific language). Konure also implements a regenerator that produces a translated Python implementation of the application that systematically includes relevant security and error checks.
Mon 24 JunDisplayed time zone: Tijuana, Baja California change
14:00 - 15:30 | |||
14:00 20mTalk | Resource-Guided Program Synthesis PLDI Research Papers Tristan Knoth University of California at San Diego, USA, Di Wang Carnegie Mellon University, Nadia Polikarpova University of California, San Diego, Jan Hoffmann Carnegie Mellon University Media Attached | ||
14:20 20mTalk | Using Active Learning to Synthesize Models of Applications That Access Databases PLDI Research Papers Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology DOI Media Attached | ||
14:40 20mTalk | Synthesizing Database Programs for Schema Refactoring PLDI Research Papers Yuepeng Wang University of Texas at Austin, James Dong University of Texas at Austin, USA, Rushi Shah UT Austin, Işıl Dillig UT Austin Media Attached | ||
15:00 20mTalk | Synthesis and Machine Learning for Heterogeneous Extraction PLDI Research Papers Arun Iyer Microsoft Research, India, Manohar Jonnalagedda Inpher Inc., Switzerland, Suresh Parthasarathy Microsoft Research, India, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research Media Attached |