Matthew Fluet - RankMe

48 papers A* 1A 11B 2C 1Journal 15Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	"Just Use Rust": A Best-Case Historical Study of Open Source Vulnerabilities in C. SVM@ICSE Andrew Meneely, Aiden Green, Tyler Jaafari, Matthew Fluet, Brandon N. Keller
2024	—	`conf`	A Preliminary Type- and Control-Flow Analysis for System F TFP Dongyu Wu, Matthew Fluet
2024	J	`jnl`	Automatic Parallelism Management. Proc. ACM Program. Lang. Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
2020	J	`jnl`	Disentanglement in nested-parallel programs. Proc. ACM Program. Lang. Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar
2020	—	`conf`	Type- and Control-Flow Directed Defunctionalization. IFL Maheen Riaz Contractor, Matthew Fluet
2018	J	`jnl`	Hierarchical Memory Management for Mutable State. CoRR Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2018	B	`conf`	Hierarchical memory management for mutable state. PPoPP Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2016	C	`conf`	Revisiting software transactional memory in Haskell. Haskell Matthew Le, Ryan Yates, Matthew Fluet
2015	—	`conf`	Coupling Memory and Computation for Locality Management. SNAPL Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan
2015	A	`conf`	Partial aborts for transactions via first-class continuations. ICFP Matthew Le, Matthew Fluet
2014	—	`conf`	An Efficient Type- and Control-Flow Analysis for System F. IFL Connor Adsit, Matthew Fluet
2014	—	`conf`	Combining Shared State with Speculative Parallelism in a Functional Language. IFL Matthew Le, Matthew Fluet
2014	A	`conf`	Practical and effective higher-order optimizations. ICFP Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler
2013	B	`conf`	Data-only flattening for nested data parallelism. PPoPP Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw
2013	J	`jnl`	Practical Inlining of Functions with Free Variables. CoRR Lars Bergstrom, Matthew Fluet, John H. Reppy, Nora Sandler
2013	—	`conf`	The manticore project. FHPC@ICFP Matthew Fluet
2012	—	`conf`	A Type- and Control-Flow Analysis for System F. IFL Matthew Fluet
2012	J	`jnl`	Lazy tree splitting. J. Funct. Program. Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
2011	—	`conf`	Fairness for Transactional Events. IFL Edward Amsden, Matthew Fluet
2011	J	`jnl`	Garbage Collection for Multicore NUMA Machines CoRR Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy
2011	—	`conf`	Garbage collection for multicore NUMA machines. MSPC Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy
2010	J	`jnl`	Implicitly threaded parallelism in Manticore. J. Funct. Program. Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
2010	A	`conf`	Lazy tree splitting. ICFP Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet
2009	A*	`conf`	A cost semantics for self-adjusting computation. POPL Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
2009	J	`jnl`	An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices 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
2009	—	`conf`	Programming in Manticore, a Heterogenous Parallel Functional Language. CEFP Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
2009	—	`conf`	Speculative N-Way barriers. DAMP Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar
2008	A	`conf`	A scheduling framework for general-purpose parallel languages. ICFP Matthew Fluet, Mike Rainey, John H. Reppy
2008	A	`conf`	Compiling self-adjusting programs with continuations. ICFP Ruy Ley-Wild, Matthew Fluet, Umut A. Acar
2008	A	`conf`	Implicitly-threaded parallelism in Manticore. ICFP Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
2008	J	`jnl`	Transactional events. J. Funct. Program. Kevin Donnelly, Matthew Fluet
2007	J	`jnl`	L Fundam. Informaticae Amal Ahmed, Matthew Fluet, Greg Morrisett
2007	—	`conf`	Manticore: a heterogeneous parallel language. DAMP Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
2007	—	`—`	Monadic and Substructural Type Systems For Region-Based Memory Management. Matthew Fluet
2007	—	`conf`	Status report: the manticore project. ML Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
2006	A	`conf`	Linear Regions Are All You Need. ESOP Matthew Fluet, Greg Morrisett, Amal J. Ahmed
2006	J	`jnl`	Monadic regions. J. Funct. Program. Matthew Fluet, Greg Morrisett
2006	J	`jnl`	Phantom types and subtyping. J. Funct. Program. Matthew Fluet, Riccardo Pucella
2006	A	`conf`	Transactional events. ICFP Kevin Donnelly, Matthew Fluet
2005	A	`conf`	A step-indexed model of substructural state. ICFP Amal J. Ahmed, Matthew Fluet, Greg Morrisett
2005	—	`conf`	L TLCA Greg Morrisett, Amal J. Ahmed, Matthew Fluet
2005	J	`jnl`	Practical Datatype Specializations with Phantom Types and Recursion Schemes CoRR Matthew Fluet, Riccardo Pucella
2005	—	`conf`	Practical Datatype Specializations with Phantom Types and Recursion Schemes. ML Matthew Fluet, Riccardo Pucella
2004	A	`conf`	Monadic regions. ICFP Matthew Fluet, J. Gregory Morrisett
2004	J	`jnl`	Phantom Types and Subtyping CoRR Matthew Fluet, Riccardo Pucella
2002	—	`conf`	Phantom Types and Subtyping. IFIP TCS Matthew Fluet, Riccardo Pucella
2001	A	`conf`	Contification Using Dominators. ICFP Matthew Fluet, Stephen Weeks
2001	J	`jnl`	Optimal Token Allocations in Solitaire Knock 'm Down. Electron. J. Comb. Arthur T. Benjamin, Matthew Fluet, Mark L. Huber