66 citations · 222 across the 59 of their papers we have counts for
4 papers · 1 filter
Programming by Rewards
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain +4
We formalize and study ``programming by rewards'' (PBR), a new approach for specifying and synthesizing subroutines for optimizing some quantitative metric such as performance, res…
Computer-Aided Personalized Education
Rajeev Alur, Richard Baraniuk, Rastislav Bodik +10
The shortage of people trained in STEM fields is becoming acute, and universities and colleges are straining to satisfy this demand. In the case of computer science, for instance,…
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…
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna +2
The reliability and proper function of data-driven applications hinge on the data's continued conformance to the applications' initial design. When data deviates from this initial…