Thanks to visit codestin.com
Credit goes to www.cs.rit.edu

Matthew Fluet

Associate Professor and Graduate Program Director
Department of Computer Science
Golisano College of Computing and Information Sciences
Rochester Institute of Technology

Email:		[email protected]
WWW:		http://www.cs.rit.edu/~mtf
Office:		GOL(70)-3017
Address:		Rochester Institute of Technology Department of Computer Science 102 Lomb Memorial Dr. Rochester, NY 14623-5608

Schedule

Semester 20255: January 12, 2026 to April 27, 2026

To be scheduled:

Student meetings
CC Office Hours
MS CS Office Hours

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00 AM				Not available	CS Leadership Meeting



10:00 AM					RIT Grad Council



11:00 AM	CS Curriculum Committee



12:00 PM

		CS Faculty Meeting 12:30–1:45 (monthly)		GCCIS PhD Faculty Meeting 12:30–1:30 (monthly)

1:00 PM					M. Saldanha (MS Thesis)
				Prog. Lang. Reading Group 1:00–1:50 RRR-NNNN

				CS MS Coffee Hour 1:30–2:30 (bi-monthly) CS Grad Lab (GOL-3660)
2:00 PM	GCCIS Curriculum Committee	CS MS Team Meeting



3:00 PM

		CC (CSCI-742) 3:30–4:45 GOL-2590		CC (CSCI-742) 3:30–4:45 GOL-2590

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
MLton: whole-program, optimizing Standard ML compiler
MaPLe (MPL): a functional language for provably efficient and safe multicore parallelism (joint project with Sam Westrick, Mike Rainey, Umut Acar)
…more…
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)
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 2024 ACM SIGPLAN ML Family Workshop (ML'24) — Program Committee
- September 6, 2024; Milan, Italy (co-located with ICFP'24)
The 2023 ACM SIGPLAN ML Family Workshop (ML'23) — Program Committee
- September 8, 2023; Seattle, Washington, USA (co-located with ICFP'23)

The 34th Symposium on Implementation and Application of Functional Languages (IFL'22)

August 31 – September 2, 2022; Copenhagen, Denmark

The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP'20) — Program Committee
- August 24 – 26, 2020; Virtual
The 2019 ACM SIGPLAN ML Family Workshop (ML'19) — Program Committee
- August 22, 2019; Berlin, Germany (co-located with ICFP'19)
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
…more…
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
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…

Resources for Students

Office hours (S20251): Mon. 11:00AM – 12:30pm, Wed. 9:30AM – 11: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.