Hiroshi Unno
Orcid: 0000-0002-4225-8195Affiliations:
- University of Tsukuba, Japan
According to our database1,
Hiroshi Unno
authored at least 40 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
3
4
3
2
1
1
1
1
1
3
1
1
2
1
1
5
1
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
CoRR, January, 2025
Proc. ACM Program. Lang., 2025
Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs.
Proc. ACM Program. Lang., 2025
2024
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.
Proc. ACM Program. Lang., January, 2024
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification.
Proc. ACM Program. Lang., 2024
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System.
Proc. ACM Program. Lang., 2024
2023
Proc. ACM Program. Lang., January, 2023
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations.
Proc. ACM Program. Lang., January, 2023
2022
2021
Proceedings of the Static Analysis - 28th International Symposium, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
CoRR, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
2018
Relatively complete refinement type system for verification of higher-order non-deterministic programs.
Proc. ACM Program. Lang., 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
2015
Math. Struct. Comput. Sci., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Static Analysis - 22nd International Symposium, 2015
Proceedings of the Programming Languages and Systems, 2015
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
Proceedings of the Programming Languages and Systems, 2014
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
2010
Higher-order multi-parameter tree transducers and recursion schemes for program verification.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
2008
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008
2006
Combining type-based analysis and model checking for finding counterexamples against non-interference.
Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006