Zachery Miranda

According to our database, Zachery Miranda authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Selecting Representative Examples for Program Synthesis.

Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling

Proceedings of the 35th International Conference on Machine Learning, 2018

Beagle: Automated Extraction and Interpretation of Visualizations from the Web.

Leilani Battle, Peitong Duan, Zachery Miranda, Dana Mukusheva, Remco Chang, Michael Stonebraker

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Learning to select examples for program synthesis.

Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling

CoRR, 2017