Neural Program Generation Modulo Static Analysis - Mukherjee, Rohan; Wen, Yeming; Chaudhari, Dipak; Reps, Thomas; Chaudhuri, Swarat; Jermaine, Christopher (Advances in Neural Information Processing Systems, 2021)