Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation. - Hidehiko Masuhara; Satoshi Matsuoka; Kenichi Asai; Akinori Yonezawa (OOPSLA, 1995)

Object-Oriented Serializability in Real-Time Concurrency Control. - Kenichi Asai; Junpei Nishibayashi; Kouji Yoshihara; Motoyasu Nagata (CODAS, 1996)

Duplication and Partial Evaluation For a Better Understanding of Reflective Languages. - Kenichi Asai; Satoshi Matsuoka; Akinori Yonezawa (LISP Symb. Comput., 1996)

Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. - Kenichi Asai; Hidehiko Masuhara; Akinori Yonezawa (PEPM, 1997)

Integrating Partial Evaluators into Interpreters. - Kenichi Asai (SAIG, 2001)

Binding-time Analysis for Both Static and Dynamic Expressions. - Kenichi Asai (New Gener. Comput., 2001)

Online partial evaluation for shift and reset. - Kenichi Asai (PEPM, 2002)

Offline partial evaluation for shift and reset. - Kenichi Asai (PEPM, 2004)

Logical relations for call-by-value delimited continuations. - Kenichi Asai (Trends in Functional Programming, 2005)

Polymorphic Delimited Continuations. - Kenichi Asai; Yukiyoshi Kameyama (APLAS, 2007)

Representing Covert Movements by Delimited Continuations. - Daisuke Bekki; Kenichi Asai (JSAI-isAI Workshops, 2009)

On typing delimited continuations: three new solutions to the printf problem. - Kenichi Asai (High. Order Symb. Comput., 2009)

MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. - Kanako Sakurai; Kenichi Asai (LOPSTR, 2010)

Functional derivation of a virtual machine for delimited continuations. - Kenichi Asai; Arisa Kitani (PPDP, 2010)

Reflection in direct style. - Kenichi Asai (GPCE, 2011)

Functional un|unparsing. - Kenichi Asai; Oleg Kiselyov; Chung-chieh Shan (High. Order Symb. Comput., 2011)

An Embedded Type Debugger. - Kanae Tsushima; Kenichi Asai (IFL, 2012)

Special Issue Dedicated to ICFP 2011 Editorial. - Kenichi Asai; Benjamin C. Pierce (J. Funct. Program., 2013)

Compiling a reflective language using MetaOCaml. - Kenichi Asai (GPCE, 2014)

Formalizing a correctness property of a type-directed partial evaluator. - Noriko Hirota; Kenichi Asai (PLPV, 2014)

A Type Theoretic Specification of Partial Evaluation. - Kenichi Asai; Luminous Fennell; Peter Thiemann 001; Yang Zhang (PPDP, 2014)

Report on a User Test and Extension of a Type Debugger for Novice Programmers. - Yuki Ishii; Kenichi Asai (TFPIE, 2014)

Toward introducing binding-time analysis to MetaOCaml. - Kenichi Asai (PEPM, 2016)

Automatic Staging via Partial Evaluation Techniques. - Kenichi Asai; Yukiyoshi Kameyama (SCSS, 2016)

Implementing a stepper using delimited continuations. - Youyou Cong; Kenichi Asai (SCSS, 2016)

Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE). - Aniruddha S. Gokhale; Kenichi Asai; Ulrik Pagh Schultz (Comput. Lang. Syst. Struct., 2017)

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15). - Kenichi Asai; Konstantinos Sagonas (Sci. Comput. Program., 2017)

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. - Urara Yamada; Kenichi Asai (APLAS, 2018)

Selective CPS transformation for shift and reset. - Kenichi Asai; Chihiro Uehara (PEPM, 2018)

Stepping OCaml. - Tsukino Furukawa; Youyou Cong; Kenichi Asai (TFPIE@TFP, 2018)

Handling delimited continuations with dependent types. - Youyou Cong; Kenichi Asai (Proc. ACM Program. Lang., 2018)

Extracting a call-by-name partial evaluator from a proof of termination. - Kenichi Asai (PEPM@POPL, 2019)

Verifying Selective CPS Transformation for Shift and Reset. - Chiaki Ishio; Kenichi Asai (TFP, 2019)

Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators. - Maika Fujii; Kenichi Asai (FSCD, 2021)

Type System for Four Delimited Control Operators. - Chiaki Ishio; Kenichi Asai (GPCE, 2022)

Understanding Algebraic Effect Handlers via Delimited Control Operators. - Youyou Cong; Kenichi Asai (TFP, 2022)

A Functional Abstraction of Typed Invocation Contexts. - Youyou Cong; Chiaki Ishio; Kaho Honda; Kenichi Asai (Log. Methods Comput. Sci., 2022)

Towards a Reflection for Effect Handlers. - Youyou Cong; Kenichi Asai (PEPM@POPL, 2023)

Algebraic Stepper for Simple Modules. - Kenichi Asai; Hinano Akiyama (PEPM, 2025)

OCaml Blockly. - Kenichi Asai (J. Funct. Program., 2025)