Mike Rainey

According to our database, Mike Rainey authored at least 25 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatic Parallelism Management.

Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar

Proc. ACM Program. Lang., January, 2024

2023

The best multicore-parallelization refactoring you've never heard of.

Mike Rainey

CoRR, 2023

2022

Parallel block-delayed sequences.

Sam Westrick, Mike Rainey, Daniel Anderson, Guy E. Blelloch

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021

Efficient tree-traversals: reconciling parallelism and dense data representations.

Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton

Proc. ACM Program. Lang., 2021

Task parallel assembly language for uncompromising parallelism.

Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

Provably and practically efficient granularity control.

Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

LoCal: a language for programs operating on serialized data.

Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Performance challenges in modular parallel programs.

Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Heartbeat scheduling: provable efficiency for nested parallelism.

Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Parallel Work Inflation, Memory Effects, and their Empirical Analysis.

Umut A. Acar, Arthur Charguéraud, Mike Rainey

CoRR, 2017

Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism.

Umut A. Acar, Naama Ben-David, Mike Rainey

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

2016

Oracle-guided scheduling for controlling granularity in implicitly parallel languages.

Umut A. Acar, Arthur Charguéraud, Mike Rainey

J. Funct. Program., 2016

Dag-calculus: a calculus for parallel computation.

Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

A work-efficient algorithm for parallel unordered depth-first search.

Umut A. Acar, Arthur Charguéraud, Mike Rainey

Proceedings of the International Conference for High Performance Computing, 2015

2014

Theory and Practice of Chunked Sequences.

Umut A. Acar, Arthur Charguéraud, Mike Rainey

Proceedings of the Algorithms - ESA 2014, 2014

2013

Data-only flattening for nested data parallelism.

Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Scheduling parallel programs by work stealing with private deques.

Umut A. Acar, Arthur Charguéraud, Mike Rainey

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2012

Lazy tree splitting.

Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw

J. Funct. Program., 2012

2011

Oracle scheduling: controlling granularity in implicitly parallel languages.

Umut A. Acar, Arthur Charguéraud, Mike Rainey

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Implicitly threaded parallelism in Manticore.

Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw

J. Funct. Program., 2010

2009

Programming in Manticore, a Heterogenous Parallel Functional Language.

Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Calling variadic functions from a strongly-typed language.

Matthias Blume, Mike Rainey, John H. Reppy

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

A scheduling framework for general-purpose parallel languages.

Matthew Fluet, Mike Rainey, John H. Reppy

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Manticore: a heterogeneous parallel language.

Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Status report: the manticore project.

Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007