3
Publications
140
Citations
3
H-Index
2017
Active since
Affiliations
Zachery Miranda is an author at Massachusetts Institute of Technology specializing in design, computer science, and engineering.
Top concepts
DesignEngineeringData ScienceComputer ScienceDeep LearningFormal MethodsSoftware DesignUser ExperienceMachine LearningProgram Analysis
Publications per year
2017–2018
3
3
Leilani Battle, Peitong Duan, Zachery Miranda et al. · 2018 · 112 citations · Full text
Selecting Representative Examples for Program Synthesis
Yewen Pu, Zachery Miranda, Armando Solar-Lezama et al. · arXiv (Cornell University) · 2017 · 14 citations · Full text
Artificial Intelligence, Structured Prediction, Engineering +20
Beagle: Automated Extraction and Interpretation of Visualizations from\n the Web
Leilani Battle, Peitong Duan, Zachery Miranda et al. · arXiv (Cornell University) · 2017 · 14 citations · Full text
Rows per page
1–3 of 3