Mike Rainey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
10
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Compiling Loop-Based Nested Parallelism for Irregular Workloads. | Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni |
| 2024 | ECOOP | Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. | Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni |
| 2024 | QCE | GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. | Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar |
| 2022 | PPoPP | Parallel block-delayed sequences. | Sam Westrick, Mike Rainey, Daniel Anderson, Guy E. Blelloch |
| 2021 | PLDI | 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 |
| 2019 | PLDI | LoCal: a language for programs operating on serialized data. | Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton |
| 2019 | PPoPP | Provably and practically efficient granularity control. | Umut A. Acar, Vitaly Aksenov, Arthur Charguraud, Mike Rainey |
| 2018 | PLDI | Heartbeat scheduling: provable efficiency for nested parallelism. | Umut A. Acar, Arthur Charguraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
| 2018 | PPoPP | Performance challenges in modular parallel programs. | Umut A. Acar, Vitaly Aksenov, Arthur Charguraud, Mike Rainey |
| 2017 | PPoPP | Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. | Umut A. Acar, Naama Ben-David, Mike Rainey |
| 2016 | ICFP | Dag-calculus: a calculus for parallel computation. | Umut A. Acar, Arthur Charguraud, Mike Rainey, Filip Sieczkowski |
| 2015 | SC | A work-efficient algorithm for parallel unordered depth-first search. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2014 | ESA | Theory and Practice of Chunked Sequences. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2013 | PPoPP | Scheduling parallel programs by work stealing with private deques. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2013 | PPoPP | Data-only flattening for nested data parallelism. | Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw |
| 2011 | OOPSLA | Oracle scheduling: controlling granularity in implicitly parallel languages. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2010 | ICFP | Lazy tree splitting. | Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet |
| 2008 | ICFP | A scheduling framework for general-purpose parallel languages. | Matthew Fluet, Mike Rainey, John H. Reppy |
| 2008 | ICFP | Implicitly-threaded parallelism in Manticore. | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw |
| 2007 | POPL | Manticore: a heterogeneous parallel language. | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao |