Search Results for author: Daniel Perelman

Found 2 papers, 0 papers with code

Information-theoretic User Interaction: Significant Inputs for Program Synthesis

no code implementations22 Jun 2020 Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman

In the context of interactive program synthesis, we use the above result to develop an {\em{active program learner}} that generates the significant inputs to pose as queries to the user in each iteration.

Clustering Program Synthesis

FlashProfile: A Framework for Synthesizing Data Profiles

no code implementations17 Sep 2017 Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd Millstein

However, manual inspection of data to identify the different formats is infeasible in standard big-data scenarios.

Clustering

Cannot find the paper you are looking for? You can Submit a new open access paper.