==  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