Sotabase

Career

· Assistant Professor, Massachusetts Institute of Technology2016–2023
· Associate Professor, Massachusetts Institute of Technology2016–
· PhD Student, Massachusetts Institute of Technology2015–
· Visiting Researcher, Massachusetts Institute of Technology2015–2015
· Researcher, Microsoft Research2014–2018
· Teaching Assistant for 6.035: Computer Language Engineering, Massachusetts Institute of Technology2013–
· Master's - Science, Massachusetts Institute of Technology2009–
· Graduate Intern, Microsoft Research2007–
· Bachelor's of Science with Honors, Stanford University2006–
· Undergrad Intern, Microsoft Research2005–
· Undergrad. Researcher, Stanford University2004–2006

Publications (191)

The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks
International Conference on Learning Representations · 2018
3,969
cited
Linear Mode Connectivity and the Lottery Ticket Hypothesis
International Conference on Machine Learning · 2019
716
cited
Automatically patching errors in deployed software
Symposium on Operating Systems Principles · 2009
428
cited
Comparing Rewinding and Fine-tuning in Neural Network Pruning
International Conference on Learning Representations · 2020
423
cited
The Lottery Ticket Hypothesis for Pre-trained BERT Networks
Neural Information Processing Systems · 2020
403
cited
Dynamic knobs for responsive power-aware computing
ASPLOS XVI · 2011
332
cited
The Lottery Ticket Hypothesis: Training Pruned Neural Networks
arXiv.org · 2018
287
cited
Verifying quantitative reliability for programs that execute on unreliable hardware
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2013
262
cited
Pruning Neural Networks at Initialization: Why are We Missing the Mark?
International Conference on Learning Representations · 2020
256
cited
Stabilizing the Lottery Ticket Hypothesis
2019
243
cited
Using Datalog with Binary Decision Diagrams for Program Analysis
Asian Symposium on Programming Languages and Systems · 2005
226
cited
Context-sensitive program analysis as database queries
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2005
191
cited
Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks
International Conference on Machine Learning · 2018
179
cited
Chisel
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2014
137
cited
The Lottery Tickets Hypothesis for Supervised and Self-supervised Pre-training in Computer Vision Models
Computer Vision and Pattern Recognition · 2020
136
cited
BioMedLM: A 2.7B Parameter Language Model Trained On Biomedical Text
arXiv.org · 2024
115
cited
The Lottery Ticket Hypothesis at Scale
arXiv.org · 2019
104
cited
Proving acceptability properties of relaxed nondeterministic approximate programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2012
103
cited
Detecting and Escaping Infinite Loops with Jolt
European Conference on Object-Oriented Programming · 2011
82
cited
Automatically identifying critical input regions and code in applications
International Symposium on Software Testing and Analysis · 2010
66
cited
Sotabase
Michael Carbin | Researcher Profile | Sotabase | Sotabase