Research Questions

The basic idea of this study is to explore questions like the following:

• How does defect proneness vary with concurrency dialect?

-- number of defects -- type of defect -- difficulty of localizing defect and other measures

• Does verification cost and effectiveness vary with concurrency dialect?

-- time/space/... -- precision of results

Sample Systems to Study

• ​https://github.com/UK-MAC/CloverLeaf

-- CUDA, MPI, OpenMP, OpenACC, MPI+OpenMP -- Serial version for comparison -- version history to study errors over time

• ​https://github.com/HydroBench/Hydro/tree/master/HydroC

-- OpenMP+MPI, OpenACC+MPI, CUDA+MPI, OpenACC+MPI, OpenCL+MPI

• ​http://op2.github.io/PyOP2/backends.html

-- OpenMP, CUDA, OpenCL, MPI, MPI+OpenMP -- not a standalone app, but rather a backend for computation