publications:
- title: "On typing delimited continuations: three new solutions to the printf problem"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10990-009-9049-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-009-9049-5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/Asai09"
  researchr: "https://researchr.org/publication/Asai09-0"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "22"
  number: "3"
  pages: "275-291"
  kind: "article"
  key: "Asai09-0"
- title: "Logical relations for call-by-value delimited continuations"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2005"
  researchr: "https://researchr.org/publication/Asai05"
  cites: 0
  citedby: 0
  pages: "63-78"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "Asai05"
- title: "Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Hidehiko Masuhara"
    link: "https://researchr.org/alias/hidehiko-masuhara"
  - name: "Akinori Yonezawa"
    link: "https://researchr.org/alias/akinori-yonezawa"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.258997"
  links:
    doi: "http://doi.acm.org/10.1145/258993.258997"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AsaiMY97"
  cites: 0
  citedby: 0
  pages: "12-21"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "AsaiMY97"
- title: "Binding-Time Analysis for Both Static and Dynamic Expressions"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1694/16940117.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1694/16940117.htm"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/Asai99"
  cites: 0
  citedby: 0
  pages: "117-133"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "Asai99"
- title: "Binding-time Analysis for Both Static and Dynamic Expressions"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2001"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/Asai01%3A0"
  cites: 0
  citedby: 0
  journal: "ngc"
  volume: "20"
  number: "1"
  pages: "27-52"
  kind: "article"
  key: "Asai01:0"
- title: "MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration"
  author:
  - name: "Kanako Sakurai"
    link: "https://researchr.org/alias/kanako-sakurai"
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/SakuraiA10"
  researchr: "https://researchr.org/publication/SakuraiA10"
  cites: 0
  citedby: 0
  pages: "84-98"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "SakuraiA10"
- title: "Special Issue Dedicated to ICFP 2011 Editorial"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  year: "2013"
  doi: "http://dx.doi.org/10.1017/S0956796813000129"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796813000129"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/AsaiP13"
  researchr: "https://researchr.org/publication/AsaiP13"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "23"
  number: "4"
  pages: "355-356"
  kind: "article"
  key: "AsaiP13"
- title: "Object-Oriented Serializability in Real-Time Concurrency Control"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Junpei Nishibayashi"
    link: "https://researchr.org/alias/junpei-nishibayashi"
  - name: "Kouji Yoshihara"
    link: "https://researchr.org/alias/kouji-yoshihara"
  - name: "Motoyasu Nagata"
    link: "https://researchr.org/alias/motoyasu-nagata"
  year: "1996"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AsaiNYN96"
  cites: 0
  citedby: 0
  pages: "384"
  booktitle: "codas"
  kind: "inproceedings"
  key: "AsaiNYN96"
- title: "Representing Covert Movements by Delimited Continuations"
  author:
  - name: "Daisuke Bekki"
    link: "https://researchr.org/alias/daisuke-bekki"
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-14888-0_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14888-0_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/BekkiA09"
  researchr: "https://researchr.org/publication/BekkiA09"
  cites: 0
  citedby: 0
  pages: "161-180"
  booktitle: "jsai"
  kind: "inproceedings"
  key: "BekkiA09"
- title: "Online partial evaluation for shift and reset"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503032.503034"
  links:
    doi: "http://doi.acm.org/10.1145/503032.503034"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Asai02"
  cites: 0
  citedby: 0
  pages: "19-30"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Asai02"
- title: "Polymorphic Delimited Continuations"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_16"
  researchr: "https://researchr.org/publication/AsaiK07"
  cites: 0
  citedby: 0
  pages: "239-254"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "AsaiK07"
- title: "Reflection in direct style"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2047862.2047882"
  links:
    doi: "http://doi.acm.org/10.1145/2047862.2047882"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/Asai11"
  researchr: "https://researchr.org/publication/Asai11"
  cites: 0
  citedby: 0
  pages: "97-106"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "Asai11"
- title: "Functional derivation of a virtual machine for delimited continuations"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Arisa Kitani"
    link: "https://researchr.org/alias/arisa-kitani"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1836089.1836101"
  links:
    doi: "http://doi.acm.org/10.1145/1836089.1836101"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppdp/AsaiK10"
  researchr: "https://researchr.org/publication/AsaiK10"
  cites: 0
  citedby: 0
  pages: "87-98"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "AsaiK10"
- title: "Offline partial evaluation for shift and reset"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1014007.1014009"
  links:
    doi: "http://doi.acm.org/10.1145/1014007.1014009"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Asai04"
  cites: 0
  citedby: 0
  pages: "3-14"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Asai04"
- title: "Formalizing a correctness property of a type-directed partial evaluator"
  author:
  - name: "Noriko Hirota"
    link: "https://researchr.org/alias/noriko-hirota"
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2541568.2541572"
  links:
    doi: "http://doi.acm.org/10.1145/2541568.2541572"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/plpv/HirotaA14"
  researchr: "https://researchr.org/publication/HirotaA14"
  cites: 0
  citedby: 0
  pages: "41-46"
  booktitle: "plpv"
  kind: "inproceedings"
  key: "HirotaA14"
- title: "Integrating Partial Evaluators into Interpreters"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960126.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960126.htm"
  tags:
  - "interpreter"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Asai01"
  cites: 0
  citedby: 0
  pages: "126-145"
  booktitle: "saig"
  kind: "inproceedings"
  key: "Asai01"
- title: "Functional un|unparsing"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s10990-012-9087-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-012-9087-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/AsaiKS11"
  researchr: "https://researchr.org/publication/AsaiKS11"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "24"
  number: "4"
  pages: "311-340"
  kind: "article"
  key: "AsaiKS11"
- title: "Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation"
  author:
  - name: "Hidehiko Masuhara"
    link: "https://researchr.org/alias/hidehiko-masuhara"
  - name: "Satoshi Matsuoka"
    link: "https://researchr.org/alias/satoshi-matsuoka"
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Akinori Yonezawa"
    link: "https://researchr.org/alias/akinori-yonezawa"
  year: "1995"
  tags:
  - "meta-model"
  - "compiler"
  - "partial evaluation"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MasuharaMAY95"
  cites: 0
  citedby: 0
  pages: "300-315"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "MasuharaMAY95"
- title: "An Embedded Type Debugger"
  author:
  - name: "Kanae Tsushima"
    link: "https://researchr.org/alias/kanae-tsushima"
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-41582-1_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-41582-1_12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/TsushimaA12"
  researchr: "https://researchr.org/publication/TsushimaA12"
  cites: 0
  citedby: 0
  pages: "190-206"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "TsushimaA12"
- title: "Duplication and Partial Evaluation For a Better Understanding of Reflective Languages"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Satoshi Matsuoka"
    link: "https://researchr.org/alias/satoshi-matsuoka"
  - name: "Akinori Yonezawa"
    link: "https://researchr.org/alias/akinori-yonezawa"
  year: "1996"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AsaiMY96"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "9"
  number: "2-3"
  pages: "203-241"
  kind: "article"
  key: "AsaiMY96"
- title: "Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002"
  year: "2002"
  doi: "http://dl.acm.org/citation.cfm?id=568173"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=568173"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/2002a"
  researchr: "https://researchr.org/publication/pepm-2002a"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002"
  conference: "PEPM"
  editor:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  publisher: "ACM"
  isbn: "1-58113-458-4"
  kind: "proceedings"
  key: "pepm-2002a"