Matthew Fluet - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Matthew Fluet' as author, editor, or advisor:

What's Best?Arthur T. Benjamin, Matthew T. Fluet. tamm, 107(6):560-562, 2000. [doi]
Revisiting software transactional memory in HaskellMatthew Le, Ryan Yates, Matthew Fluet. haskell 2016: 105-113 [doi]
A Type- and Control-Flow Analysis for System FMatthew Fluet. IFL 2013: 122-139 [doi]
Practical and effective higher-order optimizationsLars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler. ICFP 2014: 81-93 [doi]
An overview of the Oregon programming languages summer schoolJim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic. SIGPLAN, 44(11):1-3, 2009. [doi]
ømegaDongyu Wu, Matthew Fluet. sfp 2024: 160-194 [doi]
Garbage collection for multicore NUMA machinesSven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy. PLDI 2011: 51-57 [doi]
Programming in Manticore, a Heterogenous Parallel Functional LanguageMatthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao. cefp 2010: 94-145 [doi]
Hierarchical memory management for mutable stateAdrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet. ppopp 2018: 81-93 [doi]
Implicitly threaded parallelism in ManticoreMatthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw. JFP, 20(5-6):537-576, 2008. [doi]
Disentanglement in nested-parallel programsSam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar. PACMPL, 4(POPL), 2020. [doi]
Monadic and Substructural Type Systems For Region-Based Memory ManagementMatthew Fluet. PhD thesis, Cornell University, USA, 2007.
Partial aborts for transactions via first-class continuationsMatthew Le, Matthew Fluet. ICFP 2015: 230-242 [doi]
"Just Use Rust": A Best-Case Historical Study of Open Source Vulnerabilities in CAndrew Meneely, Aiden Green, Tyler Jaafari, Matthew Fluet, Brandon Keller. ICSE 2025: 25-32 [doi]
Coupling Memory and Computation for Locality ManagementUmut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan. SNAPL 2015: 1-14 [doi]
Data-only flattening for nested data parallelismLars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw. ppopp 2013: 81-92 [doi]
The manticore projectMatthew Fluet. ICFP 2013: 1-2 [doi]
Lazy tree splittingLars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw. JFP, 22(4-5):382-438, 2012. [doi]
Combining Shared State with Speculative Parallelism in a Functional LanguageMatthew Le, Matthew Fluet. IFL 2014: 2 [doi]
An Efficient Type- and Control-Flow Analysis for System FConnor Adsit, Matthew Fluet. IFL 2014: 3 [doi]
Type- and Control-Flow Directed DefunctionalizationMaheen Riaz Contractor, Matthew Fluet. IFL 2020: 79-92 [doi]
Automatic Parallelism ManagementSam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar. PACMPL, 8(POPL):1118-1149, January 2024. [doi]
Lazy tree splittingLars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet. ICFP 2010: 93-104 [doi]
Fairness for Transactional EventsEdward Amsden, Matthew Fluet. IFL 2012: 17-34 [doi]

runs on WebDSL