Registered user since Thu 8 Mar 2018
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.
Contributions
2025
2024
SPLASH
2023
2022
SPLASH
- Author of Semi-symbolic Inference for Efficient Streaming Probabilistic Programming within the OOPSLA-track
- Author of Semi-symbolic Inference for Efficient Streaming Probabilistic Programming within the Posters-track
- Author of Tower: Data Structures in Quantum Superposition within the OOPSLA-track
- Author of Tower: Data Structures in Quantum Superposition within the Posters-track
PLDI
2021
SPLASH
- Committee Member in Review Committee within the OOPSLA-track
- Author of Programming with Neural Surrogates of Programs within the Posters-track
- Author of Statically Bounded-Memory Delayed Sampling for Probabilistic Streams within the OOPSLA-track
- Author of Programming and Reasoning with Partial Observability within the SIGPLAN Papers-track
- Author of Programming with Neural Surrogates of Programs within the Onward! Papers-track
- Author of Reactive Probabilistic Programming within the SIGPLAN Papers-track
- Author of Statically Bounded-Memory Delayed Sampling for Probabilistic Streams within the Posters-track
POPL
2020
SPLASH
PLDI
2019
SPLASH
2018
SPLASH
- Committee 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
PLMW
- Speaker 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