ThreadSanitizer

• Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications

  2024 conference-paper Computer Science Parallel Computing and Optimization Techniques

  1

  citations
• Facilitating Bug Detection for OpenMP Offloading Applications

  2024 conference-paper Computer Science Software Testing and Debugging Techniques

  0

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

  2022 conference-paper Computer Science Software Testing and Debugging Techniques Open access

  12

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

  2022 conference-paper Computer Science Software Testing and Debugging Techniques

  3

  citations
• Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications

  2022 IT Professional article Computer Science Software Testing and Debugging Techniques

  2

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

  2021 Proceedings - IEEE International Parallel and Distributed Processing Symposium conference-paper Computer Science Parallel Computing and Optimization Techniques

  5

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  15

  citations
• DataRaceOnAccelerator – A Micro-benchmark Suite for Evaluating Correctness Tools Targeting Accelerators

  2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

  10

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

  12

  citations

9 results