CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL

Publication Information

Title

Japanese:
English:	CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL

Author

Japanese:	朝倉泉, 増原英彦, 青谷知幸.
English:	Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani.

Language

English

Journal/Book name

Japanese:
English:	Proceedings of The Third International Workshop on Coq for Programming Languages (CoqPL 2017), colocated with PoPL'17

Volume, Number, Page

Published date

Jan. 21, 2017

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: