Thu 8 Nov 2018 16:37 - 17:00 at Studio 2 - Potpourri Chair(s): Anders Møller

We address the problem of learning a syntactic profile for a collection of strings, i.e. a set of regex-like patterns that succinctly describe the syntactic variations in the strings. Real-world datasets, typically curated from multiple sources, often contain data in various syntactic formats. Thus, any data processing task is preceded by the critical step of data format identification. However, manual inspection of data to identify the different formats is infeasible in standard big-data scenarios.

Prior techniques are restricted to a small set of pre-defined patterns (e.g. digits, letters, words etc.), and provide no control over granularity of profiles. We define syntactic profiling as a problem of clustering strings based on syntactic similarity, followed by identifying patterns that succinctly describe each cluster. We present a technique for synthesizing such profiles over a given language of patterns, that also allows for interactive refinement by requesting a desired number of clusters.

Using a state-of-the-art inductive synthesis framework, PROSE, we have implemented our technique as FlashProfile. Across 153 tasks over 75 large real datasets, we observe a median profiling time of only ~0.7s. Furthermore, we show that access to syntactic profiles may allow for more accurate synthesis of programs, i.e. using fewer examples, in programming-by-example (PBE) workflows such as Flash Fill.

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00: PotpourriOOPSLA at Studio 2
Chair(s): Anders MøllerAarhus University
15:30 - 15:52
DeepBugs: A Learning Approach to Name-based Bug Detection
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
15:52 - 16:15
ExceLint: Automatically Finding Spreadsheet Formula Errors
Dan Barowy, Emery D. BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research
16:15 - 16:37
Finding Code That Explodes Under Symbolic Evaluation
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington
16:37 - 17:00
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat PadhiUniversity of California, Los Angeles, Prateek JainMicrosoft Research Lab, India, Daniel PerelmanUniversity of Washington, USA, Alex PolozovMicrosoft Research, Sumit GulwaniMicrosoft Research, Todd MillsteinUniversity of California, Los Angeles