11 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
Sumith Kulal, Panupong Pasupat, Kartik Chandra +4
We consider the task of mapping pseudocode to long programs that are functionally correct. Given test cases as a mechanism to validate programs, we search over the space of possibl…