Matthew Fluet Ph.D. Candidate Cornell University Department of Computer Science Email:      fluet@cs.cornell.edu     fluet@eecs.harvard.edu Phone (W):      +1 (607) 254-7465     +1 (617) 495-2489 Address:      4112 Upson Hall Cornell University Ithaca, NY 14853 USA     307 Maxwell Dworkin Harvard University 33 Oxford St. Cambridge, MA 02138 USA I am a Ph.D. student in the Department of Computer Science at Cornell University. My advisor is Greg Morrisett, who moved from Cornell University to Harvard University in January 2004. I graduated with a B.S. in mathematics from Harvey Mudd College in 1999. My advisor was Arthur Benjamin.

Future

Starting in Fall 2006, I will be a Research Assistant Professor at the Toyota Technological Institute at Chicago.

Job Search

• Curriculum Vitae
• Research Statement
• Teaching Statement

Research

My main research interests lie with programming languages, including type systems, semantics, and compiler technology. Currently, I am looking at applying substructural type systems to issues of memory management, state, and effects.

• Publications (fluetbib.bib)
• 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

• The 2006 ACM SIGPLAN Workshop on ML -- Program Committee
  • September 16, 2006, Portland, Oregon (co-located with ICFP06).

Activities

• I am an active developer of MLton: an open-source, whole-program, optimizing Standard ML compiler.

• 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 am a member of Triforce: the Programming Languages, Compilers, and Security Group at Harvard. I have the Mirror Shield .

• I have been sitting in on Programming with Concurrency, a Fall 2005 course at Harvard. I even did a project on A Monadic Account of First-Class Synchronous Events.

• I participate in Programming Wednesdays at Harvard, a weekly forum for informal talks on relevant and interesting topics in programming languages.

• I participated in the Programming Languages Discussion Group at Cornell, another weekly forum for informal talks on relevant and interesting topics in programming languages.

Talks

• "Invited" talks.
• Harvard Programming Wednesdays talks.
• Cornell PLDG talks.

Teaching Experience

• In Spring 2003, I was the teaching assistant for CS486: Applied Logic.
• In Fall 2000, I was the teaching assistant for CS611: Advanced Programming Languages.

Personal