Michael Bauer

  ![](/sites/default/files/person/mike-bauer.jpg)

 ### Publications

### 2026

[Relight: Simple, User-Level Checkpointing and Fast Forward Replay for Distributed Task-Based Systems](/publication/2026-10_relight-simple-user-level-checkpointing-and-fast-forward-replay-distributed)

Elliott Slaughter, Rupanshu Soi, [Michael Bauer](/person/mike-bauer), Alex Aiken

[OOPSLA](https://2026.splashcon.org/details/oopsla-2026/108/Relight-Simple-User-Level-Checkpointing-and-Fast-Forward-Replay-for-Distributed-Task)

[Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs](/publication/2026-07_optimal-software-pipelining-and-warp-specialization-tensor-core-gpus)

Rupanshu Soi, Rohan Yadav, Fredrik Kjolstad, Alex Aiken, [Maryam Mehri Dehnavi](/person/maryam-mehri-dehnavi), [Michael Garland](/person/michael-garland), [Michael Bauer](/person/mike-bauer)

[OSDI](https://www.usenix.org/conference/osdi26/presentation/soi)

### 2025

[Task-Based Tensor Computations on Modern GPUs](/publication/2025-06_task-based-tensor-computations-modern-gpus)

Rohan Yadav, [Michael Garland](/person/michael-garland), Alex Aiken, [Michael Bauer](/person/mike-bauer)

[PLDI](https://pldi25.sigplan.org/)

[Automatic Tracing in Task-Based Runtime Systems](/publication/2025-03_automatic-tracing-task-based-runtime-systems)

Rohan Yadav, [Michael Bauer](/person/mike-bauer), David Broman, [Michael Garland](/person/michael-garland), Alex Aiken, Fredrik Kjolstad

[ASPLOS](https://www.asplos-conference.org/asplos2025/)

[Composing Distributed Computations Through Task and Kernel Fusion](/publication/2025-03_composing-distributed-computations-through-task-and-kernel-fusion)

Rohan Yadav, Shiv Sundrum, Wonchan Lee, [Michael Garland](/person/michael-garland), [Michael Bauer](/person/mike-bauer), Alex Aiken, Fredrik Kjolstad

[ASPLOS](https://www.asplos-conference.org/asplos2025/)

### 2023

[Legate Sparse: Distributed Sparse Computing in Python](/index.php/publication/2023-11_legate-sparse-distributed-sparse-computing-python)

Rohan Yadav, Wonchan Lee, [Melih Elibol](/index.php/person/melih-elibol), [Taylor Patti](/index.php/person/taylor-patti), Manolis Papadakis, [Michael Garland](/index.php/person/michael-garland), Alex Aiken, Fredrik Kjolstad, [Michael Bauer](/index.php/person/mike-bauer)

[Supercomputing](https://sc23.supercomputing.org/presentation/?id=pap119&sess=sess172)

[Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence](/publication/2023-02_visibility-algorithms-dynamic-dependence-analysis-and-distributed-coherence)

[Michael Bauer](/person/mike-bauer), Elliott Slaughter, Sean Treichler, Wonchan Lee, [Michael Garland](/person/michael-garland), Alex Aiken

[PPoPP](https://conf.researchr.org/home/ppopp-2023)

### 2021

[Scaling Implicit Parallelism via Dynamic Control Replication](/publication/2021-02_scaling-implicit-parallelism-dynamic-control-replication)

[Michael Bauer](/person/mike-bauer), Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen Shipman, Patrick McCormick, [Michael Garland](/person/michael-garland), Alex Aiken

[Principles and Practices of Parallel Programming (PPoPP)](https://ppopp21.sigplan.org/)

### 2019

[Legate NumPy: Accelerated and Distributed Array Computing](/publication/2019-11_legate-numpy-accelerated-and-distributed-array-computing)

[Michael Bauer](/person/mike-bauer), [Michael Garland](/person/michael-garland)

[The International Conference for High Performance Computing, Networking, Storag…](https://sc19.supercomputing.org/presentation/?id=pap271&sess=sess163)

### 2018

[Dynamic Tracing: Memoization of Task Graphs for Dynamic Task-based Runtimes](/index.php/publication/2018-11_dynamic-tracing-memoization-task-graphs-dynamic-task-based-runtimes)

Wonchan Lee, Elliott Slaughter, [Michael Bauer](/index.php/person/mike-bauer), Sean Treichler, Todd Warszawski, [Michael Garland](/index.php/person/michael-garland), Alex Aiken

[International Conference for High Performance Computing and Communications (SC'…](https://dl.acm.org/doi/10.5555/3291656.3291702)

### 2017

[Integrating External Resources with a Task-Based Programming Model](/publication/2017-12_integrating-external-resources-task-based-programming-model)

Zhihao Jia, Sean Treichler, Galen Shipman, [Michael Bauer](/person/mike-bauer), Noah Watkins, Carlos Maltzahn, Patrick McCormick, Alex Aiken

[International Conference on High Performance Computing (HiPC)](https://ieeexplore.ieee.org/document/8287762)

[Control Replication: Compiling Implicit Parallelism to Efficient SPMD with Logical Regions](/publication/2017-11_control-replication-compiling-implicit-parallelism-efficient-spmd-logical)

Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, [Michael Bauer](/person/mike-bauer), Galen Shipman, Patrick McCormick, Alex Aiken

[ International Conference for High Performance Computing and Communications (SC…](https://dl.acm.org/doi/10.1145/3126908.3126949)

### 2015

[Verification of Producer-Consumer Synchronization in GPU Programs](/publication/2015-06_verification-producer-consumer-synchronization-gpu-programs)

[Michael Bauer](/person/mike-bauer), Rahul Sharma, Alex Aiken