Michael Carbin

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