Overparameterization: A connection between software 1.0 and software 2.0

by Carbin, Michael James
Published 2021

The lottery ticket hypothesis: Finding sparse, trainable neural networks

by Frankle, Jonathan, Carbin, Michael James
Published 2021

Automatically identifying critical input regions and code in applications

by Carbin, Michael James, Rinard, Martin C.
Published 2011

Verifying quantitative reliability for programs that execute on unreliable hardware

by Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2015

Reactive probabilistic programming

by Atkinson, Eric Hamilton, Sherman, Benjamin, Carbin, Michael James
Published 2021

Computable decision making on the reals and other spaces via partiality and nondeterminism

by Sherman, Benjamin, Sciarappa, Luke, Chlipala, Adam, Carbin, Michael James
Published 2019

Verified integrity properties for safe approximate program transformations

by Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2014

Proving acceptability properties of relaxed nondeterministic approximate programs

by Carbin, Michael James, Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C.
Published 2012

Automatic input rectification

by Long, Fan, Ganesh, Vijay, Carbin, Michael James, Sidiroglou, Stelios, Rinard, Martin
Published 2014

Bolt: on-demand infinite loop escape in unmodified binaries

by Kling, Michael W., Misailovic, Sasa, Carbin, Michael James, Rinard, Martin C
Published 2020

Detecting and escaping infinite loops with jolt

by Carbin, Michael James, Misailovic, Sasa, Kling, Michael W., Rinard, Martin C.
Published 2012

Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels

by Misailovic, Sasa, Achour, Sara, Qi, Zichao, Rinard, Martin C., Carbin, Michael James
Published 2014

Dynamic Knobs for Responsive Power-Aware Computing

by Hoffmann, Henry Christian, Sidiroglou, Stelios, Carbin, Michael James, Misailovic, Sasa, Agarwal, Anant
Published 2012

Trace types and denotational semantics for sound programmable inference in probabilistic languages

by Lew, Alexander, Cusumano-Towner, Marco F., Sherman, Benjamin, Carbin, Michael James, Mansinghka, Vikash K
Published 2021

BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models

by Chen, Yishen, Brahmakshatriya, Ajay, Mendis, Thirimadura C. Yasend, Renda, Alex, Atkinson, Eric Hamilton, Sykora, Ondrej, Amarasinghe, Saman P, Carbin, Michael James
Published 2020

The three pillars of machine programming

by Gottschlich, Justin, Solar Lezama, Armando, Tatbul Bitim, Emine Nesime, Carbin, Michael James, Rinard, Martin C, Barzilay, Regina, Amarasinghe, Saman P, Tenenbaum, Joshua B, Mattson, Tim
Published 2021

Exploiting Errors for Efficiency: A Survey from Circuits to Applications

by Stanley-Marbell, Phillip, Alaghi, Armin, Carbin, Michael James, Darulova, Eva, Dolecek, Lara, Gerstlauer, Andreas, Gillani, Ghayoor, Jevdjic, Djordje, Moreau, Thierry, Cacciotti, Mattia, Daglis, Alexandros, Jerger, Natalie Enright, Falsafi, Babak, Misailovic, Sasa, Sampson, Adrian, Zufferey, Damien
Published 2021