66 citations · 104 across the 8 of their papers we have counts for
3 papers · 1 filter
Information-theoretic User Interaction: Significant Inputs for Program Synthesis
Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani +1
Programming-by-example technologies are being deployed in industrial products for real-time synthesis of various kinds of data transformations. These technologies rely on the user…
Quantitative Programming by Examples
Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna +2
Programming-by-Example (PBE) systems synthesize an intended program in some (relatively constrained) domain-specific language from a small number of input-output examples provided…
Interactive Program Synthesis
Vu Le, Daniel Perelman, Oleksandr Polozov +3
Program synthesis from incomplete specifications (e.g. input-output examples) has gained popularity and found real-world applications, primarily due to its ease-of-use. Since this…