Matthew Fluet

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 6

Top Topics

Garbage Collection

Memory Management

Nested Transactions

Top Venues

Proc. ACM Program. Lang.

Publications

Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
Automatic Parallelism Management. Proc. ACM Program. Lang. 8 (POPL) (2024)
Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar
Disentanglement in nested-parallel programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Maheen Riaz Contractor, Matthew Fluet
Type- and Control-Flow Directed Defunctionalization. IFL (2020)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical memory management for mutable state. PPOPP (2018)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical Memory Management for Mutable State. CoRR (2018)
Matthew Le, Ryan Yates, Matthew Fluet
Revisiting software transactional memory in Haskell. Haskell (2016)
Matthew Le, Matthew Fluet
Partial aborts for transactions via first-class continuations. ICFP (2015)
Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan
Coupling Memory and Computation for Locality Management. SNAPL (2015)
Matthew Le, Matthew Fluet
Combining Shared State with Speculative Parallelism in a Functional Language. IFL (2014)
Connor Adsit, Matthew Fluet
An Efficient Type- and Control-Flow Analysis for System F. IFL (2014)
Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler
Practical and effective higher-order optimizations. ICFP (2014)
Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw
Data-only flattening for nested data parallelism. PPOPP (2013)
Matthew Fluet
The manticore project. FHPC@ICFP (2013)
Lars Bergstrom, Matthew Fluet, John H. Reppy, Nora Sandler
Practical Inlining of Functions with Free Variables. CoRR (2013)
Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Lazy tree splitting. J. Funct. Program. 22 (4-5) (2012)
Matthew Fluet
A Type- and Control-Flow Analysis for System F. IFL (2012)
Edward Amsden, Matthew Fluet
Fairness for Transactional Events. IFL (2011)
Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy
Garbage Collection for Multicore NUMA Machines CoRR (2011)
Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy
Garbage collection for multicore NUMA machines. MSPC (2011)
Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet
Lazy tree splitting. ICFP (2010)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Implicitly threaded parallelism in Manticore. J. Funct. Program. 20 (5-6) (2010)
Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic
An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices 44 (11) (2009)
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar
Speculative N-Way barriers. DAMP (2009)
Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
A cost semantics for self-adjusting computation. POPL (2009)
Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Programming in Manticore, a Heterogenous Parallel Functional Language. CEFP (2009)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Implicitly-threaded parallelism in Manticore. ICFP (2008)
Kevin Donnelly, Matthew Fluet
Transactional events. J. Funct. Program. 18 (5-6) (2008)
Ruy Ley-Wild, Matthew Fluet, Umut A. Acar
Compiling self-adjusting programs with continuations. ICFP (2008)
Matthew Fluet, Mike Rainey, John H. Reppy
A scheduling framework for general-purpose parallel languages. ICFP (2008)
Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Status report: the manticore project. ML (2007)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Manticore: a heterogeneous parallel language. DAMP (2007)
Amal Ahmed, Matthew Fluet, Greg Morrisett
: A Linear Language with Locations. Fundam. Informaticae 77 (4) (2007)
Matthew Fluet, Riccardo Pucella
Phantom types and subtyping. J. Funct. Program. 16 (6) (2006)
Kevin Donnelly, Matthew Fluet
Transactional events. ICFP (2006)
Matthew Fluet, Greg Morrisett
Monadic regions. J. Funct. Program. 16 (4-5) (2006)
Matthew Fluet, Riccardo Pucella
Practical Datatype Specializations with Phantom Types and Recursion Schemes. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
Matthew Fluet, Greg Morrisett, Amal J. Ahmed
Linear Regions Are All You Need. ESOP (2006)
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
: A Linear Language with Locations. TLCA (2005)
Matthew Fluet, Riccardo Pucella
Practical Datatype Specializations with Phantom Types and Recursion Schemes CoRR (2005)
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
A step-indexed model of substructural state. ICFP (2005)
Matthew Fluet, Riccardo Pucella
Phantom Types and Subtyping CoRR (2004)
Matthew Fluet, J. Gregory Morrisett
Monadic regions. ICFP (2004)
Matthew Fluet, Riccardo Pucella
Phantom Types and Subtyping. IFIP TCS (2002)
Arthur T. Benjamin, Matthew Fluet, Mark L. Huber
Optimal Token Allocations in Solitaire Knock 'm Down. Electron. J. Comb. 8 (2) (2001)
Matthew Fluet, Stephen Weeks
Contification Using Dominators. ICFP (2001)