Michael Carbin

Identifiers

No identifiers captured yet.

Papers (7)

1. Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms cs.AR · 2018 · author #3
2. Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks cs.DC · 2018 · author #4
3. Verifying Programs Under Custom Application-Specific Execution Models cs.PL · 2018 · author #3
4. Verifying Handcoded Probabilistic Inference Procedures cs.PL · 2018 · author #3
5. Computable decision making on the reals and other spaces via partiality and nondeterminism cs.LO · 2018 · author #4
6. The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks cs.LG · 2018 · author #2
7. Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography cs.SE · 2012 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Chlipala 1 shared papers
• Adrian Sampson 1 shared papers
• Alexandros Daglis 1 shared papers
• Alex Renda 1 shared papers
• Andreas Gerstlauer 1 shared papers
• Armin Alaghi 1 shared papers
• Babak Falsafi 1 shared papers
• Benjamin Sherman 1 shared papers
• Brett Boston 1 shared papers
• Cambridge Yang 1 shared papers
• Charith Mendis 1 shared papers
• Damien Zufferey 1 shared papers
• Djordje Jevdjic 1 shared papers
• Eric Atkinson 1 shared papers
• Eva Darulova 1 shared papers
• Ghayoor Gillani 1 shared papers
• Jonathan Frankle 1 shared papers
• Lara Dolecek 1 shared papers
• Luke Sciarappa 1 shared papers
• Martin Rinard 1 shared papers