Michael Carbin

Registered user since Thu 8 Mar 2018

Name: Michael Carbin

Bio: Michael Carbin was a Ph.D. Candidate in Electrical Engineering and Computer Science at MIT. His interests include the design of programming systems that deliver improved performance and resilience by incorporating approximate computing and self-healing. I will be re-joining MIT in January 2016 as an Assistant Professor. In the interim, I will be working at Microsoft Research in Redmond.

His work on program analysis at Stanford University as an undergraduate received an award for Best Computer Science Undergraduate Honors Thesis. As a graduate student, he has received the MIT Lemelson Presidential and Microsoft Research Graduate Fellowships. His recent research on verifying the reliability of programs that execute on unreliable hardware received a best paper award at OOPSLA 2013.

Country: United States

Affiliation: MIT

Personal website: http://people.csail.mit.edu/mcarbin/

Contributions

PLMW @ PLDI 2018Speaker in Speakers within the PLMW @ PLDI 2018-track
Presenter of Poster Session within the PLMW @ PLDI 2018-track
Organizer in Organizing Committee within the PLMW @ PLDI 2018-track
Session Chair of Session A (part of PLMW @ PLDI 2018)
Presenter of Introduction and Welcome within the PLMW @ PLDI 2018-track
Co-Host of Wrap up within the PLMW @ PLDI 2018-track
Presenter of The Importance of Communication within the PLMW @ PLDI 2018-track
MAPL 2018Author of The Three Pillars of Machine Programming within the MAPL 2018-track
Show activities from other conferences

PLDI 2018-profile
View general profile