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
1702013
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
1122007
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
682008
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
272015
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
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
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
152019
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
132016
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
Task parallel assembly language for uncompromising parallelism
M Rainey, RR Newton, K Hale, N Hardavellas, S Campanoni, P Dinda, ...
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
112021
The system can't perform the operation now. Try again later.
Articles 1–20