3 citations · 5 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 1 cited
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…
cs.DB2020
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…