Zachery Miranda

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 4

Top Topics

Program Synthesis

Visualization Tool

Top Venues

Publications

Leilani Battle, Peitong Duan, Zachery Miranda, Dana Mukusheva, Remco Chang, Michael Stonebraker
Beagle: Automated Extraction and Interpretation of Visualizations from the Web. CHI (2018)
Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
Selecting Representative Examples for Program Synthesis. ICML (2018)
Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
Learning to select examples for program synthesis. CoRR (2017)
Leilani Battle, Peitong Duan, Zachery Miranda, Dana Mukusheva, Remco Chang, Michael Stonebraker
Beagle: Automated Extraction and Interpretation of Visualizations from the Web. CoRR (2017)