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.
|CoqPL 2017||Author of CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL within the CoqPL 2017-track|
|Show activities from other conferences|
View general profile