2 Hits in 0.78 sec

FlashProfile: Interactive Synthesis of Syntactic Profiles

Saswat Padhi, Prateek Jain, Daniel Microsoft, Oleksandr Polozov, Sumit Gulwani, Todd Ucla
We present a technique for generating comprehensive syntactic profiles in terms of user-defined patterns that also allows for interactive refinement.  ...  Our implementation, FlashProfile, shows a median profiling time of 0.7 s over 142 tasks on 74 real datasets.  ...  We present FlashProfile, a novel technique for learning syntactic profiles that satisfy the following three desirable properties: Comprehensive: We expose the syntactic profile as a set of patterns, which  ... 

FlashProfile: A Framework for Synthesizing Data Profiles

Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd Millstein
2017 arXiv   pre-print
Using a state-of-the-art inductive synthesis framework, PROSE, we have implemented our technique as FlashProfile.  ...  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 FlashFill.  ...  We also thank the anonymous reviewers for their constructive feedback on earlier versions of this paper. This  ... 
arXiv:1709.05725v1 fatcat:ke3hashnozekpmzcfr4dqesr4e