SPoC: Search-based Pseudocode to Code - Kulal, Sumith; Pasupat, Panupong; Chandra, Kartik; Lee, Mina; Padon, Oded; Aiken, Alex; Liang, Percy S (Advances in Neural Information Processing Systems, 2019)