Type-directed completion of partial expressions. - Daniel Perelman; Sumit Gulwani; Thomas Ball 001; Dan Grossman (PLDI, 2012)

Code hunt: searching for secret code for fun. - Nikolai Tillmann; Judith Bishop; R. Nigel Horspool; Daniel Perelman; Tao Xie 001 (SBST, 2014)

Test-driven synthesis. - Daniel Perelman; Sumit Gulwani; Dan Grossman; Peter Provost (PLDI, 2014)

Program Synthesis Without Full Specifications for Novel Applications. - Daniel Perelman (2015)

Interactive Program Synthesis. - Vu Le 002; Daniel Perelman; Oleksandr Polozov; Mohammad Raza; Abhishek Udupa; Sumit Gulwani (CoRR, 2017)

FlashProfile: Interactive Synthesis of Syntactic Profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (CoRR, 2017)

FlashProfile: a framework for synthesizing data profiles. - Saswat Padhi; Prateek Jain 002; Daniel Perelman; Oleksandr Polozov; Sumit Gulwani; Todd D. Millstein (Proc. ACM Program. Lang., 2018)

An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. - Mengshi Zhang; Daniel Perelman; Vu Le 002; Sumit Gulwani (ICPR, 2020)

Information-theoretic User Interaction: Significant Inputs for Program Synthesis. - Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani; Daniel Perelman (CoRR, 2020)

CoWrangler: Recommender System for Data-Wrangling Scripts. - Bhavya Chopra; Anna Fariha; Sumit Gulwani; Austin Z. Henley; Daniel Perelman; Mohammad Raza; Sherry Shi; Danny Simmons; Ashish Tiwari 001 (SIGMOD Conference Companion, 2023)

FlashFill++: Scaling Programming by Example by Cutting to the Chase. - José Cambronero; Sumit Gulwani; Vu Le 002; Daniel Perelman; Arjun Radhakrishna; Clint Simon; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2023)