Learning to select examples for program synthesis. - Yewen Pu; Zachery Miranda; Armando Solar-Lezama; Leslie Pack Kaelbling (CoRR, 2017)

Beagle: Automated Extraction and Interpretation of Visualizations from the Web. - Leilani Battle; Peitong Duan; Zachery Miranda; Dana Mukusheva; Remco Chang; Michael Stonebraker (CHI, 2018)

Selecting Representative Examples for Program Synthesis. - Yewen Pu; Zachery Miranda; Armando Solar-Lezama; Leslie Pack Kaelbling (ICML, 2018)