Michael Carbin
Development Assistant Professor
Department of Electrical Engineering and Computer Science
MIT University
United States of America
Biography
Michael Carbin is an Assistant Professor of Electrical Engineering and Computer Science at MIT. Michael Carbin interested in the design of programming systems that deliver improved performance and resilience by incorporating approximate computing and self-healing.
Research Interest
Electrical Engineering and Computer Science
Publications
-
Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware Michael Carbin, Sasa Misailovic, and Martin C. Rinard CACM Research Highlight '16 — Communications of the ACM
-
Towards Correct-by-Construction Probabilistic Inference Eric Atkinson and Michael Carbin NIPS MLS '16 — NIPS Workshop on Machine Learning Systems.
-
Optimizing Convolutional Neural Networks for on Multicores for Scalability, Performance, and Goodput Samyam Rajbhandari, Yuxiong He, Olatunji Ruwase, Michael Carbin and Trishul Chilimbi ASPLOS '17 (To Appear) — Architectural Support for Programming Languages and Operating Systems
