Scientific Computing @ TU Darmstadt

@tudasc

Pinned Loading

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

C++ 52 10
LLVM-based type and memory allocation tracking sanitizer

C++ 57 7
PIRA - Automatic Instrumentation Refinement

Python 16 1
A benchmark suite to evaluate MPI correctness tools.

C 9 4
Automatic Partitioning of MPI operations in MPI+OpenMP applications

C++ 4
CaPI: Compiler-assisted Performance Instrumentation

C++ 18 1

Showing 10 of 33 repositories

CoVer Public
An extensible contracts framework for parallel programming models

tudasc/CoVer’s past year of commit activity

C++
3
GPL-3.0 0
0 2
Updated Apr 10, 2026
CaPI Public
CaPI: Compiler-assisted Performance Instrumentation

tudasc/CaPI’s past year of commit activity

C++
18
BSD-3-Clause
1 1 0
Updated Apr 10, 2026
TypeART Public
LLVM-based type and memory allocation tracking sanitizer

tudasc/TypeART’s past year of commit activity

C++
57
BSD-3-Clause
7 7 1
Updated Apr 7, 2026
MetaCG Public
MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

tudasc/MetaCG’s past year of commit activity

C++
52
BSD-3-Clause
10 7 7
Updated Mar 26, 2026
tudasc/selective-tracing-toolchain’s past year of commit activity

0 0
0 0
Updated Mar 14, 2026
cusan Public
A data race detector for CUDA C and C++ based on ThreadSanitizer

tudasc/cusan’s past year of commit activity

C
9
BSD-3-Clause 0
1 0
Updated Feb 23, 2026
tudasc/Artifact-FortranContractAnalysis’s past year of commit activity

C++ 0 0
0 0
Updated Feb 18, 2026
tudasc/Alpaca’s past year of commit activity

C++
4
BSD-3-Clause
1 0 0
Updated Feb 4, 2026
tudasc/Artifact-DynamicContractVerification’s past year of commit activity

C 0 0
0 0
Updated Jan 5, 2026
tudasc/mpi-mutation-tool’s past year of commit activity

C++ 0 MIT 0
0 0
Updated Oct 6, 2025

Loading…