Matthew Fluet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
7
Active years
2001–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | "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 |
| 2018 | PPoPP | Hierarchical memory management for mutable state. | Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet |
| 2016 | HASKELL | Revisiting software transactional memory in Haskell. | Matthew Le, Ryan Yates, Matthew Fluet |
| 2015 | ICFP | Partial aborts for transactions via first-class continuations. | Matthew Le, Matthew Fluet |
| 2014 | ICFP | Practical and effective higher-order optimizations. | Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler |
| 2013 | ICFP | The manticore project. | Matthew Fluet |
| 2013 | PPoPP | Data-only flattening for nested data parallelism. | Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw |
| 2011 | PLDI | Garbage collection for multicore NUMA machines. | Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy |
| 2010 | ICFP | Lazy tree splitting. | Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet |
| 2009 | POPL | A cost semantics for self-adjusting computation. | Ruy Ley-Wild, Umut A. Acar, Matthew Fluet |
| 2009 | POPL | Speculative N-Way barriers. | Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar |
| 2008 | ICFP | A scheduling framework for general-purpose parallel languages. | Matthew Fluet, Mike Rainey, John H. Reppy |
| 2008 | ICFP | Implicitly-threaded parallelism in Manticore. | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw |
| 2008 | ICFP | Compiling self-adjusting programs with continuations. | Ruy Ley-Wild, Matthew Fluet, Umut A. Acar |
| 2007 | POPL | Manticore: a heterogeneous parallel language. | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao |
| 2006 | ESOP | Linear Regions Are All You Need. | Matthew Fluet, Greg Morrisett, Amal J. Ahmed |
| 2006 | ICFP | Transactional events. | Kevin Donnelly, Matthew Fluet |
| 2005 | ICFP | A step-indexed model of substructural state. | Amal J. Ahmed, Matthew Fluet, Greg Morrisett |
| 2004 | ICFP | Monadic regions. | Matthew Fluet, J. Gregory Morrisett |
| 2001 | ICFP | Contification Using Dominators. | Matthew Fluet, Stephen Weeks |