Kenichi Asai

Registered user since Wed 25 Jun 2014

Name:Kenichi Asai
Country:Japan
Affiliation:Ochanomizu University
Research interests:Partial evaluation, Continuation, Reflection

Contributions

TyDe 2021 Committee Member in Program Committee within the TyDe 2021-track
ADEIRA 2021 Committee Member in Program Committee within the ADEIRA2021 (Canceled)-track
PEPM 2021 Author of A Functional Abstraction of Typed Trails within the PEPM 2021-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
PEPM 2019 Author of Extracting a Call-by-Name Partial Evaluator from a Proof of Termination within the PEPM 2019-track
GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
PEPM 2018 Session 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 2018 Author of Handling Delimited Continuations with Dependent Types within the Research Papers-track
Scheme 2017 Committee Member in Program Committee within the Scheme 2017-track
PLMW 2016 Committee Member in Speakers within the PLMW-track
Author of Principle and Practice of OCaml Type Debugger within the PLMW-track
ML 2016 Session 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 2016 Committee Member in Program Committee within the OCaml-track
GPCE 2016 Committee Member in Program Committee within the GPCE-track
PEPM 2016 Session Chair of Parsing & Domain-Specific Languages I (part of PEPM)
Author of Toward Introducing Binding-Time Analysis to MetaOCaml within the PEPM-track
GPCE 2015 Committee Member in Program Committee within the GPCE-track
PEPM 2015 Session 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