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:      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

Quarter 20123: March 04, 2013 to May 10, 2013

		Monday	Tuesday	Wednesday	Thursday	Friday
	8:00 AM
	9:00 AM	Office Hours GOL-3555		Office Hours GOL-3555
	10:00 AM		MLton Meeting GOL-3576 (BR3)
	11:00 AM
	12:00 PM		Curriculum Committee or Comp. Sci. Dept. Faculty Meeting (monthly)		RIT Academic Senate (bi-weekly) or Ph.D. Dept. Faculty Meeting (monthly)	Lunch
	1:00 PM
	2:00 PM	PS:FP (4003-561-01/4005-714-01) GOL-3455		PS:FP (4003-561-01/4005-714-01) GOL-3455		Manticore Meeting
	3:00 PM
	4:00 PM
	5:00 PM	Not available

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

Teaching

• Rochester Institute of Technology
  • Resources for Students
  • Q20123: 4003-561/4005-714: Programming Skills — Functional Programming and Haskell
  • Q20122: 4005-711: Compiler Construction
  • Q20121: 4003-450: Programming Language Concepts; 4005-710: Programming Language Theory
  • …more…
  • Q20113: 4003-561/4005-714: Programming Skills — Functional Programming and Haskell/Standard ML
  • Q20112: 4003-242: Data Structures for Problem Solving; 4005-711: Compiler Construction
  • Q20111: 4003-241: A Problem-Based Introduction to Computer Science; 4005-710: Programming Language Theory
  • Q20103: 4003-450: Programming Language Concepts
  • Q20102: 4003-450/4003-709: Programming Language Concepts; 4003-531/4005-735: Parallel Computing I
  • Q20101: 4003-450: Programming Language Concepts; 4005-710: Programming Language Theory
  • Q20093: 4003-243: Object-Oriented Programming in Java
  • Q20092: 4003-233: Computer Science 3
  • Q20091: 4003-450/4003-709: Programming Language Concepts
• 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 16th Symposium on Trends in Functional Programming (TFP'14) — Program Committee
  • May/June 2014; The Netherlands
• 1st Workshop on Optimistic Cooperation in Concurrent Programming (OCCP'13) — Organising Committee
  • March 16, 2012; Rome, Italy (co-located with ETAPS'13)
• 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
• 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.
  • Manticore: A heterogeneous parallel functional language (April 26, 2012; RIT Computer Science Community Teacha' Talk)
• 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 (Q20122): Tue. 9:00am–11:00am, Wed. 9:00am–11:00am
• 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.