CoqPL 2017で検証済み GPGPU 用 DSL についての発表

朝倉，増原，青谷による論文 “CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL” が CoqPL 2017 (POPL 2017と共同開催) で発表されます．論文はこちらからダウンロードできます．

Asakura's presentation at CoqPL'17

2017-01-21.
→
←