activity
20122025
most citedDo the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches

75 citations · 176 across the 17 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.PL2016

Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)

Eric L Seidel, Ranjit Jhala, Westley Weimer

Static type errors are a common stumbling block for newcomers to typed functional languages. We present a dynamic approach to explaining type errors by generating counterexample wi…