Status report: the manticore project. - Matthew Fluet; Nic Ford; Mike Rainey; John H. Reppy; Adam Shaw; Yingqi Xiao (ML, 2007)

Manticore: a heterogeneous parallel language. - Matthew Fluet; Mike Rainey; John H. Reppy; Adam Shaw; Yingqi Xiao (DAMP, 2007)

A scheduling framework for general-purpose parallel languages. - Matthew Fluet; Mike Rainey; John H. Reppy (ICFP, 2008)

Calling variadic functions from a strongly-typed language. - Matthias Blume; Mike Rainey; John H. Reppy (ML, 2008)

Programming in Manticore, a Heterogenous Parallel Functional Language. - Matthew Fluet; Lars Bergstrom; Nic Ford; Mike Rainey; John H. Reppy; Adam Shaw; Yingqi Xiao (CEFP, 2009)

Implicitly threaded parallelism in Manticore. - Matthew Fluet; Mike Rainey; John H. Reppy; Adam Shaw (J. Funct. Program., 2010)

Oracle scheduling: controlling granularity in implicitly parallel languages. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (OOPSLA, 2011)

Lazy tree splitting. - Lars Bergstrom; Matthew Fluet; Mike Rainey; John H. Reppy; Adam Shaw (J. Funct. Program., 2012)

Scheduling parallel programs by work stealing with private deques. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (PPoPP, 2013)

Data-only flattening for nested data parallelism. - Lars Bergstrom; Matthew Fluet; Mike Rainey; John H. Reppy; Stephen Rosen; Adam Shaw (PPoPP, 2013)

Theory and Practice of Chunked Sequences. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (ESA, 2014)

A work-efficient algorithm for parallel unordered depth-first search. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (SC, 2015)

Dag-calculus: a calculus for parallel computation. - Umut A. Acar; Arthur Charguéraud; Mike Rainey; Filip Sieczkowski (ICFP, 2016)

Oracle-guided scheduling for controlling granularity in implicitly parallel languages. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (J. Funct. Program., 2016)

Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. - Umut A. Acar; Naama Ben-David; Mike Rainey (PPoPP, 2017)

Parallel Work Inflation, Memory Effects, and their Empirical Analysis. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (CoRR, 2017)

Heartbeat scheduling: provable efficiency for nested parallelism. - Umut A. Acar; Arthur Charguéraud; Adrien Guatto; Mike Rainey; Filip Sieczkowski (PLDI, 2018)

Performance challenges in modular parallel programs. - Umut A. Acar; Vitaly Aksenov; Arthur Charguéraud; Mike Rainey (PPoPP, 2018)

LoCal: a language for programs operating on serialized data. - Michael Vollmer 003; Chaitanya Koparkar; Mike Rainey; Laith Sakka; Milind Kulkarni 001; Ryan R. Newton (PLDI, 2019)

Provably and practically efficient granularity control. - Umut A. Acar; Vitaly Aksenov; Arthur Charguéraud; Mike Rainey (PPoPP, 2019)

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 (PLDI, 2021)

Efficient tree-traversals: reconciling parallelism and dense data representations. - Chaitanya Koparkar; Mike Rainey; Michael Vollmer 003; Milind Kulkarni 001; Ryan R. Newton (Proc. ACM Program. Lang., 2021)

Parallel block-delayed sequences. - Sam Westrick; Mike Rainey; Daniel Anderson; Guy E. Blelloch (PPoPP, 2022)

The best multicore-parallelization refactoring you've never heard of. - Mike Rainey (CoRR, 2023)

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 (ASPLOS (2), 2024)

Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (ECOOP, 2024)

Garbage Collection for Mostly Serialized Heaps. - Chaitanya S. Koparkar; Vidush Singhal; Aditya Gupta; Mike Rainey; Michael Vollmer 003; Artem Pelenitsyn; Sam Tobin-Hochstadt; Milind Kulkarni 001; Ryan R. Newton (ISMM, 2024)

GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. - Sam Westrick; Pengyu Liu; Byeongjee Kang; Colin McDonald; Mike Rainey; Mingkuan Xu; Jatin Arora 002; Yongshan Ding 001; Umut A. Acar (QCE, 2024)

Optimizing Layout of Recursive Datatypes with Marmoset. - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (CoRR, 2024)

Optimizing Layout of Recursive Datatypes with Marmoset (Artifact). - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (Dagstuhl Artifacts Ser., 2024)

Automatic Parallelism Management. - Sam Westrick; Matthew Fluet; Mike Rainey; Umut A. Acar (Proc. ACM Program. Lang., 2024)