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.

POPL 2017 Activities

• Author of CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL within the CoqPL 2017-track in CoqPL 2017
• Show activities from other conferences