Daisuke Kimura

J-GLOBAL         Last updated: Oct 16, 2018 at 21:21
 
Avatar
Name
Daisuke Kimura
Affiliation
Toho University
Section
Faculty of Science

Published Papers

 
Cyclic Theorem Prover for Separation Logic by Magic Wand
Koji Nakazawa, Makoto Tatsuta, and Daisuke Kimura
In First Workshop on Automated Deduction for Separation Logics (ADSL) at FLoC      Jul 2018   [Refereed]
Decidability of Entailments in Separation Logic with Arrays and Lists
Daisuke Kimura and Makoto Tatsuta
Proceedings of PPL2018      Mar 2018   [Refereed]
Decision Procedure for Entailment of Symbolic Heaps with Arrays
Daisuke Kimura and Makoto Tatsuta
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS2017), Lecture Notes in Computer Science   10695 169-189   Dec 2017   [Refereed]
Decision Procedure for Symbolic Heaps with Arrays
Daisuke Kimura and Makoto Tatsuta
Proceedings of PPL2017      Mar 2017   [Refereed]
Translation of Symbolic Heaps with Monadic Induc- tive Definitions into Monadic Second-Order Logic
Makoto Tatsuta and Daisuke Kimura
Proceedings of PPL2016      Mar 2016   [Refereed]
Separation Logic with Monadic Inductive Definitions and Implicit Existentials
Makoto Tatsuta and Daisuke Kimura
Proceedings of he 13th Asian Symposium on Programming Languages and Systems (APLAS2015), Lecture Notes in Computer Science   9458 69-89   Dec 2015   [Refereed]
Induction by Coinduction and Control Operators in Call-by-Name
Yoshihiko Kakutani and Daisuke Kimura
Proceedings of COS'13 workshop   EPTCS 127 101-112   Jun 2013   [Refereed]
Daisuke Kimura and Makoto Tatsuta
Logical Methods in Computer Science   9(1)    Mar 2013   [Refereed]
Daisuke Kimura and Yoshihiko Kakutani
Special Issue of New Generation Computing   29(1) 61-86   2011   [Refereed]
Dual Calculus with Inductive types and Coinductive types.
Daisuke Kimura and Makoto Tatsuta
Proceedings of Rewriting Techniques and Applications, 20th International Conference (RTA 2009)      2009   [Refereed]
Daisuke Kimura and Yoshihiko Kakutani
Proceedings of The Seventh Asian Symposium on Programming Languages and Systems (APLAS2009)      2009   [Refereed]
A Calculus Corresponding to Classical Modal Logic S4
Daisuke Kimura
The 11th JSSST Workshop on Programming and Programming Languages (PPL2009)      2009   [Refereed]
Computation in Classical Logic and Dual Calculus.
Daisuke Kimura
   2007   [Refereed]
Call-by-Value is Dual to Call-by-Name, Extended.
Daisuke Kimura
Proceedings of The Fifth Asian Symposium on Programming Languages and Systems (APLAS2007), LNCS   4807 415-430   2007   [Refereed]
Duality between Call-by-value Reductions and Call-by-name Reductions.
Daisuke Kimura
IPSJ journal   48(4) 1721-1757   2007   [Refereed]

Research Areas

 
 

Academic & Professional Experience

 
Apr 2016
 - 
Today
Lecturer, Department of Information Science, Faculty of Science, Toho University
 
Apr 2015
 - 
Mar 2016
Part-time Lecturer, Department of Information Science, Faculty of Science, Toho University
 
Apr 2010
 - 
Mar 2015
Post-doctoral Researcher, National Institute of Informatics
 
Apr 2009
 - 
Mar 2010
Research Student, Graduate School of Information Science and Technology, University of Tokyo
 
Apr 2007
 - 
Mar 2009
Post-doctoral Researcher, National Institute of Informatics
 

Others

 
Mar 2015   PPL2015 PC member, Poster chair