tanmaytirpankar

Rigorous Error Analysis tool for loop-free floating-point programs with conditionals.

Docker container for PPCG

ESESC simulator

This image contains sword and archer tools for data race detection in OpenMP programs.

This is a tool for checking data races in OpenMP programs.