conf.researchr.org / Hiroshi Unno
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
2025
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