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

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

Asakura's presentation at CoqPL'17