blog2017-03-07GPUプログラム検証まとめ研究GPUプログラム検証?プログラム検証という研究分野がある。検証の意味合いについては色々あるが、GPUプログラム上での検証は主にデータ競合の検知が重要となる。そのデータ競合の検知についての最近の研究についてまとめていく。Action」が詳しいです。(GKLEE)http://www.parallel.utah.eduLLVMの記号実行環境KLEEの拡張としてGPUの検証機能をもたせたGKLEEを開発。GPUと銘打った論文は2010年から。それ以前にもMPIプログラムの検証とかをしている。以前はPUGを開発していたが、そちらは終了して、今はGKLEEがメイン。GKLEEで使用するSESAという静的解析ツールも作成している。(GPUVerify)http://multicore.doc.ic.ac.uk検証用の言語Boogieを使って検証するGPUVerifyを開発。(VerCors)http://fmt.cs.utwente.nl検証プラットフォームVerCorsにOpenCLも検証できるようにした感じ。Coqを使ったsoundnessの検証http://prg.is.titech.ac.jp/ja/news/coqpl17/http://prg.is.titech.ac.jp/ja/projects/gpucsl/最近発見した。DSL京都大学、計算機ソフトウェア分野http://www.fos.kuis.kyoto-u.ac.jpホーア理論を使ってGPUを検証しているみたい。B]月別アーカイブスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。