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.
Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change
10:30 - 11:30 | Ask Me AnythingAsk Me Anything at PLDI-A Chair(s): Kathleen Fisher Tufts University, Sam Guyer Tufts University, Roopsha Samanta Purdue University | ||
10:30 20mLive Q&A | Ask Me Anything with Kim Hazelwood Ask Me Anything Kim Hazelwood Facebook AI Research | ||
10:50 20mLive Q&A | Ask Me Anything With Emery Berger Ask Me Anything Emery D. Berger University of Massachusetts Amherst | ||
11:10 20mLive Q&A | Ask Me Anything with Michael Carbin Ask Me Anything Michael Carbin Massachusetts Institute of Technology | ||
