Matthew Fluet - Featured Faculty 2014

College of Art and Design College of Engineering Technology College of Health Sciences and Technology College of Liberal Arts College of Science Golisano College of Computing and Information Sciences Golisano Institute for Sustainability International Campuses Kate Gleason College of Engineering National Technical Institute for the Deaf Other Degree Granting Units School of Individualized Study
portrait of Matthew Fluet

Matthew Fluet

Golisano College of Computing and Information Sciences

Matthew Fluet is an assistant professor in the Department of Computer Science in the B. Thomas Golisano College of Computing and Information Sciences. His research interests lie with the design and implementation of functional programming languages.

Programming languages are the medium through which computations are communicated, not only from a programmer to a computer, but also from one programmer to another. Dr. Fluet's research aims to design and implement programming languages that make it easy to write programs that are both executed efficiently and guaranteed to be safe. Recently, his major scholarship activities have been centered around the Manticore and MLton projects.

The Manticore project (http://manticore.cs.uchicago.edu), in collaboration with Prof. John Reppy (University of Chicago) and students at RIT and UChicago, is a research effort to design and implement a parallel functional programming language that targets commodity multicore and shared-memory multiprocessors. The project has been supported by multiple NSF awards and yielded numerous publications. Dr. Fluet gave an invited talk on Manticore at the Second ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'13). Dr. Fluet's current research is focused on developing declarative language mechanisms for the controlled use of shared state and nondeterminism in parallel programs in order to increase their parallel efficiency.

The MLton project (http://www.mlton.org), led by Dr. Fluet, is an open-source whole-program optimizing compiler for the Standard ML (SML) functional programming language. MLton is widely regarded as one of the best compilers for any functional programming language and is actively used in both industry and academia. The project is being supported by two recent NSF awards. The first, in collaboration with Profs. Umut Acar and Guy Blelloch (Carnegie Mellon University), will addresses the problem of automatically managing spatial and temporal locality of a high-level garbage-collected parallel functional programming language. The second, in collaboration with Prof. Lukasz Ziarek (SUNY Buffalo), will enhance MLton through the development of type-checking and optimization infrastructures, threading and garbage collection frameworks, configuration and benchmarking support systems, and documentation and course material.

View All submissions by Matthew Fluet