conf.researchr.org / Hiroshi Unno
![Hiroshi Unno](https://conf.researchr.org/getProfileImage/hiroshiunno/c5c1b748-082d-4abd-93f0-dbebf6ab1d98/small.jpg?1712496570000)
Registered user since Fri 19 Dec 2014
Name:Hiroshi Unno
Country:Japan
Affiliation:Tohoku University
Personal website: https://www.riec.tohoku.ac.jp/~unno/
GitHub: https://github.com/hiroshi-unno
Research interests:Programming Languages, Software Verification, Artificial Intelligence
Contributions
2024
ICFP
POPL
2023
POPL
- Author of Optimal CHC Solving via Termination Proofs within the POPL-track
- Author of Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations within the POPL-track
- Author of Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification within the POPL-track