Fingerprint
Dive into the research topics where Hiroshi Unno is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs
Sekiyama, T. & Unno, H., 2025 Jan 7, In: Proceedings of the ACM on Programming Languages. 9, 3704914.Research output: Contribution to journal › Article › peer-review
Open Access -
A Primal-Dual Perspective on Program Verification Algorithms
Tsukada, T., Unno, H., Padon, O. & Shoham, S., 2025 Jan 7, In: Proceedings of the ACM on Programming Languages. 9, 68.Research output: Contribution to journal › Article › peer-review
Open Access -
On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
Sekiyama, T., Dal Lago, U. & Unno, H., 2025 Oct 9, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 3726-3754 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
Unno, H., Tsukada, T. & Jiang, J. H. R., 2025 Apr 11, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11, p. 11372-11380 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Thrust: A Prophecy-Based Refinement Type System for Rust
Ogawa, H., Sekiyama, T. & Unno, H., 2025 Jun 10, In: Proceedings of the ACM on Programming Languages. 9, 230.Research output: Contribution to journal › Article › peer-review
Open Access