LCTES 2016
co-located with PLDI 2016
Michael Carbin

Registered user since Thu 8 Mar 2018

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.

Affiliation:MIT

Contributions

Show activities from other conferences

PLDI 2016-profile
View general profile