Dynamic Race Detection with LLVM Compiler

• 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
• 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
• Extending the SPMD IR for RMA Models and Static Data Race Detection

  2025 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

  3

  citations
• Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs

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

  2

  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
• RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications

  2024 Proceedings of the International Conference on Parallel Processing conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  4

  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
• 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
• 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

9 results