Michael Carbin

Michael Carbin publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Michael Carbin sits on this spectrum.

Michael Carbin D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Michael Carbin sits on this spectrum.

Best Publications

• The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks.

  Jonathan Frankle;Michael Carbin

  1943
  Citations

• The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks

  Jonathan Frankle;Michael Carbin

  1071
  Citations

• Automatically patching errors in deployed software

  Jeff H. Perkins;Sunghun Kim;Sam Larsen;Saman Amarasinghe

  511
  Citations

• Dynamic knobs for responsive power-aware computing

  Henry Hoffmann;Stelios Sidiroglou;Michael Carbin;Sasa Misailovic

  436
  Citations

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Michael Carbin;Sasa Misailovic;Martin C. Rinard

  322
  Citations

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Michael Carbin;Sasa Misailovic;Martin C. Rinard

  314
  Citations

• Using datalog with binary decision diagrams for program analysis

  John Whaley;Dzintars Avots;Michael Carbin;Monica S. Lam

  268
  Citations

• Context-sensitive program analysis as database queries

  Monica S. Lam;John Whaley;V. Benjamin Livshits;Michael C. Martin

  236
  Citations

• Chisel: reliability- and accuracy-aware optimization of approximate computational kernels

  Sasa Misailovic;Michael Carbin;Sara Achour;Zichao Qi

  231
  Citations

• Comparing Rewinding and Fine-tuning in Neural Network Pruning.

  Alex Renda;Jonathan Frankle;Michael Carbin

  220
  Citations

• Stabilizing the Lottery Ticket Hypothesis

  Jonathan Frankle;Gintare Karolina Dziugaite;Daniel M. Roy;Michael Carbin

  200
  Citations

• The Lottery Ticket Hypothesis: Training Pruned Neural Networks.

  Jonathan Frankle;Michael Carbin

  169
  Citations

• Proving acceptability properties of relaxed nondeterministic approximate programs

  Michael Carbin;Deokhwan Kim;Sasa Misailovic;Martin C. Rinard

  132
  Citations

• Detecting and escaping infinite loops with jolt

  Michael Carbin;Sasa Misailovic;Michael Kling;Martin C. Rinard

  93
  Citations

• The Lottery Tickets Hypothesis for Supervised and Self-supervised Pre-training in Computer Vision Models

  Tianlong Chen;Jonathan Frankle;Shiyu Chang;Sijia Liu

  93
  Citations

• Linear Mode Connectivity and the Lottery Ticket Hypothesis

  Jonathan Frankle;Gintare Karolina Dziugaite;Daniel M. Roy;Michael Carbin

  93
  Citations

• The Lottery Ticket Hypothesis at Scale

  Jonathan Frankle;Gintare Karolina Dziugaite;Daniel M. Roy;Michael Carbin

  79
  Citations

• Automatically identifying critical input regions and code in applications

  Michael Carbin;Martin C. Rinard

  76
  Citations

• Automatic input rectification

  Fan Long;Vijay Ganesh;Michael Carbin;Stelios Sidiroglou

  72
  Citations

• Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks

  Charith Mendis;Alex Renda;Dr.Saman Amarasinghe;Michael Carbin

  69
  Citations