Ph.D. Tohoku University, 2013.
(POSL Research Group,
Graduate School and Faculty of Information Science and Electrical Engineering,
Combining Higher-Order Model Checking with Refinement Type Inference (short paper).
HoIce: A ICE-based Non-Linear Horn Clause Solver (tool paper).
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns.
ICE-based Refinement Type Discovery for Higher-Order Functional Programs.
Can Abstraction Be Taught? Refactoring-based Abstraction Learning.
Modular Verification of Higher-order Functional Programs.
Automatically Disproving Fair Termination of Higher-Order Functional Programs.
Temporal Verification of Higher-order Functional Programs.
Predicate Abstraction and CEGAR for Disproving Termination of Higher-order Functional Programs.
Verifying Relational Properties of Functional Programs by First-Order Refinement.
Towards a Scalable Software Model Checker for Higher-Order Programs.
Predicate Abstraction and CEGAR for Higher-Order Model Checking.
Ordered Types for Stream Processing of Tree-Structured Data.
Refinement Type Checking via Assertion Checking.
Workshop on Higher-Order Program Analysis, Kyoto, Japan, July 2015.
MoCHi: Software Model Checker for a Higher-Order Functional Language.
ACM SIGPLAN Workshop on ML, Denmark, September 2012.
Type-Based Partial Buffering for Stream Processing.
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), Singapore, December 2007.
- Project-Based Learing. Kyushu University. 2017-2019.
- Experiments of Software. Kyushu University. 2017-2019.
- Advanced Information Processing. Seinan Gakuin University. 2019.
- Basic Information Utilization. Seinan Gakuin University. 2019.