| 2025 | PEPM | Algebraic Stepper for Simple Modules. | Kenichi Asai, Hinano Akiyama |
| 2023 | PEPM | Towards a Reflection for Effect Handlers. | Youyou Cong, Kenichi Asai |
| 2022 | GPCE | Type System for Four Delimited Control Operators. | Chiaki Ishio, Kenichi Asai |
| 2021 | FSCD | A Functional Abstraction of Typed Invocation Contexts. | Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai |
| 2021 | FSCD | Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators. | Maika Fujii, Kenichi Asai |
| 2019 | PEPM | Extracting a call-by-name partial evaluator from a proof of termination. | Kenichi Asai |
| 2018 | APLAS | Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. | Urara Yamada, Kenichi Asai |
| 2018 | PEPM | Selective CPS transformation for shift and reset. | Kenichi Asai, Chihiro Uehara |
| 2016 | PEPM | Toward introducing binding-time analysis to MetaOCaml. | Kenichi Asai |
| 2014 | GPCE | Compiling a reflective language using MetaOCaml. | Kenichi Asai |
| 2014 | PPDP | A Type Theoretic Specification of Partial Evaluation. | Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang |
| 2011 | GPCE | Reflection in direct style. | Kenichi Asai |
| 2010 | LOPSTR | MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. | Kanako Sakurai, Kenichi Asai |
| 2010 | PPDP | Functional derivation of a virtual machine for delimited continuations. | Kenichi Asai, Arisa Kitani |
| 2007 | APLAS | Polymorphic Delimited Continuations. | Kenichi Asai, Yukiyoshi Kameyama |
| 2004 | PEPM | Offline partial evaluation for shift and reset. | Kenichi Asai |
| 2002 | PEPM | Online partial evaluation for shift and reset. | Kenichi Asai |
| 1999 | SAS | Binding-Time Analysis for Both Static and Dynamic Expressions. | Kenichi Asai |
| 1997 | PEPM | Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa |
| 1995 | OOPSLA | Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation. | Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa |