Joachim Jenke

Torsten Wolfgang Kuhlen

Tim Gerrits

CoRR, 2022

Towards a Hybrid MPI Correctness Benchmark Suite.

[BibT_eX]

[DOI]

Proceedings of the EuroMPI/USA'22: 29th European MPI Users' Group Meeting, Chattanooga, TN, USA, September 26, 2022

An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

On-the-Fly Calculation of Model Factors for Multi-paradigm Applications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2022: Parallel Processing, 2022

Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

On-the-Fly Data Race Detection for MPI RMA Programs with MUST.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

2021

Modular Techniques and Interfaces for Data Race Detection in Multi-Paradigm Parallel Programming.

[BibT_eX]

[DOI]

PhD thesis, 2021

Differential Performance Analysis Workflow for Algorithmic Changes.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2021

ARBALEST: Dynamic Detection of Data Mapping Issues in Heterogeneous OpenMP Applications.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

Understanding the Performance of Dynamic Data Race Detection.

[BibT_eX]

[DOI]

Isabel Thärigen

Jonas Wahle

Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021

Multi-SPMD Programming Model with YML and XcalableMP.

[BibT_eX]

[DOI]

Proceedings of the XcalableMP PGAS Programming Language, 2021

2020

MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms.

[BibT_eX]

[DOI]

Proceedings of the Software for Exascale Computing - SPPEXA 2016-2019, 2020

Towards compiler-aided correctness checking of adjoint MPI applications.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020

MPI Detach - Asynchronous Local Completion.

[BibT_eX]

[DOI]

Proceedings of the EuroMPI/USA '20: 27th European MPI Users' Group Meeting, 2020

A Study of Memory Anomalies in OpenMP Applications.

[BibT_eX]

[DOI]

Proceedings of the OpenMP: Portable Multi-Level Parallelism on Modern Systems, 2020

2019

Pruners.

[BibT_eX]

[DOI]

Christopher M. Chambreau

Simone Atzeni

Michael Bentley

Ganesh Gopalakrishnan

Int. J. High Perform. Comput. Appl., 2019

Score-P and OMPT: Navigating the Perils of Callback-Driven Parallel Runtime Introspection.

[BibT_eX]

[DOI]

Proceedings of the OpenMP: Conquering the Full Hardware Spectrum, 2019

DataRaceOnAccelerator - A Micro-benchmark Suite for Evaluating Correctness Tools Targeting Accelerators.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019

2018

Compiler-aided Type Tracking for Correctness Checking of MPI Applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Thread-local concurrency: a technique to handle data race detection at programming model abstraction.

[BibT_eX]

[DOI]

Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing, 2018

2017

Runtime Correctness Checking for Emerging Programming Paradigms.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

OpenMP Tools Interface: Synchronization Information for Data Race Detection.

[BibT_eX]

[DOI]

Proceedings of the Scaling OpenMP for Exascale Performance and Portability, 2017

2016

Runtime Correctness Analysis of MPI-3 Nonblocking Collectives.

[BibT_eX]

[DOI]

Matthias Weber

Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016, 2016

Testing Infrastructure for OpenMP Debugging Interface Implementations.

[BibT_eX]

[DOI]

Proceedings of the OpenMP: Memory, Devices, and Tasks, 2016

ARCHER: Effectively Spotting Data Races in Large OpenMP Applications.

[BibT_eX]

[DOI]

Simone Atzeni

Ganesh Gopalakrishnan

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

2015

Dynamic Analysis to Support Program Development with the Textually Aligned Property for OpenSHMEM Collectives.

[BibT_eX]

[DOI]

Proceedings of the OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies, 2015

Lessons Learned from Implementing OMPD: A Debugging Interface for OpenMP.

[BibT_eX]

[DOI]

Proceedings of the OpenMP: Heterogenous Execution and Data Movements, 2015

Event-Action Mappings for Parallel Tools Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2015: Parallel Processing, 2015

2014

Towards providing low-overhead data race detection for large OpenMP applications.

[BibT_eX]

[DOI]

Ganesh Gopalakrishnan

Proceedings of the 2014 LLVM Compiler Infrastructure in HPC, 2014

Classification of Common Errors in OpenMP Applications.

[BibT_eX]

[DOI]

Jan Felix Münchhalfen

Proceedings of the Using and Improving OpenMP for Devices, Tasks, and More, 2014

MPI Runtime Error Detection with MUST: A Scalable and Crash-Safe Approach.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Conference on Parallel Processing Workshops, 2014

Memory Usage Optimizations for Online Event Analysis.

[BibT_eX]

[DOI]

Proceedings of the Solving Software Challenges for Exascale, 2014

2013

MPI runtime error detection with MUST: Advances in deadlock detection.

[BibT_eX]

[DOI]

Sci. Program., 2013

Distributed wait state tracking for runtime MPI deadlock detection.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2013

Intralayer Communication for Tree-Based Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Conference on Parallel Processing, 2013

2012

MPI Runtime Error Detection with MUST: Advanced Error Reports.

[BibT_eX]

[DOI]

Proceedings of the Tools for High Performance Computing 2012, 2012

Holistic Debugging of MPI Derived Datatypes.

[BibT_eX]

[DOI]

Andreas Knüpfer