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: "Higher-Order and Symbolic Computation"
  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: "Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005"
  editor:
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  volume: "6"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "978-1-84150-176-5"
  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: "Static Analysis, 6th International Symposium, SAS  99, Venice, Italy, September 22-24, 1999, Proceedings"
  editor:
  - name: "Agostino Cortesi"
    link: "https://researchr.org/alias/agostino-cortesi"
  - name: "Gilberto Filé"
    link: "https://researchr.org/alias/gilberto-fil%C3%A9"
  volume: "1694"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66459-9"
  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: "New Generation Comput."
  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: "Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers"
  editor:
  - name: "María Alpuente"
    link: "https://researchr.org/alias/mar%26iacute%3Ba-alpuente"
  volume: "6564"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-20550-7"
  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: "Journal of Functional Programming"
  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: "New Frontiers in Artificial Intelligence, JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers"
  editor:
  - name: "Kumiyo Nakakoji"
    link: "https://researchr.org/alias/kumiyo-nakakoji"
  - name: "Yohei Murakami"
    link: "https://researchr.org/alias/yohei-murakami"
  - name: "Eric McCready"
    link: "https://researchr.org/alias/eric-mccready"
  volume: "6284"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14887-3"
  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: "ASIA-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: "Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings"
  editor:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  volume: "4807"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76636-0"
  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: "Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011"
  editor:
  - name: "Ewen Denney"
    link: "https://researchr.org/alias/ewen-denney"
  - name: "Ulrik Pagh Schultz"
    link: "https://researchr.org/alias/ulrik-pagh-schultz"
  publisher: "ACM"
  isbn: "978-1-4503-0689-8"
  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: "Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria"
  editor:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Wolfgang Schreiner"
    link: "https://researchr.org/alias/wolfgang-schreiner"
  - name: "Maribel Fernández"
    link: "https://researchr.org/alias/maribel-fern%C3%A1ndez"
  publisher: "ACM"
  isbn: "978-1-4503-0132-9"
  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: "Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004"
  editor:
  - name: "Nevin Heintze"
    link: "https://researchr.org/alias/nevin-heintze"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  publisher: "ACM"
  isbn: "1-58113-835-0"
  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: "Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14"
  editor:
  - name: "Nils Anders Danielsson"
    link: "https://researchr.org/alias/nils-anders-danielsson"
  - name: "Bart Jacobs 0002"
    link: "https://researchr.org/alias/bart-jacobs-0002"
  publisher: "ACM"
  isbn: "978-1-4503-2567-7"
  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: "Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings"
  editor:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2196"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42558-6"
  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: "Higher-Order and Symbolic Computation"
  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: "Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  volume: "8241"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-41581-4"
  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: "Higher-Order and Symbolic Computation"
  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"