Scientific Computing @ TU Darmstadt

MetaCG

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

TypeART

LLVM-based type and memory allocation tracking sanitizer

PIRA

PIRA - Automatic Instrumentation Refinement

CaPI

CaPI: Compiler-assisted Performance Instrumentation

MPI-Corrbench

A benchmark suite to evaluate MPI correctness tools.

CommPart

Automatic Partitioning of MPI operations in MPI+OpenMP applications

mach

MPI Assertion Checking

MPI-CompMatch

Compiler assisted message matching for persistent MPI operations

TyCart

LLVM-based type and memory assert sanitizer

MPI-CorrBench-Dashboard

The MPI-CorrBench dashboard shows and updates the tool results.

SimAnMo

The SIMulated ANnealing MOdeler

mpi-arg-usage

mpi-bench-scoring

MPI usage pattern analysis tool chain

qTESLA

All implementations presented in the paper "qTESLA: Practical Implementations of a Quantum Attack Resistant Signature Scheme""

CUAS-MPI

MPI-parallel implementation of confined–unconfined aquifer system

ISSM-on-HHLR-scripts

score-p-v6

Modified version of the Score-P measurement tool (https://www.vi-hps.org/projects/score-p) used within the PIRA framework

TaskBasedVOW4SIKE

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