Follow
Mike Rainey
Mike Rainey
Carnegie Mellon University
Verified email at mike-rainey.site - Homepage
Title
Cited by
Cited by
Year
Scheduling parallel programs by work stealing with private deques
UA Acar, A Charguéraud, M Rainey
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
1722013
Manticore: A heterogeneous parallel language
M Fluet, M Rainey, J Reppy, A Shaw, Y Xiao
Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007
1112007
Implicitly threaded parallelism in Manticore
M Fluet, M Rainey, J Reppy, A Shaw
Journal of functional programming 20 (5-6), 537-576, 2010
892010
Implicitly-threaded parallelism in Manticore
M Fluet, M Rainey, J Reppy, A Shaw
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
692008
A scheduling framework for general-purpose parallel languages
M Fluet, M Rainey, J Reppy
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
572008
Data-only flattening for nested data parallelism
L Bergstrom, M Fluet, M Rainey, J Reppy, S Rosen, A Shaw
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
452013
Status report: The manticore project
M Fluet, N Ford, M Rainey, J Reppy, A Shaw, Y Xiao
Proceedings of the 2007 workshop on Workshop on ML, 15-24, 2007
352007
Oracle scheduling: Controlling granularity in implicitly parallel languages
UA Acar, A Charguéraud, M Rainey
ACM Sigplan Notices 46 (10), 499-518, 2011
332011
Lazy tree splitting
L Bergstrom, M Rainey, J Reppy, A Shaw, M Fluet
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
302010
A work-efficient algorithm for parallel unordered depth-first search
UA Acar, A Charguéraud, M Rainey
Proceedings of the International Conference for High Performance Computing …, 2015
292015
Heartbeat scheduling: Provable efficiency for nested parallelism
UA Acar, A Charguéraud, A Guatto, M Rainey, F Sieczkowski
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
262018
Oracle-guided scheduling for controlling granularity in implicitly parallel languages
UA Acar, A Charguéraud, M Rainey
Journal of Functional Programming 26, e23, 2016
242016
LoCal: a language for programs operating on serialized data
M Vollmer, C Koparkar, M Rainey, L Sakka, M Kulkarni, RR Newton
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
212019
Provably and practically efficient granularity control
UA Acar, V Aksenov, A Charguéraud, M Rainey
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
212019
Theory and practice of chunked sequences
UA Acar, A Charguéraud, M Rainey
Algorithms-ESA 2014: 22th Annual European Symposium, Wroclaw, Poland …, 2014
162014
Lazy tree splitting
L Bergstrom, M Fluet, M Rainey, J Reppy, A Shaw
Journal of Functional Programming 22 (4-5), 382-438, 2012
162012
Dag-calculus: A calculus for parallel computation
UA Acar, A Charguéraud, M Rainey, F Sieczkowski
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
152016
Efficient tree-traversals: reconciling parallelism and dense data representations
C Koparkar, M Rainey, M Vollmer, M Kulkarni, RR Newton
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
142021
The Manticore runtime model
M Rainey
Master’s dissertation, University of Chicago, 2007
132007
Contention in structured concurrency: Provably efficient dynamic non-zero indicators for nested parallelism
UA Acar, N Ben-David, M Rainey
ACM SIGPLAN Notices 52 (8), 75-88, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20