I am a former member of the commit group, part of the Computer Architecture Group within MIT's Computer Science and Artificial Intelligence Laboratory. My advisor was Saman Amarasinghe.

For my PhD work we applied machine-learning techniques to compilation.  You can find a description of our work here.

For my Master's thesis, we designed and implemented a compiler that infers bitwidth information from a high level description of a program.  Check out this work here.

CV

 

Research statement

 

Personal

 

 

 

 

Theses

Automating the Construction of Compiler Heuristics Using Machine LearningPhD thesis.  Massachusetts Institute of Technology.  May 2006. (pdf).

 

Bitwise: Optimizing Bitwidths Using Data-Range PropagationMaster's thesis.  Massachusetts Institute of Technology.  May 2000. (ps, pdf).

 

 

Papers

M. Stephenson, S. Amarasinghe. Predicting Unroll Factors Using Supervised Classification. In Proceedings of International Symposium on Code Generation and OptimizationSan Jose, California. March 2005 (ps, pdf, ppt).

D. Puppin, M. Stephenson, W. Lee, S. Amarasinghe. Convergent Scheduling. In Journal of Instruction-Level Parallelism. Volume 6, September 2004 (pdf).

D. Puppin, M. Stephenson, S. Amarasinghe, U. O'Reilly, M. Martin. Adapting Convergent Scheduling Using Machine Learning. In Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing, College Station, TX, October 2003 (pdf, ppt).

M. Stephenson, M. Martin, U. O'Reilly, and S. Amarasinghe. Meta Optimization: Improving Compiler Heuristics with Machine Learning. In Proceedings of the SIGPLAN '03 Conference on Programming Language Design and Implementation, San Diego, CA, June 2003 (ps, pdf, ppt).

M. Stephenson, U. O'Reilly, M. Martin, and S. Amarasinghe. Genetic Programming Applied to Compiler Heuristic Optimization. In Proceedings of the 6th European Conference on Genetic Programming, Essex, UK, April 14, 2003 (ps, pdf, ppt).

M. Stephenson, J. Babb, and S. AmarasingheBitwidth Analysis with Application to Silicon Compilation.  In Proceedings of the SIGPLAN conference on Programming Language Design and Implementation, Vancouver, British Columbia, June 2000 (ps, pdf, ppt).