Publications
-
Kodai Hashimoto, Sho Torii and Hiroshi Unno.
Automating Total Correctness Verification of Higher-Order Functional Programs with Algebraic Data Types (Poster Presentation).
Presented at 第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016), Okayama, Japan, March, 2016.
[poster pdf]
[poster pptx]
-
Kodai Hashimoto and Hiroshi Unno.
Refinement Type Inference via Horn Constraint Optimization.
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science 9291, pp.199-216, Saint-Malo, France, September, 2015.
[short version pdf]
[full version pdf]
[slides pdf]
[slides pptx]
-
Kodai Hashimoto and Hiroshi Unno.
Refinement Type Inference via Multi-Objective Optimization Subject to Horn Clauses (Poster Presentation).
Presented at the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), Singapore, November, 2014.
[poster pdf]
[poster pptx]