Mike Rainey

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Topics

Parallel Computation

Data Representations

Hierarchically Organized

Garbage Collection

Top Venues

Proc. ACM Program. Lang.

Publications

Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
Automatic Parallelism Management. Proc. ACM Program. Lang. 8 (POPL) (2024)
Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni
Compiling Loop-Based Nested Parallelism for Irregular Workloads. ASPLOS (2) (2024)
Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton
Garbage Collection for Mostly Serialized Heaps. ISMM (2024)
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
Optimizing Layout of Recursive Datatypes with Marmoset. CoRR (2024)
Mike Rainey
The best multicore-parallelization refactoring you've never heard of. CoRR (2023)
Sam Westrick, Mike Rainey, Daniel Anderson, Guy E. Blelloch
Parallel block-delayed sequences. PPoPP (2022)
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations. CoRR (2021)
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
Efficient tree-traversals: reconciling parallelism and dense data representations. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar
Task parallel assembly language for uncompromising parallelism. PLDI (2021)
Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton
LoCal: a language for programs operating on serialized data. PLDI (2019)
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
Provably and practically efficient granularity control. PPoPP (2019)
Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
Heartbeat scheduling: provable efficiency for nested parallelism. PLDI (2018)
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
Performance challenges in modular parallel programs. PPOPP (2018)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Parallel Work Inflation, Memory Effects, and their Empirical Analysis. CoRR (2017)
Umut A. Acar, Naama Ben-David, Mike Rainey
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. PPOPP (2017)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Oracle-guided scheduling for controlling granularity in implicitly parallel languages. J. Funct. Program. 26 (2016)
Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski
Dag-calculus: a calculus for parallel computation. ICFP (2016)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
A work-efficient algorithm for parallel unordered depth-first search. SC (2015)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Theory and Practice of Chunked Sequences. ESA (2014)
Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw
Data-only flattening for nested data parallelism. PPOPP (2013)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Scheduling parallel programs by work stealing with private deques. PPOPP (2013)
Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Lazy tree splitting. J. Funct. Program. 22 (4-5) (2012)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA (2011)
Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet
Lazy tree splitting. ICFP (2010)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Implicitly threaded parallelism in Manticore. J. Funct. Program. 20 (5-6) (2010)
Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Programming in Manticore, a Heterogenous Parallel Functional Language. CEFP (2009)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Implicitly-threaded parallelism in Manticore. ICFP (2008)
Matthias Blume, Mike Rainey, John H. Reppy
Calling variadic functions from a strongly-typed language. ML (2008)
Matthew Fluet, Mike Rainey, John H. Reppy
A scheduling framework for general-purpose parallel languages. ICFP (2008)
Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Status report: the manticore project. ML (2007)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Manticore: a heterogeneous parallel language. DAMP (2007)