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

Contributions

POPL 2022 Committee Member in Program Committee within the POPL-track
Author of Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs within the POPL-track
MAPS 2021 Invited Speaker of Engineering Uncertain Computations within the MAPS 2021-track
SPLASH 2021 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
LAFI 2021 Author of On the Automatic Derivation of Importance Samplers from Pairs of Probabilistic Programs within the LAFI 2021-track
PLDI 2021 Speaker of Ask Me Anything with Michael Carbin within the Ask Me Anything-track
ESEC/FSE 2021 Author of Generalizable and Interpretable Learning for Configuration Extrapolation within the Research Papers-track
POPL 2021 Author of λS: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes within the POPL-track
Author of Simplifying Multiple-Statement Reductions with the Polyhedral Model within the POPL-track
PLMW@PLDI 2020 Speaker of Mentoring talk: Research: It Takes a Village within the PLMW@PLDI 2020-track
SPLASH 2020 Author of Programming and Reasoning with Partial Observability within the OOPSLA Artifacts-track
Author of Programming and Reasoning with Partial Observability within the OOPSLA-track
LAFI 2020 Author of Gen and MetaGen within the LAFI (né PPS)-track
Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track
PLDI 2020 Author of Reactive Probabilistic Programming within the PLDI Research Papers-track
Committee Member in Program Committee within the PLDI Research Papers-track
WAX 2019 Co-organizer in Organizing Committee within the WAX 2019-track
Author of NAP: Noise-Based Sensitivity Analysis for Programs. within the WAX 2019-track
POPL 2020 Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track
SPLASH 2019 Session Chair of Keynote (part of Rebase)
Session Chair of Rebase Keynote (Might) (part of Rebase)
Co-chair in Organizing Committee within the Rebase-track
Rebase Chair in Organizing Committee
Chair of Welcome, Introduction within the Rebase-track
PLMW @ PLDI 2018 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
MAPL 2018 Author of The Three Pillars of Machine Programming within the MAPL 2018-track
ICFP 2019 Author of Sound and robust solid modeling via exact real arithmetic and continuity within the Research Papers-track
SPLASH 2018 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
PPS 2018 Author of Constructive probabilistic semantics with non-spatial locales within the PPS 2018-track
PLMW 2017 Organizer in Mentors within the PLMW-track
PPS 2017 Committee Member in Program Committee within the PPS-track
PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI 2016-track
Speaker of Approximate Computing: it's better than good, it's good enough! within the PLMW@PLDI 2016-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Committee Member in Posters Committee within the Posters-track
PLDI 2017 Committee Member in External Review Committee
PLDI 2016 Committee Member in Program Committee
Session Chair of New Languages (part of Research Papers)
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-track
WAX 2015 Programme Committee in Program Committee within the WAX-track
SPLASH 2015 Committee Member in Organizing Committee within the Doctoral Symposium-track
SPLASH 2014 Author of Chisel: Reliability-Aware Optimization of Approximate Computational Kernels within the OOPSLA-track
SPLASH 2013 Author of Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware within the OOPSLA-track
SPLASH 2012 Author of Bolt: on-demand infinite loop escape in unmodified binaries within the OOPSLA Research Papers-track