@article{Asai09-0,
  title = {On typing delimited continuations: three new solutions to the printf problem},
  author = {Kenichi Asai},
  year = {2009},
  doi = {10.1007/s10990-009-9049-5},
  url = {http://dx.doi.org/10.1007/s10990-009-9049-5},
  researchr = {https://researchr.org/publication/Asai09-0},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {22},
  number = {3},
  pages = {275-291},
}

@inproceedings{Asai05,
  title = {Logical relations for call-by-value delimited continuations},
  author = {Kenichi Asai},
  year = {2005},
  researchr = {https://researchr.org/publication/Asai05},
  cites = {0},
  citedby = {0},
  pages = {63-78},
  booktitle = {sfp},
}

@inproceedings{AsaiMY97,
  title = {Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects},
  author = {Kenichi Asai and Hidehiko Masuhara and Akinori Yonezawa},
  year = {1997},
  doi = {10.1145/258993.258997},
  url = {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},
}

@inproceedings{Asai99,
  title = {Binding-Time Analysis for Both Static and Dynamic Expressions},
  author = {Kenichi Asai},
  year = {1999},
  url = {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},
}

@article{Asai01:0,
  title = {Binding-time Analysis for Both Static and Dynamic Expressions},
  author = {Kenichi 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},
}

@inproceedings{SakuraiA10,
  title = {MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration},
  author = {Kanako Sakurai and Kenichi Asai},
  year = {2010},
  doi = {10.1007/978-3-642-20551-4_6},
  url = {http://dx.doi.org/10.1007/978-3-642-20551-4_6},
  researchr = {https://researchr.org/publication/SakuraiA10},
  cites = {0},
  citedby = {0},
  pages = {84-98},
  booktitle = {LOPSTR},
}

@article{AsaiP13,
  title = {Special Issue Dedicated to ICFP 2011 Editorial},
  author = {Kenichi Asai and Benjamin C. Pierce},
  year = {2013},
  doi = {10.1017/S0956796813000129},
  url = {http://dx.doi.org/10.1017/S0956796813000129},
  researchr = {https://researchr.org/publication/AsaiP13},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {23},
  number = {4},
  pages = {355-356},
}

@inproceedings{AsaiNYN96,
  title = {Object-Oriented Serializability in Real-Time Concurrency Control},
  author = {Kenichi Asai and Junpei Nishibayashi and Kouji Yoshihara and 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},
}

@inproceedings{BekkiA09,
  title = {Representing Covert Movements by Delimited Continuations},
  author = {Daisuke Bekki and Kenichi Asai},
  year = {2009},
  doi = {10.1007/978-3-642-14888-0_16},
  url = {http://dx.doi.org/10.1007/978-3-642-14888-0_16},
  researchr = {https://researchr.org/publication/BekkiA09},
  cites = {0},
  citedby = {0},
  pages = {161-180},
  booktitle = {jsai},
}

@inproceedings{Asai02,
  title = {Online partial evaluation for shift and reset},
  author = {Kenichi Asai},
  year = {2002},
  doi = {10.1145/503032.503034},
  url = {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},
}

@inproceedings{AsaiK07,
  title = {Polymorphic Delimited Continuations},
  author = {Kenichi Asai and Yukiyoshi Kameyama},
  year = {2007},
  doi = {10.1007/978-3-540-76637-7_16},
  url = {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},
}

@inproceedings{Asai11,
  title = {Reflection in direct style},
  author = {Kenichi Asai},
  year = {2011},
  doi = {10.1145/2047862.2047882},
  url = {http://doi.acm.org/10.1145/2047862.2047882},
  researchr = {https://researchr.org/publication/Asai11},
  cites = {0},
  citedby = {0},
  pages = {97-106},
  booktitle = {GPCE},
}

@inproceedings{AsaiK10,
  title = {Functional derivation of a virtual machine for delimited continuations},
  author = {Kenichi Asai and Arisa Kitani},
  year = {2010},
  doi = {10.1145/1836089.1836101},
  url = {http://doi.acm.org/10.1145/1836089.1836101},
  researchr = {https://researchr.org/publication/AsaiK10},
  cites = {0},
  citedby = {0},
  pages = {87-98},
  booktitle = {ppdp},
}

@inproceedings{Asai04,
  title = {Offline partial evaluation for shift and reset},
  author = {Kenichi Asai},
  year = {2004},
  doi = {10.1145/1014007.1014009},
  url = {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},
}

@inproceedings{HirotaA14,
  title = {Formalizing a correctness property of a type-directed partial evaluator},
  author = {Noriko Hirota and Kenichi Asai},
  year = {2014},
  doi = {10.1145/2541568.2541572},
  url = {http://doi.acm.org/10.1145/2541568.2541572},
  researchr = {https://researchr.org/publication/HirotaA14},
  cites = {0},
  citedby = {0},
  pages = {41-46},
  booktitle = {plpv},
}

@inproceedings{Asai01,
  title = {Integrating Partial Evaluators into Interpreters},
  author = {Kenichi Asai},
  year = {2001},
  url = {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},
}

@article{AsaiKS11,
  title = {Functional un|unparsing},
  author = {Kenichi Asai and Oleg Kiselyov and Chung-chieh Shan},
  year = {2011},
  doi = {10.1007/s10990-012-9087-2},
  url = {http://dx.doi.org/10.1007/s10990-012-9087-2},
  researchr = {https://researchr.org/publication/AsaiKS11},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {24},
  number = {4},
  pages = {311-340},
}

@inproceedings{MasuharaMAY95,
  title = {Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation},
  author = {Hidehiko Masuhara and Satoshi Matsuoka and Kenichi Asai and 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},
}

@inproceedings{TsushimaA12,
  title = {An Embedded Type Debugger},
  author = {Kanae Tsushima and Kenichi Asai},
  year = {2012},
  doi = {10.1007/978-3-642-41582-1_12},
  url = {http://dx.doi.org/10.1007/978-3-642-41582-1_12},
  researchr = {https://researchr.org/publication/TsushimaA12},
  cites = {0},
  citedby = {0},
  pages = {190-206},
  booktitle = {IFL},
}

@article{AsaiMY96,
  title = {Duplication and Partial Evaluation For a Better Understanding of Reflective Languages},
  author = {Kenichi Asai and Satoshi Matsuoka and 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},
}
@proceedings{pepm-2002a,
  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},
  url = {http://dl.acm.org/citation.cfm?id=568173},
  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 = {Kenichi Asai and Wei-Ngan Chin},
  publisher = {ACM},
  isbn = {1-58113-458-4},
}