Mike Rainey

35 papers A* 3A 8B 6C 1Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Automatic Parallelism Management.
Proc. ACM Program. Lang.
Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
2024 — conf
Compiling Loop-Based Nested Parallelism for Irregular Workloads.
ASPLOS (2)
Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni
2024 C conf
Garbage Collection for Mostly Serialized Heaps.
ISMM
Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton
2024 Misc conf
GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits.
QCE
Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar
2024 J jnl
Optimizing Layout of Recursive Datatypes with Marmoset (Artifact).
Dagstuhl Artifacts Ser.
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
2024 J jnl
Optimizing Layout of Recursive Datatypes with Marmoset.
CoRR
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
2024 A conf
Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs.
ECOOP
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
2023 J jnl
The best multicore-parallelization refactoring you've never heard of.
CoRR
Mike Rainey
2022 B conf
Parallel block-delayed sequences.
PPoPP
Sam Westrick, Mike Rainey, Daniel Anderson, Guy E. Blelloch
2021 J jnl
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations.
CoRR
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
2021 J jnl
Efficient tree-traversals: reconciling parallelism and dense data representations.
Proc. ACM Program. Lang.
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
2021 A* conf
Task parallel assembly language for uncompromising parallelism.
PLDI
Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar
2019 A* conf
LoCal: a language for programs operating on serialized data.
PLDI
Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton
2019 B conf
Provably and practically efficient granularity control.
PPoPP
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
2018 A* conf
Heartbeat scheduling: provable efficiency for nested parallelism.
PLDI
Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
2018 B conf
Performance challenges in modular parallel programs.
PPoPP
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
2018 — ed.
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018
FHPC@ICFP
Kei Davis, Mike Rainey
2017 B conf
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism.
PPoPP
Umut A. Acar, Naama Ben-David, Mike Rainey
2017 J jnl
Parallel Work Inflation, Memory Effects, and their Empirical Analysis.
CoRR
Umut A. Acar, Arthur Charguéraud, Mike Rainey
2016 A conf
Dag-calculus: a calculus for parallel computation.
ICFP
Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski
2016 J jnl
Oracle-guided scheduling for controlling granularity in implicitly parallel languages.
J. Funct. Program.
Umut A. Acar, Arthur Charguéraud, Mike Rainey
2015 A conf
A work-efficient algorithm for parallel unordered depth-first search.
SC
Umut A. Acar, Arthur Charguéraud, Mike Rainey
2014 A conf
Theory and Practice of Chunked Sequences.
ESA
Umut A. Acar, Arthur Charguéraud, Mike Rainey
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 B conf
Scheduling parallel programs by work stealing with private deques.
PPoPP
Umut A. Acar, Arthur Charguéraud, Mike Rainey
2012 J jnl
Lazy tree splitting.
J. Funct. Program.
Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
2011 A conf
Oracle scheduling: controlling granularity in implicitly parallel languages.
OOPSLA
Umut A. Acar, Arthur Charguéraud, Mike Rainey
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 — 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
2008 A conf
A scheduling framework for general-purpose parallel languages.
ICFP
Matthew Fluet, Mike Rainey, John H. Reppy
2008 — conf
Calling variadic functions from a strongly-typed language.
ML
Matthias Blume, Mike Rainey, John H. Reppy
2008 A conf
Implicitly-threaded parallelism in Manticore.
ICFP
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
2007 — conf
Manticore: a heterogeneous parallel language.
DAMP
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
2007 — conf
Status report: the manticore project.
ML
Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao