Hiroshi Unno

J-GLOBAL         Last updated: Nov 13, 2019 at 15:48
 
Avatar
Name
Hiroshi Unno
E-mail
uhirocs.tsukuba.ac.jp
Affiliation
University of Tsukuba
Section
Faculty of Engineering,Information and Systems
Research funding number
80569575

Research Areas

 
 

Published Papers

 
Probabilistic Inference for Predicate Constraint Satisfaction
Yuki Satake, Hiroshi Unno, Hinata Yanagi
Proceedings of AAAI 2020      Feb 2020   [Refereed]
Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno
Proceedings of SAS 2019   Springer LNCS 11822 413-436   Oct 2019   [Refereed]
Hiroshi Unno, Yuki Satake, Tachio Terauchi
PACMPL   2(POPL) 12:1   2018   [Refereed]
Yuki Satake, Hiroshi Unno
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I   105   2018   [Refereed]
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018   759   2018   [Refereed]

Conference Activities & Talks

 
Horn Clauses and Beyond for Relational and Temporal Program Verification [Invited]
Hiroshi Unno
The 5th Workshop on Horn Clauses for Verification and Synthesis   13 Jul 2018   
Tutorial: Applications of Higher-order Model Checking to Program Verification [Invited]
Hiroshi Unno
Workshop on Higher-Order Model Checking (HOMC) + Communicating, Distributed and Parameterised Systems (CDPS),   20 Sep 2016   
Higher-order Program Verification as Refinement Type Inference [Invited]
Hiroshi Unno
The 3rd Work- shop on Higher-Order Program Analysis (HOPA 2015)   4 Jul 2015   

Research Grants & Projects

 
Verification of high-level programs containing mutable higher-order recursive data structures
Japan Society for the Promotion of Science: Grant-in-Aid for Scientific Research (B)
Project Year: Apr 2017 - Mar 2022    Investigator(s): Tachio Terauchi
Theory of Gradual Typing for Modern Programming Languages
Japan Society for the Promotion of Science: Grant-in-Aid for Scientific Research (B)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Atsushi Igarashi
Temporal and Relational Verification of High-Level Programs
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (A)
Project Year: Apr 2016 - Mar 2020    Investigator(s): Hiroshi Unno
Refinement and Extension of Higher-Order Model Checking
Japan Society for the Promotion of Science: Grant-in-Aid for Scientific Research (S)
Project Year: Apr 2015 - Mar 2020    Investigator(s): Naoki Kobayashi
Extensions and Applications of Refinement Types based on Game Semantics
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2013 - Mar 2016    Investigator(s): Hiroshi Unno