11 citations · 13 across the 3 of their papers we have counts for
3 papers
cs.LG2019★ 11 cited
SPoC: Search-based Pseudocode to Code
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…
cs.PL2017★ 2 cited
Eventually Sound Points-To Analysis with Missing Code
Osbert Bastani, Lazaro Clapp, Saswat Anand +2
Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native code that cannot be ana…
cs.PF2012
Stochastic Superoptimization
Eric Schkufza, Rahul Sharma, Alex Aiken
We formulate the loop-free, binary superoptimization task as a stochastic search problem. The competing constraints of transformation correctness and performance improvement are en…