Registered user since Thu 10 Nov 2016
Name:Izumi Asakura
Country:Japan
Affiliation:Tokyo Institute of Technology, Japan
Personal website:https://iasakura.github.io
Research interests:GPGPU, Formal Verification, Coq
Contributions
| CoqPL 2017 | CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile