ARCHER: Effectively Spotting Data Races in Large OpenMP Applications

• Just the Races: Speeding Up Data Race Detection by Concentrating on Instrumentation

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

  0

  citations
• Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead

  2025 conference-paper Computer Science Software Testing and Debugging Techniques

  1

  citations
• Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests

  2025 conference-paper Computer Science Software Testing and Debugging Techniques

  1

  citations
• Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST

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

  1

  citations
• 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
• RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs

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

  12

  citations
• Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers

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

  8

  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
• Understanding the Performance of Dynamic Data Race Detection

  2021 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  1

  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
• 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
• A Study of Memory Anomalies in OpenMP Applications

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

  4

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

  2020 Lecture notes in computational science and engineering book-chapter Computer Science Parallel Computing and Optimization Techniques Open access

  1

  citations

14 results