Kenichi Asai

According to our database1, Kenichi Asai authored at least 33 papers between 1995 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Verifying Selective CPS Transformation for Shift and Reset.
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

Extracting a call-by-name partial evaluator from a proof of termination.
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

2018
Handling delimited continuations with dependent types.
Proc. ACM Program. Lang., 2018

Stepping OCaml.
Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

Selective CPS transformation for shift and reset.
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15).
Sci. Comput. Program., 2017

Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE).
Comput. Lang. Syst. Struct., 2017

2016
Implementing a stepper using delimited continuations.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Automatic Staging via Partial Evaluation Techniques.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Toward introducing binding-time analysis to MetaOCaml.
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

2014
Report on a User Test and Extension of a Type Debugger for Novice Programmers.
Proceedings of the Proceedings 3rd International Workshop on Trends in Functional Programming in Education, 2014

A Type Theoretic Specification of Partial Evaluation.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Formalizing a correctness property of a type-directed partial evaluator.
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Compiling a reflective language using MetaOCaml.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013
Special Issue Dedicated to ICFP 2011 Editorial.
J. Funct. Program., 2013

2012
An Embedded Type Debugger.
Proceedings of the Implementation and Application of Functional Languages, 2012

2011
Functional un|unparsing.
High. Order Symb. Comput., 2011

Reflection in direct style.
Proceedings of the Generative Programming And Component Engineering, 2011

2010
Functional derivation of a virtual machine for delimited continuations.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009
On typing delimited continuations: three new solutions to the printf problem.
High. Order Symb. Comput., 2009

Representing Covert Movements by Delimited Continuations.
Proceedings of the New Frontiers in Artificial Intelligence, 2009

2007
Polymorphic Delimited Continuations.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2005
Logical relations for call-by-value delimited continuations.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004
Offline partial evaluation for shift and reset.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2002
Online partial evaluation for shift and reset.
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

2001
Binding-time Analysis for Both Static and Dynamic Expressions.
New Gener. Comput., 2001

Integrating Partial Evaluators into Interpreters.
Proceedings of the Semantics, 2001

1997
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

1996
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages.
LISP Symb. Comput., 1996

Object-Oriented Serializability in Real-Time Concurrency Control.
Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications, 1996

1995
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation.
Proceedings of the OOPSLA'95, 1995


  Loading...