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