What's Best? - Arthur T. Benjamin; Matthew T. Fluet (Am. Math. Mon., 2000)

Contification Using Dominators. - Matthew Fluet; Stephen Weeks (ICFP, 2001)

Optimal Token Allocations in Solitaire Knock 'm Down. - Arthur T. Benjamin; Matthew Fluet; Mark L. Huber (Electron. J. Comb., 2001)

A step-indexed model of substructural state. - Amal J. Ahmed 001; Matthew Fluet; Greg Morrisett (ICFP, 2005)

Practical Datatype Specializations with Phantom Types and Recursion Schemes. - Matthew Fluet; Riccardo Pucella (ML, 2005)

Linear Regions Are All You Need. - Matthew Fluet; Greg Morrisett; Amal J. Ahmed 001 (ESOP, 2006)

Monadic regions. - Matthew Fluet; Greg Morrisett (J. Funct. Program., 2006)

Phantom types and subtyping. - Matthew Fluet; Riccardo Pucella (J. Funct. Program., 2006)

Status report: the manticore project. - Matthew Fluet; Nic Ford; Mike Rainey; John H. Reppy; Adam Shaw; Yingqi Xiao (ML, 2007)

Manticore: a heterogeneous parallel language. - Matthew Fluet; Mike Rainey; John H. Reppy; Adam Shaw; Yingqi Xiao (DAMP, 2007)

L3: A Linear Language with Locations. - Amal Ahmed 001; Matthew Fluet; Greg Morrisett (Fundam. Informaticae, 2007)

Monadic and Substructural Type Systems For Region-Based Memory Management. - Matthew Fluet (2007)

A scheduling framework for general-purpose parallel languages. - Matthew Fluet; Mike Rainey; John H. Reppy (ICFP, 2008)

Compiling self-adjusting programs with continuations. - Ruy Ley-Wild; Matthew Fluet; Umut A. Acar (ICFP, 2008)

Transactional events. - Kevin Donnelly; Matthew Fluet (J. Funct. Program., 2008)

Programming in Manticore, a Heterogenous Parallel Functional Language. - Matthew Fluet; Lars Bergstrom; Nic Ford; Mike Rainey; John H. Reppy; Adam Shaw; Yingqi Xiao (CEFP, 2009)

A cost semantics for self-adjusting computation. - Ruy Ley-Wild; Umut A. Acar; Matthew Fluet (POPL, 2009)

Speculative N-Way barriers. - Lukasz Ziarek; Suresh Jagannathan; Matthew Fluet; Umut A. Acar (DAMP, 2009)

An overview of the Oregon programming languages summer school. - Jim Allen; Zena M. Ariola; Pierre-Louis Curien; Matthew Fluet; Jeffrey S. Foster; Dan Grossman; Robert Harper 001; Hugo Herbelin; Yannis Smaragdakis; David Walker 001; Steve Zdancewic (ACM SIGPLAN Notices, 2009)

Implicitly threaded parallelism in Manticore. - Matthew Fluet; Mike Rainey; John H. Reppy; Adam Shaw (J. Funct. Program., 2010)

Fairness for Transactional Events. - Edward Amsden; Matthew Fluet (IFL, 2011)

Garbage collection for multicore NUMA machines. - Sven Auhagen; Lars Bergstrom; Matthew Fluet; John H. Reppy (MSPC, 2011)

A Type- and Control-Flow Analysis for System F. - Matthew Fluet (IFL, 2012)

Lazy tree splitting. - Lars Bergstrom; Matthew Fluet; Mike Rainey; John H. Reppy; Adam Shaw (J. Funct. Program., 2012)

The manticore project. - Matthew Fluet (FHPC@ICFP, 2013)

Data-only flattening for nested data parallelism. - Lars Bergstrom; Matthew Fluet; Mike Rainey; John H. Reppy; Stephen Rosen; Adam Shaw (PPoPP, 2013)

Practical Inlining of Functions with Free Variables. - Lars Bergstrom; Matthew Fluet; John H. Reppy; Nora Sandler (CoRR, 2013)

Practical and effective higher-order optimizations. - Lars Bergstrom; Matthew Fluet; Matthew Le 001; John H. Reppy; Nora Sandler (ICFP, 2014)

An Efficient Type- and Control-Flow Analysis for System F. - Connor Adsit; Matthew Fluet (IFL, 2014)

Combining Shared State with Speculative Parallelism in a Functional Language. - Matthew Le 001; Matthew Fluet (IFL, 2014)

Partial aborts for transactions via first-class continuations. - Matthew Le 001; Matthew Fluet (ICFP, 2015)

Coupling Memory and Computation for Locality Management. - Umut A. Acar; Guy E. Blelloch; Matthew Fluet; Stefan K. Muller; Ram Raghunathan (SNAPL, 2015)

Revisiting software transactional memory in Haskell. - Matthew Le 001; Ryan Yates; Matthew Fluet (Haskell, 2016)

Hierarchical memory management for mutable state. - Adrien Guatto; Sam Westrick; Ram Raghunathan; Umut A. Acar; Matthew Fluet (PPoPP, 2018)

Type- and Control-Flow Directed Defunctionalization. - Maheen Riaz Contractor; Matthew Fluet (IFL, 2020)

Disentanglement in nested-parallel programs. - Sam Westrick; Rohan Yadav; Matthew Fluet; Umut A. Acar (Proc. ACM Program. Lang., 2020)

A Preliminary Type- and Control-Flow Analysis for System Fømega. - Dongyu Wu; Matthew Fluet (TFP, 2024)

Automatic Parallelism Management. - Sam Westrick; Matthew Fluet; Mike Rainey; Umut A. Acar (Proc. ACM Program. Lang., 2024)

"Just Use Rust": A Best-Case Historical Study of Open Source Vulnerabilities in C. - Andrew Meneely; Aiden Green; Tyler Jaafari; Matthew Fluet; Brandon Keller (SVM@ICSE, 2025)