Michael Carbin

Registered user since Thu 8 Mar 2018

Name: Michael Carbin

Bio: Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology.

His primary research focus is the design of programming systems that manipulate system uncertainty to deliver improved performance, energy consumption, and resilience. Uncertainty — in the form of sampled and sensed values, dynamic computation structure, and intermittently available computing — is a first-order challenge in modern computing systems.

His research on verifying the reliability of programs that execute on unreliable hardware has received best paper awards at leading programming languages conferences (OOPSLA 2013 and OOPSLA 2014) as well as a Communications of the ACM Research Highlight in 2016. He has also published work at leading programming languages and systems conferences, including PLDI, OOPSLA, ASPLOS, LICS, SOSP, ICSE, and PPoPP.

Country: United States

Affiliation: Massachusetts Institute of Technology

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

Contributions

SPLASH 2018Committee Member in Organizers within the SPLASH-I-track
SPLASH-I Chair in Organizing Committee
Author of Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models within the Artifacts-track
Mentor in Mentors within the Breakfasts-track
Panelist in Speakers within the PLMW-track
Panelist of Panel of Recent Ph.Ds within the PLMW-track
Author of Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models within the OOPSLA-track
Show activities from other conferences

Using general profile