Mike Rainey

Welcome, I'm a fourth-year PhD student in computer science at the University of Chicago. My advisor is John Reppy.

Research Papers

My interests span a variety of topics in programming languages and compilers research. Recently, I have focused on programming for multicore processors and how applicative languages can improve the situation.

• Calling variadic functions from a strongly typed language
  By M. Blume, M. Rainey, and J. Reppy.
  ML Workshop 2008.
  
• A scheduling framework for general-purpose parallel languages
  By M. Fluet, M. Rainey, and J. Reppy.
  ICFP September 2008.
  
• Implicitly threaded parallelism in Manticore
  By M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
  ICFP September 2008.
  
• Manticore: A heterogeneous parallel language
  By M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
  DAMP January 2007.
  
• The Manticore runtime model
  By M. Rainey
  Master's paper, Departent of Computer Science, University of Chicago, January 2007.
• A Paradigm for Parallel Matrix Algorithms: Scalable Cholesky
  By D. Wise, C. Citro, J. Hursey, F. Liu, and M. Rainey
  Euro-Par August 2005
• Embedding Quadtree Matrices in a Functional Language
  By M. Rainey and D. Wise
  Submitted for publication (2004)

Projects

• Manticore
  Manticore is a research project at the University of Chicago that explores language design for heterogeneous parallelism.
• Standard ML of New Jersey
  I am working on the back end of the compiler. My main projects are code generation for the x86_64 and support for foreign-function calls.

TA Assignments

Programming

• JLapVis
  A while ago, I wrote a Java applet that helps to visualize the Laplacian Regularized Least Squares algorithm in machine learning.
• LBNF Java Grammar
  This file for the BNF Converter implements the Java 1.5 grammar.

Fun Stuff