
Registered user since Mon 26 Oct 2015
Name:Hidehiko Masuhara
Affiliation:Tokyo Institute of Technology
Personal website:http://prg.is.titech.ac.jp/people/masuhara/
Research interests:Programming languages, especially on aspect- and context-oriented programming, partial evaluation, computational reflection, meta-level architectures, parallel/concurrent computing, and programming environments.
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