Hiroshi Unno
University of Tsukuba
H-index: 17
Asia-Japan
Top articles of Hiroshi Unno
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers | Proceedings of the ACM on Programming Languages | Fuga Kawamata Hiroshi Unno Taro Sekiyama Tachio Terauchi | 2024/1/5 |
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations | Proceedings of the ACM on Programming Languages | Taro Sekiyama Hiroshi Unno | 2023/1/9 |
Optimal CHC Solving via Termination Proofs | Proceedings of the ACM on Programming Languages | Yu Gu Takeshi Tsukada Hiroshi Unno | 2023/1/9 |
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification | Proceedings of the ACM on Programming Languages | Hiroshi Unno Tachio Terauchi Yu Gu Eric Koskinen | 2023/1/9 |
Software model-checking as cyclic-proof search | Proceedings of the ACM on Programming Languages | Takeshi Tsukada Hiroshi Unno | 2022/1/11 |
Constraint-based relational verification | Hiroshi Unno Tachio Terauchi Eric Koskinen | 2021/7/15 | |
Enhancing Loop-Invariant Synthesis via Reinforcement Learning | arXiv preprint arXiv:2107.09766 | Takeshi Tsukada Hiroshi Unno Taro Sekiyama Kohei Suenaga | 2021/7 |
Decision tree learning in CEGIS-based termination analysis | Satoshi Kura Hiroshi Unno Ichiro Hasuo | 2021 | |
Toward neural-network-guided program synthesis and verification | Naoki Kobayashi Taro Sekiyama Issei Sato Hiroshi Unno | 2021 | |
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning | arXiv preprint arXiv:2107.09766 | Minchao Wu Takeshi Tsukada Hiroshi Unno Taro Sekiyama Kohei Suenaga | 2021/7/16 |
Probabilistic inference for predicate constraint satisfaction | Proceedings of the AAAI Conference on Artificial Intelligence | Yuki Satake Hiroshi Unno Hinata Yanagi | 2020/4/3 |
Failure of cut-elimination in cyclic proofs of separation logic | コンピュータ ソフトウェア | Daisuke Kimura Koji Nakazawa Tachio Terauchi Hiroshi Unno | 2020/1/24 |
Program verification via predicate constraint satisfiability modulo theories | arXiv preprint arXiv:2007.03656 | Hiroshi Unno Yuki Satake Tachio Terauchi Eric Koskinen | 2020/7/7 |