Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. - Michael Bauer 001; John Clark; Eric Schkufza; Alex Aiken (PPoPP, 2011)

CudaDMA: optimizing GPU memory bandwidth via warp specialization. - Michael Bauer 001; Henry Cook; Brucek Khailany (SC, 2011)

Legion: expressing locality and independence with logical regions. - Michael Bauer 001; Sean Treichler; Elliott Slaughter; Alex Aiken (SC, 2012)

Language support for dynamic, hierarchical data partitioning. - Sean Treichler; Michael Bauer 001; Alex Aiken (OOPSLA, 2013)

Realm: an event-based low-level runtime for distributed memory architectures. - Sean Treichler; Michael Bauer 001; Alex Aiken (PACT, 2014)

Singe: leveraging warp specialization for high performance on GPUs. - Michael Bauer 001; Sean Treichler; Alex Aiken (PPoPP, 2014)

Structure Slicing: Extending Logical Regions with Fields. - Michael Bauer 001; Sean Treichler; Elliott Slaughter; Alex Aiken (SC, 2014)

Legion: programming distributed heterogeneous architectures with logical regions. - Michael Bauer 001 (2014)

Verification of producer-consumer synchronization in GPU programs. - Rahul Sharma 001; Michael Bauer 001; Alex Aiken (PLDI, 2015)

Regent: a high-productivity programming language for HPC with logical regions. - Elliott Slaughter; Wonchan Lee; Sean Treichler; Michael Bauer 001; Alex Aiken (SC, 2015)

Dependent partitioning. - Sean Treichler; Michael Bauer 001; Rahul Sharma 001; Elliott Slaughter; Alex Aiken (OOPSLA, 2016)

Integrating External Resources with a Task-Based Programming Model. - Zhihao Jia; Sean Treichler; Galen M. Shipman; Michael Bauer 001; Noah Watkins; Carlos Maltzahn; Patrick S. McCormick; Alex Aiken (HiPC, 2017)

Control replication: compiling implicit parallelism to efficient SPMD with logical regions. - Elliott Slaughter; Wonchan Lee; Sean Treichler; Wen Zhang; Michael Bauer 001; Galen M. Shipman; Patrick S. McCormick; Alex Aiken (SC, 2017)

Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. - Wonchan Lee; Elliott Slaughter; Michael Bauer 001; Sean Treichler; Todd Warszawski; Michael Garland; Alex Aiken (SC, 2018)

Legate NumPy: accelerated and distributed array computing. - Michael Bauer 001; Michael Garland (SC, 2019)

Scaling implicit parallelism via dynamic control replication. - Michael Bauer 001; Wonchan Lee; Elliott Slaughter; Zhihao Jia; Mario Di Renzo; Manolis Papadakis; Galen M. Shipman; Patrick S. McCormick; Michael Garland; Alex Aiken (PPoPP, 2021)

Index launches: scalable, flexible representation of parallel task groups. - Rupanshu Soi; Michael Bauer 001; Sean Treichler; Manolis Papadakis; Wonchan Lee; Patrick S. McCormick; Alex Aiken; Elliott Slaughter (SC, 2021)

Supercomputing in Python With Legate. - Michael Bauer 001; Wonchan Lee; Manolis Papadakis; Marcin Zalewski; Michael Garland; Konrad Hinsen; Anshu Dubey (Comput. Sci. Eng., 2021)

Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. - Michael Bauer 001; Elliott Slaughter; Sean Treichler; Wonchan Lee; Michael Garland; Alex Aiken (PPoPP, 2023)

Legate Sparse: Distributed Sparse Computing in Python. - Rohan Yadav; Wonchan Lee; Melih Elibol; Manolis Papadakis; Taylor Lee-Patti; Michael Garland; Alex Aiken; Fredrik Kjolstad; Michael Bauer 001 (SC, 2023)

Automatic Tracing in Task-Based Runtime Systems. - Rohan Yadav; Michael Bauer 001; David Broman; Michael Garland; Alex Aiken; Fredrik Kjolstad (ASPLOS (1), 2025)

Composing Distributed Computations Through Task and Kernel Fusion. - Rohan Yadav; Shiv Sundram; Wonchan Lee; Michael Garland; Michael Bauer 001; Alex Aiken; Fredrik Kjolstad (ASPLOS (1), 2025)

Task-Based Tensor Computations on Modern GPUs. - Rohan Yadav; Michael Garland; Alex Aiken; Michael Bauer 001 (Proc. ACM Program. Lang., 2025)