Research Keywords 【 display / non-display

  • delimited continuation, partial evaluation, reflective language

Research Pursuits 【 display / non-display

  • The current research is focused on the foundation of delimited continuations in functional programming languages. As its application, an efficient compiler for a typed language with delimited continuation constructs will be implemented. To be more specific, the research aims at (1) establishing basic properties on the type system for delimited conituations, (2) establishing the basic techniques for implementing efficient compiler for delimited continuations, and (3) formalizing exception analyses as the application of delimited conituations.

Educational Pursuits 【 display / non-display

  • "Data structures and algorithms" for data structures, "Functional Language" for the fundamental concepts in programming, "Formal language and automaton" for the basics of language processors, and "Compiler construction" for the internals of compilers.

Future Research Plans, Research Prospects, and Joint Research Potential 【 display / non-display

  • Introduce the binding-time analysis to staged languages, such as MetaOCaml, and achieve compilation of reflective languages.

Degree 【 display / non-display

  • Doctor (Science), 1994/08

Campus Career 【 display / non-display

  • Graduate School of Humanities and Sciences, Research Organization, the Core Section The Natural/Applied Sciences Division, Associate Professor

  • Faculty of Core Research Natural Science Division, Associate Professor

  • Graduate School of Humanities and Sciences, Education Organization, Doctral Program Advanced Sciences, Associate Professor

  • Graduate School of Humanities and Sciences, Education Organization, Doctral Program Advanced Sciences, Associate Professor

  • Graduate School of Humanities and Sciences, Education Organization, Master's Program Advanced Sciences, Associate Professor

display all >>

 

Books 【 display / non-display

  • Foundations of Programming

    SAIENSU-SHA Co.,Ltd.2007.02, ASAI Kenichi, Textbook

  • Trends in Functional Programming

    Logical Relations for Call-by-value Delimited Continuations, Intellect, 2007.07, Asai, K., Marko van Eekelen, Research Book, 63-78

Papers 【 display / non-display

  • Selective CPS Transformation for Shift and Reset

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation(p.40 - 52), 2018.01, ASAI Kenichi, UEHARA Chihiro, Original, Research paper (international conference proceedings), Capital Author

  • Report on a User Test and Extension of a Type Debugger for Novice Programmers

    Electronic Proceedings in Theoretical Computer Science, vol.170(p.1 - 18), 2014.12, Ishii, Y., and K. Asai, Original, Research paper (scientific journal), Coauthor

  • Weighted type error slicer

    Computer Software, vol.31(4)(p.131 - 148), 2014.11, Kanae Tsushima, Kenichi Asai, Original, Research paper (scientific journal), Coauthor

  • Formalizing a Correctness Property of a Type-Directed Partial Evaluator

    Programming Languages meets Program Verification (PLPV)(p.41 - 46), 2014.01, Hirota, N., and K. Asai, Original, Research paper (international conference proceedings), Coauthor

  • Extraction of Type-Directed Partial Evaluation for Shift and Reset

    IPSJ Journal (Programming), vol.6(4)(p.50 - 64), 2013.12, Noriko Hirota, Kenichi Asai, Original, Research paper (scientific journal), Coauthor

display all >>

Presentations 【 display / non-display

  • Extension of OCaml Stepper

    Tsukino Furukawa, Kenichi Asai, Domestic, 2018.03, The 20th JSSST Workshop on Programming and Programming Languages, Yonago, Tottori, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • Implementation of type debugger using type-error slicing

    Naho Wakikawa, Kanae Tsushima, Kenichi Asai, Domestic, 2017.03, The 19th JSSST Workshop on Programming and Programming Languages, Fuefuki, Yamanashi, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • Implementation of GUI library for proof trees using generic programming

    Haruka Matsumoto, Kenichi Asai, Domestic, 2017.03, The 19th JSSST Workshop on Programming and Programming Languages, Fuefuki, Yamanashi, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • Proving correctness of Dijkstra's algorithm in Agda

    Urara Yamada, Kenichi Asai, Domestic, 2017.03, The 19th JSSST Workshop on Programming and Programming Languages, Fuefuki, Yamanashi, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • Implementation of Type Debugger using Type-Error Slicer

    Naho Wakikawa, Kanae Tsushima, Kenichi Asai, Domestic, 2017.01, 58th Programming Symposium, Ito, Shizuoka, Information Processing Society of Japan, Not Invited, Coauthor

display all >>

Prize for Research Activities 【 display / non-display

  • Best Paper Award

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ASAI Kenichi, UEHARA Chihiro, Selective CPS Transformation for Shift and Reset, 2018.01, International

  • 第20回研究論文賞

    日本ソフトウェア科学会, Kanae Tsushima, Kenichi Asai, 重み付き型エラースライスの提案, 2016.09, Domestic

  • Peter Landin Prize

    Implementation and Application of Functional Languages, IFL, Kanae Tsushima, Kenichi Asai, An Embedded Type Debugger, 2013.03, International

  • Best paper award

    Arisa Kitani, Kenichi Asai, Derivation of a compiler from an interpreter by program transformation, 2010.03, Domestic