Invited Talks

Reprising the Zen of Python for High Performance Computing
Michael Bauer, Keynote Address: Workshop on Python for High Performance and Scientific Computing, November 2020.

Degree Theses

Legion: Programming Distributed Heterogeneous Architectures with Logical Regions
Michael E. Bauer, Ph.D. Thesis, Department of Computer Science, Stanford University, Advisor: Alex Aiken, December 2014.

Proving the Completeness of Error Detection Mechanisms in Simple Core Chip Multiprocessors
Michael E. Bauer, Graduation with Honors, Department of Electrical Computer Engineering, Duke University, Advisor: Daniel J. Sorin, May 2008.

Faraday Waves Arising from Square Wave Forcing of the Damped Mathieu Equation
Michael E. Bauer, Graduation with High Honors, Department of Mathematics, Duke University, Advisor: Anne Catllá, May 2008.

Refereed Conference Publications

Index Launches: Scalable, Flexible Representations of Parallel Task Groups
Rupanshu Soi, Michael Bauer, Sean Treichler, Manolis Papadakis, Wonchan Lee, Patrick McCormick, Alex Aiken, Elliott Slaughter. In Supercomputing (SC), to appear November 2021.

Scaling Implicit Parallelism via Dynamic Control Replication
Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen Shipman, Patrick McCormick, Michael Garland, Alex Aiken. In Principles and Practices of Parallel Programming (PPoPP), February 2021.

Legate NumPy: Accelerated and Distributed Array Computing
Michael Bauer, Michael Garland. In Supercomputing (SC), November 2019.

DNS of Autoignition of Diesel Surrogate Fuel in a Turbulent Jet at High Pressure with S3D-Legion on Titan/Summit
Jacqueline Chen, Elliott Slaughter, Wonchan Lee, Aditya Konduri, Hemanth Kolla, Alex Aiken, Sean Treichler, Michael Bauer, Giulio Borghesi. In International Conference on Numerical Combustion (NC), May 2019.

Dynamic Tracing: Just-In-Time Specialization of Task Graphs for Dynamic Task-Based Runtimes
Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken. In Supercomputing (SC), November 2018.

Integrating External Resources with a Task-Based Programming Model
Zhihao Jia, Sean Treichler, Galen Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn, Patrick McCormick, Alex Aiken. In International Conference on High Performance Computing (HiPC), December 2017.

Control Replication: Compiling Implicit Parallelism to Efficient SPMD with Logical Regions
Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen Shipman, Patrick McCormack, Alex Aiken. In Supercomputing (SC), November 2017.

Dependent Partitioning
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2016.

Regent: A High-Productivity Programming Language for HPC with Logical Regions
Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken. In Supercomputing (SC), November 2015.

Verification of Producer-Consumer Synchronization in GPU Programs
Michael Bauer, Rahul Sharma, Alex Aiken. In Programming Language Design and Implementation (PLDI), June 2015.

Structure Slicing: Extending Logical Regions with Fields
Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken. In Supercomputing (SC), November 2014.

Realm: An Event-Based Low-Level Runtime System for Distributed Memory Architectures
Sean Treichler, Michael Bauer, Alex Aiken. In Parallel Architectures and Compilation Techniques (PACT), August 2014.

Singe: Leveraging Warp Specialization for High Performance on GPUs
Michael Bauer, Sean Treichler, Alex Aiken. In Principles and Practices of Parallel Programming (PPoPP), February 2014.

Language Support for Dynamic, Hierarchical Data Partitioning
Sean Treichler, Michael Bauer, Alex Aiken. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2013.

Legion: Expressing Locality and Independence with Logical Regions
Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken. In Supercomputing (SC), November 2012.

CudaDMA: Optimizing GPU Memory Bandwidth via Warp Specialization
Michael Bauer, Henry Cook, Brucek Khailany. In Supercomputing (SC), November 2011.

Programming the Memory Hierarchy Revisited: Supporting Irregular Parallelism in Sequoia
Michael Bauer, John P. Clark, Eric Schkufza, Alex Aiken. In ACM Principles and Practices of Parallel Programming (PPoPP), February 2011.

Reducing the Impact of Intra-Core Process Variability with Criticality-Based Resource Allocation and Prefetching
Bogdan F. Romanescu, Michael E. Bauer, Daniel J. Sorin, and Sule Ozev. In ACM International Conference on Computing Frontiers, May 2008.

Argus: Low-Cost, Comprehensive Error Detection in Simple Cores
Albert Meixner, Michael E. Bauer, and Daniel J. Sorin. In IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, January/February 2008.

Variasim: Simulating Circuits and Systems in the Presence of Process Variability
Bogdan F. Romanescu, Michael E. Bauer, Sule Ozev, and Daniel J. Sorin. . Computuer Architecture News, volume 35, number 5, December 2007.

Argus: Low-Cost, Comprehensive Error Detection in Simple Cores
Albert Meixner, Michael E. Bauer, and Daniel J. Sorin. 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), December 2007.

Reducing the Impact of Process Variability with Prefetching and Criticality-Based Resource Allocation
Bogdan F. Romanescu, Michael E. Bauer, Daniel J. Sorin, and Sule Ozev. Poster and extended abstract in the Sixteenth International Conference on Parallel Architectures and Compilation Techniques (PACT) September 2007.