18 citations · 19 across the 4 of their papers we have counts for
4 papers
Hierarchical Memory Management for Mutable State
Adrien Guatto, Sam Westrick, Ram Raghunathan +2
It is well known that modern functional programming languages are naturally amenable to parallel programming. Achieving efficient parallelism using functional languages, however, r…
Practical Inlining of Functions with Free Variables
Lars Bergstrom, Matthew Fluet, John Reppy +1
A long-standing practical challenge in the optimization of higher-order languages is inlining functions with free variables. Inlining code statically at a function call site is saf…
Garbage Collection for Multicore NUMA Machines
Sven Auhagen, Lars Bergstrom, Matthew Fluet +1
Modern high-end machines feature multiple processor packages, each of which contains multiple independent cores and integrated memory controllers connected directly to dedicated ph…
Practical Datatype Specializations with Phantom Types and Recursion Schemes
Matthew Fluet, Riccardo Pucella
Datatype specialization is a form of subtyping that captures program invariants on data structures that are expressed using the convenient and intuitive datatype notation. Of parti…