Matthew Fluet

Associate 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:		GOL(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

Semester 20235: January 16, 2024 to April 29, 2024

Monday Tuesday Wednesday Thursday Friday

9:00 AM PLC (CSCI-344)
9:00–9:50
GOL-1455 PLC (CSCI-344)
9:00–9:50
GOL-1455 PLC (CSCI-344)
9:00–9:50
GOL-1455

10:00 AM J. Doshi
(MS Thesis; Jan.)

Office Hours
10:30–11:30
GOL-3555

11:00 AM PSR (CSCI-541/641)
11:00–12:15
GOL-1435 PSR (CSCI-541/641)
11:00–12:15
GOL-1435

12:00 PM

Comp. Sci. Dept.
Faculty Meeting
(monthly)
12:30–1:45 Ph.D. Dept.
Faculty Meeting
(monthly)
12:30–1:45

1:00 PM CS Curriculum

Office Hours
1:30–2:30
GOL-3555

2:00 PM A. Patel
(MS Capstone) J. Doshi
(MS Thesis; Feb. – Apr.) A. Choubey
(Independent Study)

3:00 PM Office Hours
3:00–4:00
GOL-3555 Office Hours
3:00–4:00
GOL-3555

4:00 PM

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

Teaching

Rochester Institute of Technology
University of Chicago
- Winter 2009: CMSC 22610: Implementation of Computer Languages-1
Cornell University
- Spring 2003: CS486: Applied Logic (teaching assistant)
- Fall 2000: CS611: Advanced Programming Languages (teaching assistant)
…less…

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)
Type- and Control-Flow Analysis
Manticore: a Heterogeneous-Parallel Functional Programming Language (joint project with Sven Auhagen, Lars Bergstrom, Mike Rainey, John Reppy, Adam Shaw)
Fairness for Transactional Events (joint work with Edward Amsden)
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)
…more…
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)
…less…

Professional Activities

The 2019 ACM SIGPLAN ML Family Workshop (ML'14) — Program Committee
- August 22, 2019; Berlin, Germany (co-located with ICFP'19)
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP'18) — Program Committee
- August 24 – 26, 2020; Jersey City, New Jersey, USA
The ACM Special Interest Group on Programming Languages (SIGPLAN) — Information Director (Steering Committee member)
- September 2015 — December 2018
The ICFP Programming Contest 2018 — Organizing Committee Chair
- July 20 – 23, 2018 (sponsored by ICFP'18)
The 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP'18) — External Review Committee
- September 24 – 26, 2018; St. Louis, Missouri, USA
The 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'18) — External Review Committee
- June 20 – 22, 2018; Philadelphia, Pennsylvania, USA
The 18th Symposium on Trends in Functional Programming (TFP'17) — Program Committee
- June 19 – 21, 2017; University of Kent at Canterbury, United Kingdom
…more…
The 21st ACM SIGPLAN International Conference on Functional Programming (ICFP'16) — Program Committee
- September 19 – 21, 2016; Nara, Japan
The 25th European Symposium on Programming (ESOP'16) — Program Committee
- April 2 – 8, 2016; Eindhoven, The Netherlands
The 26th International Symposium on Implementation and Application of Functional Languages (IFL'14) — Program Committee
- October 1 – 3, 2014; Boston, Massachusetts, USA
The 2014 ACM SIGPLAN ML Family Workshop (ML'14) — Program Committee
- September 4, 2014; Gothenburg, Sweden (co-located with ICFP'14)
The 16th Symposium on Trends in Functional Programming (TFP'14) — Program Committee
- May 26 – 28, 2014; Soesterberg, The Netherlands
The First International Workshop on Cross-model Language Design and Implementation (XLDI'12) — Program Committee
- September 9, 2012; Copenhagen, Denmark (co-located with ICFP'12)
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, USA
The 2010 ACM SIGPLAN Workshop on ML (ML 2010) — Program Chair
- September 26, 2010; Baltimore, Maryland, USA (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
The 21st International Symposium on Implementation and Application of Functional Languages (IFL'09) — Program Committee
- September 23 – 25, 2009; South Orange, New Jersey, USA
Summer School on Theory and Practice of Language Implementation — Co-organizer
- July 23 – 31, 2009; Eugene, Oregon, USA
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, USA (co-located with POPL'09)
Summer School on Logic and Theorem Proving in Programming Langauges — Co-organizer
- July 22 – 30, 2008; Eugene, Oregon, USA
The ACM SIGPLAN International Conference on Functional Programming (ICFP) — Publicity Chair (Steering Committee member)
- October 2006 – September 2009
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, USA (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 (October 6, 2014; RIT Computer Science Community Teacha' Talk)
- MLton: A Whole-Program Optimizing Compiler for Standard ML (January 5, 2011; RIT Computer Science Community Teacha' Talk)

Resources for Students

Office hours (S20235): Mo 1:30pm – 2:30pm; Tu 3:00pm – 4:00pm; We 10:30am – 11:30am; Th 3:00pm – 4: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.
I graduated with a B.S. in mathematics from Harvey Mudd College in 1999. My advisor was Arthur Benjamin.