Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
FlashProfile: a framework for synthesizing data profiles
Proceedings of the ACM on Programming Languages (PACMPL), Volume 2, Issue OOPSLAArticle No.: 150, Pages 1–28https://doi.org/10.1145/3276520We 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 ...
- research-articleJune 2014
Test-driven synthesis
PLDI '14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and ImplementationPages 408–418https://doi.org/10.1145/2594291.2594297Programming-by-example technologies empower end-users to create simple programs merely by providing input/output examples. Existing systems are designed around solvers specialized for a specific set of data types or domain-specific language (DSL). We ...
Also Published in:
ACM SIGPLAN Notices: Volume 49 Issue 6 - research-articleJune 2012
Type-directed completion of partial expressions
PLDI '12: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and ImplementationPages 275–286https://doi.org/10.1145/2254064.2254098Modern programming frameworks provide enormous libraries arranged in complex structures, so much so that a large part of modern programming is searching for APIs that surely exist" somewhere in an unfamiliar part of the framework. We present a novel way ...
Also Published in:
ACM SIGPLAN Notices: Volume 47 Issue 6