You are here

Unno Hiroshi

Researcher's full information

Conference, etc.
  • Predicate Abstraction and CEGAR for Disproving Termination of Higher-order Functional Programs
    Kuwahara Takuya; Sato Ryosuke; Unno Hiroshi; Kobayashi Naoki
    CAV 2015: 27th International Conference on Computer Aided Verication/2015-07-18--2015-07-24
  • Inferring Simple Solutions to Recursion-free Horn Clauses via Sampling
    Unno Hiroshi; Terauchi Tachio
    TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems/2015-04-11--2015-04-18
  • Automating Relatively Complete Verification of Higher-Order Functional Programs
    Unno Hiroshi; Terauchi Tachio; Kobayashi Naoki
    第15回プログラミングおよびプログラミング言語ワークショップ PPL2013/2013-03-04--2013-03-06
  • MoCHi: Software Model Checker for a Higher-Order Functional Language
    Sato Ryosuke; Unno Hiroshi; Kobayashi Naoki
    ACM SIGPLAN Workshop on ML/2012-09-13--2012-09-13
  • Towards a Scalable Software Model Checker for Higher-Order Programs
    Sato Ryosuke; Unno Hiroshi; Kobayashi Naoki
    PEPM2013: ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation/2013-01-21--2013-01-22
  • Automating Relatively Complete Verification of Higher-Order Functional Programs
    Unno Hiroshi; Terauchi Tachio; Kobayashi Naoki
    POPL2013: 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages/2013-01-23--2013-01-25