Matthew Fluet

Assistant Professor
Department of Computer Science
Golisano College of Computing and Information Sciences
Rochester Institute of Technology

Email:		mtf@cs.rit.edu
WWW:		http://www.cs.rit.edu/~mtf
Office:		70-3555
Phone (W):		+1 (585) 475-2854
Fax (W):		+1 (585) 475-7100
Address:		Rochester Institute of Technology Computer Science Department 102 Lomb Memorial Dr. Rochester, NY 14623-5608

Schedule

Quarter 20112: November 28, 2011 to February 24, 2012

Monday Tuesday Wednesday Thursday Friday

8:00 AM Not available Research

9:00 AM CS2 SLI Meeting Office Hours
GOL-3555

10:00 AM CS2 Instructor Meeting

11:00 AM Facilities Commitee
(bi-weekly) Student Meeting (B. Gernhardt) GCCIS PhD Colloquium Series
(bi-weekly)

12:00 PM CC
(4005-711-01)
GOL-3520 Comp. Sci. Dept.
Faculty Meeting
(monthly) CC
(4005-711-01)
GOL-3520 Ph.D. Dept.
Faculty Meeting
(monthly) Languages for Lunch

1:00 PM Software Lunch Research

2:00 PM Student Meeting (E. Amsden)

Research Meeting (Manticore)

3:00 PM Student Meeting (A. Lohr) Office Hours
GOL-3555

4:00 PM CS2 (4003-242-08)
Lecture
GOL-2400 CS2 (4003-242-08)
Lab/Recitation
GOL-2400 / ICL1&2 CS2 (4003-242-08)
Lab/Recitation
GOL-2400 / ICL1&2

5:00 PM

6:00 PM

For appointments outside of office hours, please contact me by email to make arrangements.

Teaching

Rochester Institute of Technology

Research

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

Curriculum Vitae
Publications (fluetbib.bib)
Manticore: a Heterogeneous-Parallel Functional Programming Language (joint project with Sven Auhagen, Lars Bergstrom, Mike Rainey, John Reppy, Adam Shaw)
Compiling Self-Adjusting Programs with Continuations (joint work with Ruy Ley-Wild and Umut Acar)
Monadic and Substructural Type Systems for Region-Based Memory Management (PhD thesis)
Transactional Events (joint work with Kevin Donnelly)
…more…
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)
…less…

Professional Activities

The Ninth Asian Symposium on Programming Languages and Systems (APLAS'11) — Program Committee
- December 5 – 7, 2011; Kenting, Taiwan
The 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11) — Program Committee
- January 26 – 28, 2011; Austin, Texas
The 2010 ACM SIGPLAN Workshop on ML (ML 2010) — Program Chair
- September 26, 2010; Baltimore, Maryland (co-located with ICFP'10)
The 22nd International Symposium on Implementation and Application of Functional Languages (IFL'10) — Program Committee
- September 1 – 3, 2010; The Netherlands
…more…
The 21st International Symposium on Implementation and Application of Functional Languages (IFL'09) — Program Committee
- September 23 – 25, 2009; South Orange, New Jersey
Summer School on Theory and Practice of Language Implementation — Co-organizer
- July 23 – 31, 2009; Eugene, Oregon
The International Symposium on Memory Management (ISMM'09) — Review Committee
- June 19 – 20, 2009; Dublin, Ireland (co-located with PLDI'09)
The Third Central European Functional Programming Summer School (CEFP'09) — Lecturer
- May 25 – 30, 2009; Komarno, Slovakia
The Fourth Workshop on Declarative Aspects of Multicore Programming (DAMP'09) — Program Committee
- January 20, 2009; Savannah, Georgia (co-located with POPL'09)
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 12th 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 ICFP'06)
…less…

Current Activities

I am an active developer of MLton: an open-source, whole-program, optimizing Standard ML compiler.
- MLton: A Whole-Program Optimizing Compiler for Standard ML (January 5, 2010; RIT Computer Science Community Teacha' Talk)
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.

Resources for Students

Office hours (Q20112): Tue. 9:00am–11:00am, Thr. 3:00pm–5:00pm
Letters — information and instructions for students requesting a letter of recommendation
Supervised — information about supervised independent studies and MS capstone activities
Topics — suggested topics for MS capstone activities (projects & theses)

Biography

I was a Research Assistant Professor with the Toyota Technological Institute at Chicago from September 2006 to June 2009.
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.