Mike Rainey

Cirriculum vitae

Research statement

Research publications

• 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.
  
• Calling variadic functions from a strongly typed language
  By M. Blume, M. Rainey, and J. Reppy.
  ML Workshop 2008.
  
• Prototyping nested schedulers
  By M. Rainey.
  Semantics Engineering with PLT Redex, The MIT Press, 2009.
  
• 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

Projects

• Manticore
  Manticore is a parallel programming language aimed at general-purpose applications that run on multicore processors.
• 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

• Spring 2009 Implementation of Computer Languages II
• Winter 2007 CSPP Networks
• Autumn 2007 CSPP Unix Systems Programming
• Spring 2006 Introduction to Computer Systems