SC Research Software
Research software developed at the Institute for Scientific Computing at TU Darmstadt.
Automatic Differentiation for Matlab
ADiMat is a tool for algorithmic differentiation of Matlab programs.
Automatic Partitioning of MPI Operations
LLVM-based static analysis tool that replaces blocking MPI operations with equivalent Partitioned operations in some MPI+OpenMP codes.
Customized Code Instrumentation
Framework for automatic, selective and extendable instrumentation of C and C++ codes.
Linting operator overloading in C++
OO-Lint is a static source code analyzer for checking compatibility with operator overloading.
MPI Assertion Checking
LLVM-based static analysis tool to check if MPI 4.0 communicator assertions can be specified.
Automatic Instrumentation Refinement
Framework for automatic instrumentation refinement based on Score-P and Clang.
Implementation of the NIST Round 2 Cryptography Candidate qTESLA
Practical implementation in Java and C of the post-quantum signature scheme qTESLA.
Parallelized Runtime Model Generator
Based on Extra-P and parallel simulated annealing. Runtime models generated cover logarithmic, polynomial, exponential and factorial runtime behavior.
Type-safety sanitizer
TypeART is an LLVM-based type and memory allocation tracking sanitizer.
CUDAS-MPI
MPI parallel implementation of confined unconfined aquifer system model.