| 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 | 172 | 2013 |
| 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 | 111 | 2007 |
| Implicitly threaded parallelism in Manticore M Fluet, M Rainey, J Reppy, A Shaw Journal of functional programming 20 (5-6), 537-576, 2010 | 89 | 2010 |
| Implicitly-threaded parallelism in Manticore M Fluet, M Rainey, J Reppy, A Shaw Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 69 | 2008 |
| 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 | 57 | 2008 |
| 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 | 45 | 2013 |
| 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 | 35 | 2007 |
| Oracle scheduling: Controlling granularity in implicitly parallel languages UA Acar, A Charguéraud, M Rainey ACM Sigplan Notices 46 (10), 499-518, 2011 | 33 | 2011 |
| Lazy tree splitting L Bergstrom, M Rainey, J Reppy, A Shaw, M Fluet Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 30 | 2010 |
| 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 | 29 | 2015 |
| 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 | 26 | 2018 |
| Oracle-guided scheduling for controlling granularity in implicitly parallel languages UA Acar, A Charguéraud, M Rainey Journal of Functional Programming 26, e23, 2016 | 24 | 2016 |
| 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 | 21 | 2019 |
| 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 | 21 | 2019 |
| Theory and practice of chunked sequences UA Acar, A Charguéraud, M Rainey Algorithms-ESA 2014: 22th Annual European Symposium, Wroclaw, Poland …, 2014 | 16 | 2014 |
| Lazy tree splitting L Bergstrom, M Fluet, M Rainey, J Reppy, A Shaw Journal of Functional Programming 22 (4-5), 382-438, 2012 | 16 | 2012 |
| 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 | 15 | 2016 |
| 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 | 14 | 2021 |
| The Manticore runtime model M Rainey Master’s dissertation, University of Chicago, 2007 | 13 | 2007 |
| 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 | 12 | 2017 |
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerified email at cs.cmu.edu
