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

Research Interests and Information
I am interested in the production, analysis, and optimization of programming systems.  I'm currently a
PhD student at MIT working under Prof. Martin Rinard. In a past life as an undergrad at Stanford,
I spent time working with Prof. Monica Lam.

Projects

 Atomos: a java language extension supporting hardware transactional memory from Stanford's TCC group.
bddbddb: BDD-Based Deductive DataBase for efficient BDD-based program analysis.
Joeq:  a research java virtual machine and compiler infrastructure.
Singularity: Microsoft Research's project on designing dependable operating systems.

Publications
Transactional Collection Classes
Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, and Kunle Olukotun.
In Proceedings of Principles and Practice of Parallel Computing (PPoPP), San Jose, California, March 2007.
(PDF)

Reflective Program Generation with Patterns
Manuel Fähndrich, Michael Carbin, James R. Larus.
In Proceedings Generative Programming and Component Engineering (GPCE), Portland, Oregon, October 2006
(PDF)

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

Using Datalog with Binary Decision Diagrams for Program Analysis
John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam.
In Proceedings of Programming Languages and Systems: Third Asian Symposium,
APLAS 2005, Tsukuba, Japan, November 2005
(PDF)

Context-Sensitive Program Analysis as Database Queries
Monica S. Lam, John Whaley, V, Benjamin Livshits, Michael Martin, Dzintars Avots, Michael Carbin, Christopher Unkel.
In Proceedings of Principles of Database Systems (PODS), Baltimore, Maryland, June 2005.  (Invited paper)
(PDF)