
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