Skip to content
Change the repository type filter

All

    Repositories list

    • cusan

      Public
      A data race detector for CUDA C and C++ based on ThreadSanitizer
      C
      BSD 3-Clause "New" or "Revised" License
      0400Updated Nov 15, 2024Nov 15, 2024
    • MetaCG

      Public
      MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
      C++
      BSD 3-Clause "New" or "Revised" License
      53620Updated Nov 14, 2024Nov 14, 2024
    • TypeART

      Public
      LLVM-based type and memory allocation tracking sanitizer
      C++
      BSD 3-Clause "New" or "Revised" License
      531131Updated Nov 2, 2024Nov 2, 2024
    • A test suite for CUDA-aware MPI race detection
      C
      BSD 3-Clause "New" or "Revised" License
      0010Updated Nov 1, 2024Nov 1, 2024
    • CaPI

      Public
      CaPI: Compiler-assisted Performance Instrumentation
      C++
      BSD 3-Clause "New" or "Revised" License
      01500Updated Oct 28, 2024Oct 28, 2024
    • Score-P with support for LLVM XRay instrumentation
      C
      Other
      0000Updated Oct 28, 2024Oct 28, 2024
    • Task-based implementation of the isogeny tree generation in the Meet-in-the-Middle and van Oorschot-Wiener Attack against the Supersingular Isogeny Path Problem
      C
      BSD 2-Clause "Simplified" License
      0000Updated Oct 6, 2024Oct 6, 2024
    • Python
      GNU General Public License v2.0
      0100Updated Sep 13, 2024Sep 13, 2024
    • Python
      0000Updated Jun 18, 2024Jun 18, 2024
    • Python
      MIT License
      0100Updated Jun 18, 2024Jun 18, 2024
    • C++
      0000Updated May 6, 2024May 6, 2024
    • Modified version of the Score-P measurement tool (https://www.vi-hps.org/projects/score-p) used within the PIRA framework
      C
      Other
      1000Updated Apr 2, 2024Apr 2, 2024
    • PIRA

      Public
      PIRA - Automatic Instrumentation Refinement
      Python
      BSD 3-Clause "New" or "Revised" License
      11520Updated Mar 28, 2024Mar 28, 2024
    • MPI usage pattern analysis tool chain
      Shell
      BSD 3-Clause "New" or "Revised" License
      0100Updated Sep 15, 2023Sep 15, 2023
    • A benchmark suite to evaluate MPI correctness tools.
      C
      BSD 3-Clause "New" or "Revised" License
      4921Updated Jan 24, 2023Jan 24, 2023
    • CUAS-MPI

      Public
      MPI-parallel implementation of confined–unconfined aquifer system
      C++
      BSD 3-Clause "New" or "Revised" License
      0000Updated Jan 20, 2023Jan 20, 2023
    • Compiler assisted message matching for persistent MPI operations
      C++
      Apache License 2.0
      0300Updated Jan 20, 2023Jan 20, 2023
    • TyCart

      Public
      LLVM-based type and memory assert sanitizer
      BSD 3-Clause "New" or "Revised" License
      1330Updated Jan 3, 2022Jan 3, 2022
    • SimAnMo

      Public
      The SIMulated ANnealing MOdeler
      C++
      MIT License
      0200Updated Sep 30, 2021Sep 30, 2021
    • Shell
      MIT License
      0000Updated Aug 13, 2021Aug 13, 2021
    • The MPI-CorrBench dashboard shows and updates the tool results.
      0200Updated Jun 25, 2021Jun 25, 2021
    • CommPart

      Public
      Automatic Partitioning of MPI operations in MPI+OpenMP applications
      C++
      Apache License 2.0
      0400Updated Mar 25, 2021Mar 25, 2021
    • qTESLA

      Public
      All implementations presented in the paper "qTESLA: Practical Implementations of a Quantum Attack Resistant Signature Scheme""
      Java
      1100Updated Oct 5, 2020Oct 5, 2020
    • mach

      Public
      MPI Assertion Checking
      C++
      Apache License 2.0
      1400Updated May 29, 2020May 29, 2020