Michael Bauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
24
Active years
1992–2025
Best venue rank
A*
Where they publish
- ASC9 papers
- BPPoPP4 papers
- AMICCAI3 papers
- A*ASPLOS2 papers
- A*AAAI2 papers
- AOOPSLA2 papers
- AIUI1 paper
- BSmartComp1 paper
- A*VR1 paper
- NationalHiPC1 paper
- CFedCSIS1 paper
- NationalAMIA1 paper
- A*ICSE1 paper
- A*PLDI1 paper
- CISORC1 paper
- BNOMS1 paper
- BBigData1 paper
- AECAI1 paper
- NationalPAAMS1 paper
- NationalCATA1 paper
- BKES1 paper
- NationalPDPTA1 paper
- BCOMPSAC1 paper
- CICCI1 paper
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Automatic Tracing in Task-Based Runtime Systems. | Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad |
| 2025 | ASPLOS | Composing Distributed Computations Through Task and Kernel Fusion. | Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad |
| 2025 | IUI | Cluster-Based Approach for Visual Anomaly Detection in Multivariate Welding Process Data Supported by User Guidance. | Josef Suschnigg, Belgin Mutlu, Matthias Burgholzer, Michael Bauer, Tobias Schreck |
| 2024 | SmartComp | Towards Enhanced Urban Management: Introducing A Model for Autonomic Smart City Management. | Elham Okhovat, Michael Bauer |
| 2023 | PPoPP | Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. | Michael Bauer, Elliott Slaughter, Sean Treichler, Wonchan Lee, Michael Garland, Alex Aiken |
| 2023 | SC | 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 |
| 2021 | PPoPP | Scaling implicit parallelism via dynamic control replication. | Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen M. Shipman, Patrick S. McCormick, Michael Garland, Alex Aiken |
| 2021 | SC | Index launches: scalable, flexible representation of parallel task groups. | Rupanshu Soi, Michael Bauer, Sean Treichler, Manolis Papadakis, Wonchan Lee, Patrick S. McCormick, Alex Aiken, Elliott Slaughter |
| 2019 | SC | Legate NumPy: accelerated and distributed array computing. | Michael Bauer, Michael Garland |
| 2019 | VR | Interactive and Multimodal-based Augmented Reality for Remote Assistance using a Digital Surgical Microscope. | Eric L. Wisotzky, Jean-Claude Rosenthal, Peter Eisert, Anna Hilsmann, Falko Schmid, Michael Bauer, Armin Schneider, Florian C. Uecker |
| 2018 | SC | Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. | Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken |
| 2017 | AAAI | Healthy Cognitive Aging: A Hybrid Random Vector Functional-Link Model for the Analysis of Alzheimer's Disease. | Peng Dai, Femida Gwadry-Sridhar, Michael Bauer, Michael Borrie, Xue Teng |
| 2017 | HiPC | Integrating External Resources with a Task-Based Programming Model. | Zhihao Jia, Sean Treichler, Galen M. Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn, Patrick S. McCormick, Alex Aiken |
| 2017 | SC | Control replication: compiling implicit parallelism to efficient SPMD with logical regions. | Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen M. Shipman, Patrick S. McCormick, Alex Aiken |
| 2016 | AAAI | Bagging Ensembles for the Diagnosis and Prognostication of Alzheimer's Disease. | Peng Dai, Femida Gwadry-Sridhar, Michael Bauer, Michael Borrie |
| 2016 | FedCSIS | Leukocyte subtypes classification by means of image processing. | Oleg Ryabchykov, Anuradha Ramoji, Thomas Bocklitz, Martin Foerster, Stefan Hagel, Claus Kroegel, Michael Bauer, Ute Neugebauer, Jrgen Popp |
| 2016 | OOPSLA | Dependent partitioning. | Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken |
| 2015 | AMIA | A hybrid manifold learning algorithm for the diagnosis and prognostication of Alzheimer's disease. | Peng Dai, Femida Gwadry-Sridhar, Michael Bauer, Michael Borrie |
| 2015 | ICSE | 7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015). | Muhammad Ali Babar, Hye-Young Paik, Malolan Chetlur, Michael Bauer, Amir Molzam Sharifloo |
| 2015 | PLDI | Verification of producer-consumer synchronization in GPU programs. | Rahul Sharma, Michael Bauer, Alex Aiken |
| 2015 | SC | Regent: a high-productivity programming language for HPC with logical regions. | Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken |
| 2014 | ISORC | Design and Evaluation of an Energy-Saving Real-Time Microprocessor. | Uwe Brinkschulte, Daniel Lohn, Michael Bauer |
| 2014 | NOMS | Integrating cloud application autoscaling with dynamic VM allocation. | Michael Tighe, Michael Bauer |
| 2014 | PPoPP | Singe: leveraging warp specialization for high performance on GPUs. | Michael Bauer, Sean Treichler, Alex Aiken |
| 2014 | SC | Structure Slicing: Extending Logical Regions with Fields. | Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken |
| 2013 | BigData | Towards Cloud-Based Analytics-as-a-Service (CLAaaS) for Big Data Analytics in the Cloud. | Farhana H. Zulkernine, Patrick Martin, Ying Zou, Michael Bauer, Femida Gwadry-Sridhar, Ashraf Aboulnaga |
| 2013 | OOPSLA | Language support for dynamic, hierarchical data partitioning. | Sean Treichler, Michael Bauer, Alex Aiken |
| 2012 | SC | Legion: expressing locality and independence with logical regions. | Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken |
| 2011 | PPoPP | Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. | Michael Bauer, John Clark, Eric Schkufza, Alex Aiken |
| 2011 | SC | CudaDMA: optimizing GPU memory bandwidth via warp specialization. | Michael Bauer, Henry Cook, Brucek Khailany |
| 2010 | ECAI | A Markov Analysis of Patients Developing Sepsis Using Clusters. | Femida Gwadry-Sridhar, Michael Bauer, Benoit Lewden, Ali Hamou |
| 2010 | PAAMS | Cluster Analysis and Decision Trees of MR Imaging in Patients Suffering Alzheimer's. | Ali Hamou, Michael Bauer, Benoit Lewden, Andrew Simmons, Yi Zhang, Lars-Olof Wahlund, Catherine Tunnard, Iwona Kloszewska, Patrizia Mecozzi, Hilkka Soininen, Magda Tsolaki, Bruno Vellas, Sebastian Muehlboeck, Alan C. Evans, Per Julin, Niclas Sjgren, Christian Spenger, Simon Lovestone, Femida Gwadry-Sridhar, et al. |
| 2009 | CATA | Augmenting Historical Research with Databases: A Case Study of 16th Century Elizabethan Military. | Michael Bauer, William Acres |
| 2004 | KES | Policies, Rules and Their Engines: What do They Mean for SLAs? | Mark Perry, Michael Bauer |
| 2004 | PDPTA | Effectiveness of A Parallel Branch-and-bound Based Algorithm for Analyzing Management Configurations. | Yijun Song, Michael Bauer |
| 2002 | MICCAI | 3D-Visualization and Registration for Neurovascular Compression Syndrome Analysis. | Peter Hastreiter, Ramin Naraghi, Bernd Tomandl, Michael Bauer, Rudolf Fahlbusch |
| 2002 | MICCAI | Non-rigid Registration with Use of Hardware-Based 3D Bzier Functions. | Grzegorz Soza, Michael Bauer, Peter Hastreiter, Christopher Nimsky, Gnther Greiner |
| 2001 | MICCAI | Remote Analysis for Brain Shift Compensation. | Peter Hastreiter, Klaus Engel, Grzegorz Soza, Michael Bauer, Matthias Wolf, Oliver Ganslandt, Rudolf Fahlbusch, Gnther Greiner, Thomas Ertl, Christopher Nimsky |
| 1995 | COMPSAC | A Policy Independent Metric for Process Selection in Distributed Systems. | Yvan Cazabon, Michael Bauer |
| 1992 | ICCI | Search Operations on Distributed Directories. | Michael Bauer, Arin Zahalka |