Scholar
martin rinard
Google Scholar ID: hxlxVEUAAAAJ
MIT
Citations & Impact
Citations
6,076
H-index
36
i10-index
119
Publications
20
Co-authors
0
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- His research has been recognized with many honors and awards. Some of his notable publications include:
- - Crayon: Saving Power through Shape and Color Approximation on Next-Generation Displays
- - Automatic Error Elimination by Horizontal Code Transfer Across Multiple Applications
- - Quality of Service Profiling
- - Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels (Best Paper Award)
- - Configuration Synthesis for Programmable Analog Devices with Arco
- - Automatic Patch Generation by Learning Correct Code
- - From Natural Language Specifications to Program Input Parsers
- - Defibrillator for Stalled Software
Research Experience
- He has been involved in leading roles in various research projects such as Approximate Computing, Code Transfer, Genesis, Acceptability-Oriented Computing, Credible Compilation, Prophet, Parallel Computing, Loop Perforation, and Arco.
Background
- Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology and a member of the Computer Science and Artificial Intelligence Laboratory. His research focuses on software systems and related topics, including computer security, program analysis and compilation, machine learning and programming, approximate computing, and software robustness and reliability.
Miscellany
- His students and postdocs have gone on to top positions in academia and industry.
Co-authors