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