Hiroshi Unno

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal verification of programs via first-order fixpoint logic	2024-04-19	Paper
Propositional dynamic logic for higher-order functional programs Computer Aided Verification	2023-05-26	Paper
Automating induction for solving Horn clauses (available as arXiv preprint)	2022-08-12	Paper
Toward neural-network-guided program synthesis and verification (available as arXiv preprint)	2022-06-17	Paper
Constraint-based relational verification (available as arXiv preprint)	2022-03-25	Paper
Decision tree learning in CEGIS-based termination analysis (available as arXiv preprint)	2022-03-25	Paper
A fixpoint logic and dependent effects for temporal property verification Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Inferring simple solutions to recursion-free Horn clauses via sampling Tools and Algorithms for the Construction and Analysis of Systems	2019-09-17	Paper
Predicate abstraction and CEGAR for disproving termination of higher-order functional programs	2018-03-01	Paper
Temporal verification of higher-order functional programs Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Verification of tree-processing programs via higher-order model checking Mathematical Structures in Computer Science	2016-07-27	Paper
Relaxed stratification: a new approach to practical complete predicate refinement Programming Languages and Systems	2016-04-26	Paper
Automata-based abstraction for automated verification of higher-order tree-processing programs Programming Languages and Systems	2016-01-08	Paper
Higher-order multi-parameter tree transducers and recursion schemes for program verification Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Automating relatively complete verification of higher-order functional programs Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Automatic Termination Verification for Higher-Order Functional Programs Programming Languages and Systems	2014-04-16	Paper
On-Demand Refinement of Dependent Types Functional and Logic Programming	2008-04-11	Paper
Depth-first layout algorithm for trees. Information Processing Letters	2006-01-17	Paper

Research outcomes over time

This page was built for person: Hiroshi Unno