Matthew Fluet

Research Assistant Professor
Toyota Technological Institute at Chicago

Email:		fluet@tti-c.org
Phone (W):		+1 (773) 834-6809
Fax (W):		+1 (773) 834-9811
Address:		1427 East 60th St. Toyota Technological Institute at Chicago Chicago, IL 60637

I graduated with a Ph.D. in computer science from Cornell University in January 2007. My advisor was Greg Morrisett (now at Harvard University).

I graduated with a B.S. in mathematics from Harvey Mudd College in 1999. My advisor was Arthur Benjamin.

Research

My main research interests lie with programming languages, including concurrency abstractions, type systems, program semantics, and compiler technology.

Publications (fluetbib.bib)
Manticore: a heterogeneous parallel programming language (joint project with Mike Rainey, John Reppy, Ridg Scott, Adam Shaw, Yingqi Xiao)
Monadic and Substructural Type Systems for Region-Based Memory Management (PhD thesis)
Transactional Events (joint work with Kevin Donnelly)
Linear Regions Are All You Need (joint work with Greg Morrisett and Amal Ahmed)
Practical Datatype Specializations (joint work with Riccardo Pucella)
A Step-Indexed Model of Substructural State (joint work with Amal Ahmed and Greg Morrisett)
L3: A Language with Linear Locations (joint work with Amal Ahmed and Greg Morrisett)
Monadic Regions (joint work with Greg Morrisett)
A Safe Runtime System in Cyclone (joint work with Dan Wang)
Computational Content of Boolean Valuations (joint work with Stuart Allen and Bob Constable)
Phantom Types and Subtyping (joint work with Riccardo Pucella)
Contification Using Dominators (joint work with Stephen Weeks)

Professional Activities

Summer School on Logic and Theorem Proving in Programming Langauges -- Co-organizer
- July 22 - 30, 2008; Eugene, Oregon
The ACM SIGPLAN International Conference on Functional Programming (ICFP) -- Publicity Chair/Steering Committee
The 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP'07) -- Program Committee
- October 1 - 3, 2007; Freiburg, Germany
The 2006 ACM SIGPLAN Workshop on ML (ML'06) -- Program Committee
- September 16, 2006; Portland, Oregon (co-located with ICFP06).

Current Activities

I am an active developer of MLton: an open-source, whole-program, optimizing Standard ML compiler.
I am collaborating on the development of Manticore: a heterogeneous parallel programming language aimed at general-purpose applications running on multi-core processors.
As a programming languages researcher, I am excited about the opportunities for mechanizing reasoning about programming languages. The POPLMark Challenge hopes to spark additional interest in this problem. As a result of discussions about the POPLMark Challenge, I have started using Twelf in my research, and I have collected a set of interesting examples.
I participate in both HYPER, the Hyde Park programming languages reading group, and PL Group, a weekly forum for informal talks on relevant and interesting topics in programming languages.

Talks

Teaching Experience