Not registered as user yet
Name: Michael Carbin
Bio: Michael Carbin is 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.
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.
Personal website: http://people.csail.mit.edu/mcarbin/
PLDI 2016 Activities
- Speaker in Organizing Committee for PLMW@PLDI 2016
- Committee Member in Program Committee for PLDI 2016
- Session Chair of New Languages (part of PLDI 2016 Research Papers)
- Speaker of Approximate Computing: it's better than good, it's good enough! within the PLMW@PLDI 2016-track in PLMW@PLDI
- Show activities from other conferences
View general profile