12 citations · 17 across the 6 of their papers we have counts for
1 paper · 2 filters
Celeste Barnaby, Danny Ding, Osbert Bastani +1
High-level specifications of code are inherently ambiguous, and prior systems have explored interactive techniques to help users clarify their intent and resolve such ambiguities.…