University of Chicago
Ry 257-B
1100 E 58th Street
Chicago, IL 60637
Cirriculum vitae
Research statement
Research publications
By M. Fluet, M. Rainey, and J. Reppy.
ICFP September 2008.
By M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
ICFP September 2008.
By M. Blume, M. Rainey, and J. Reppy.
ML Workshop 2008.
By M. Rainey.
Semantics Engineering with PLT Redex, The MIT Press, 2009.
By M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
DAMP January 2007.
By M. Rainey
Master's paper, Departent of Computer Science, University of Chicago, January 2007.
By D. Wise, C. Citro, J. Hursey, F. Liu, and M. Rainey
Euro-Par August 2005
Projects
Manticore is a parallel programming language aimed at general-purpose applications that run on multicore processors.
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