GPUプログラム検証？ プログラム検証という研究分野がある。 検証の意味合いについては色々あるが、GPUプログラム上での検証は主にデータ競合の検知が重要となる。 そのデータ競合の検知についての最近の研究についてまとめていく。最近の事情の俯瞰には、書…