Kenichi Asai

Registered user since Wed 25 Jun 2014

Name: Kenichi Asai

Country: Japan

Affiliation: Ochanomizu University

Personal website: http://pllab.is.ocha.ac.jp/~asai/

Research interests: Partial evaluation, Continuation, Reflection

Contributions

GPCE 2018Committee Member in Program Committee within the GPCE 2018-track
PEPM 2018Session Chair of Session 1-2 (part of PEPM 2018)
Steering Committee Chair in Steering Committee within the PEPM 2018-track
Author of Selective CPS Transformation for Shift and Reset within the PEPM 2018-track
ICFP 2018Author of Handling Delimited Continuations with Dependent Types within the Research Papers-track
Scheme 2017Committee Member in Program Committee within the Scheme 2017-track
PLMW 2016Committee Member in Speakers within the PLMW-track
Author of Principle and Practice of OCaml Type Debugger within the PLMW-track
ML 2016Session Chair of Invited Talk (part of ML)
Chair in Program Committee within the ML-track
Session Chair of Future (part of ML)
Committee Member in Steering Committee within the ML-track
OCaml 2016Committee Member in Program Committee within the OCaml-track
GPCE 2016Committee Member in Program Committee within the GPCE-track
PEPM 2016Session Chair of Parsing & Domain-Specific Languages I (part of PEPM)
Author of Toward Introducing Binding-Time Analysis to MetaOCaml within the PEPM-track
GPCE 2015Committee Member in Program Committee within the GPCE-track
PEPM 2015Session Chair of Analysis (part of PEPM 2015)
Program Co-Chair in Program Committee within the PEPM 2015-track
Author of Welcome within the PEPM 2015-track