Hiroki Sakamoto / 坂本 弘樹

Programming Logic Group Department of Computer Science University of Tsukuba
Email: sakamoto(at)logic.cs.tsukuba.ac.jp

Publications

• Hiroshi Unno, Sho Torii, Hiroki Sakamoto: Automating Induction for Solving Horn Clauses [Demo]
  In Proceedings of the 29th International Conference on Computer Aided Verification (CAV 2017), pp.571-591 (Part II), Heidelberg, Germany, July, 2017.


• Hiroki Sakamoto, Sho Torii, Shu Nakao, Hiroshi Unno: A Horn Constraint Solver based on Inductive Theorem Proving [PDF]
  In 18th JSSST Workshop on Programming and Programming Languages (PPL2017) (in poster session).


• Hiroki Sakamoto, Hiroshi Unno: Verification of Featherweight Java Programs via Transformation to Higher-order Functional Programs with Recursive Data Types [PDF]
  In 17th JSSST Workshop on Programming and Programming Languages (PPL2016) (in poster session).