Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin C. Rinard
To Appear in PLDI '12 — Programming Language Design and Implementation 2012
Paper Technical Report Tech Report Slides

Automatic Input Rectification
Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidirolgou, and Martin C. Rinard
To Appear in ICSE '12 — International Conference on Software Engineering 2012

Cryptographic Path Hardening: Hiding Vulnerabilities in Software using Cryptography
Vijay Ganesh, Michael Carbin, and Martin C. Rinard
Off the Beaten Track (OBT), co-located with POPL 2012 (Position Paper)

Detecting and Escaping Infinite Loops with Jolt
Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard
In ECOOP '11 — European Conference on Object-Oriented Programming 2011
Text: Paper Appendix, Press: Slashdot Ars Technica MIT News

Dynamic Knobs for Power-Aware Computing
Henry Hoffman, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal and Martin Rinard
In ASPLOS '11 — Architectural Support for Programming Languages and Operating Systems 2011
Text: Paper

Automatically Identifying Critical Input Regions and Code Regions in Applications
Michael Carbin and Martin C. Rinard
In ISSTA '10 — International Symposium of Software Testing And Analysis 2010.
Text: Paper

Automatically Patching Errors in Deployed Software
Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst and Martin C. Rinard
In SOSP '09 — Symposium on Operating Systems Principles 2009.
Press: Slashdot MIT News MIT Technology Review

Transactional Collection Classes
Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, and Kunle Olukotun.
In PPoPP '07 — Principles and Practice of Parallel Computing 2007.
Paper

Reflective Program Generation with Patterns
Manuel Fähndrich, Michael Carbin, James R. Larus.
In GPCE '06 — Generative Programming and Component Engineering 2006
Paper

Learning Effective BDD Variable Orders for BDD-Based Program Analysis Michael Carbin
Stanford University Honors Thesis, May 2006. Winner of the Wegbreit prize for best CS honors thesis.
Paper

Using Datalog with Binary Decision Diagrams for Program Analysis
John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam.
In APLAS '05 — Asian Symposium Programming Languages and Systems 2005
Paper

Context-Sensitive Program Analysis as Database Queries
Monica S. Lam, John Whaley, V, Benjamin Livshits, Michael Martin, Dzintars Avots, Michael Carbin, Christopher Unkel.
In PODS '05 : Principles of Database Systems 2005 (Invited paper)
Paper

Configuration of isolated extensions and device drivers
Galen C. Hunt, James R. Larus, Manuel A. Fanndrich, Orion Hodson, David R. Tarditi, Michael Spear, Michael Carbin, Steven P. Levi, Bjarne Steensgaard
U.S. Patent Number 8,074,231. Filed: June 30, 2006. Issued: December 6, 2011

Bypass virtualization
Thomas Joseph Purtell, Won Chun, Michael Carbin
U.S. Patent Number 8,065,687. Filed: Jan 7, 2008. Issued November 22, 2011

Microsoft Research Graduate Fellowship, 2008
MIT Lemelson Presential Fellowship, 2006
Stanford Wegbreit Best Computer Science Honors Thesis, 2006

MIT CSAIL, The Stata Center
77 Massachusetts Ave, 32-G730
Cambridge, MA 02139
Office Phone: (617)253-7768
email: