Matthew Fluet

According to our database, Matthew Fluet authored at least 39 papers between 2000 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

"Just Use Rust": A Best-Case Historical Study of Open Source Vulnerabilities in C.

Andrew Meneely, Aiden Green, Tyler Jaafari, Matthew Fluet, Brandon N. Keller

Proceedings of the 3rd IEEE/ACM International Workshop on Software Vulnerability Management, 2025

2024

Automatic Parallelism Management.

Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar

Proc. ACM Program. Lang., January, 2024

A Preliminary Type- and Control-Flow Analysis for System F_ømega.

Dongyu Wu, Matthew Fluet

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

2020

Disentanglement in nested-parallel programs.

Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar

Proc. ACM Program. Lang., 2020

Type- and Control-Flow Directed Defunctionalization.

Maheen Riaz Contractor, Matthew Fluet

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2018

Hierarchical memory management for mutable state.

Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2016

Revisiting software transactional memory in Haskell.

Matthew Le, Ryan Yates, Matthew Fluet

Proceedings of the 9th International Symposium on Haskell, 2016

2015

Coupling Memory and Computation for Locality Management.

Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Partial aborts for transactions via first-class continuations.

Matthew Le, Matthew Fluet

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Combining Shared State with Speculative Parallelism in a Functional Language.

Matthew Le, Matthew Fluet

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

An Efficient Type- and Control-Flow Analysis for System F.

Connor Adsit, Matthew Fluet

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Practical and effective higher-order optimizations.

Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Practical Inlining of Functions with Free Variables.

Lars Bergstrom, Matthew Fluet, John H. Reppy, Nora Sandler

CoRR, 2013

Data-only flattening for nested data parallelism.

Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

The manticore project.

Matthew Fluet

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012

A Type- and Control-Flow Analysis for System F.

Matthew Fluet

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Garbage collection for multicore NUMA machines.

Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy

Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011

Fairness for Transactional Events.

Edward Amsden, Matthew Fluet

Proceedings of the Implementation and Application of Functional Languages, 2011

2010

Lazy tree splitting.

Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet

Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 2010

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, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic

ACM SIGPLAN Notices, 2009

Speculative N-Way barriers.

Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

A cost semantics for self-adjusting computation.

Ruy Ley-Wild, Umut A. Acar, Matthew Fluet

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Programming in Manticore, a Heterogenous Parallel Functional Language.

Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Compiling self-adjusting programs with continuations.

Ruy Ley-Wild, Matthew Fluet, Umut A. Acar

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Implicitly-threaded parallelism in Manticore.

Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

A scheduling framework for general-purpose parallel languages.

Matthew Fluet, Mike Rainey, John H. Reppy

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Monadic and Substructural Type Systems For Region-Based Memory Management.

Matthew Fluet

PhD thesis, 2007

Manticore: a heterogeneous parallel language.

Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Status report: the manticore project.

Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

2006

Transactional events.

Kevin Donnelly, Matthew Fluet

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Linear Regions Are All You Need.

Matthew Fluet, Greg Morrisett, Amal J. Ahmed

Proceedings of the Programming Languages and Systems, 2006

2005

Practical Datatype Specializations with Phantom Types and Recursion Schemes.

Matthew Fluet, Riccardo Pucella

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

L³: A Linear Language with Locations.

Greg Morrisett, Amal J. Ahmed, Matthew Fluet

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

A step-indexed model of substructural state.

Amal J. Ahmed, Matthew Fluet, Greg Morrisett

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Monadic regions.

Matthew Fluet, J. Gregory Morrisett

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2002

Phantom Types and Subtyping.

Matthew Fluet, Riccardo Pucella

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001

Optimal Token Allocations in Solitaire Knock 'm Down.

Arthur T. Benjamin, Matthew Fluet, Mark L. Huber

Electron. J. Comb., 2001

Contification Using Dominators.

Matthew Fluet, Stephen Weeks

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

What's Best?

Arthur T. Benjamin, Matthew T. Fluet

Am. Math. Mon., 2000