Recent and Current Projects
A tool for automatic compile-time and run-time checking of MPI Fortran programs.
A tool which automatically finds run-time errors in Unified Parallel C (UPC) programs.
Over ten thousand run-time error tests and a run-time error detection (RTED) evaluation tool for the automatic evaluation of run-time error detection capabilities for serial errors and for parallel errors in MPI, OpenMP and UPC programs and the results of evaluation of many compilers, tools and run-time systems.
The compile-time error tests and a compile-time error detection (CTED) evaluation tool for the automatic evaluation of compile-time error detection capabilities of UPC compilers and/or tools.
Tool to evaluate how well a UPC compiler can detect compile-time errors.