Hiroshi Unno

Available identifiers

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	2023-05-26	Paper
Automating induction for solving Horn clauses	2022-08-12	Paper
Toward neural-network-guided program synthesis and verification	2022-06-17	Paper
Constraint-based relational verification	2022-03-25	Paper
Decision tree learning in CEGIS-based termination analysis	2022-03-25	Paper
A Fixpoint Logic and Dependent Effects for Temporal Property Verification	2021-01-20	Paper
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling	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	2016-10-24	Paper
Verification of tree-processing programs via higher-order mode checking	2016-07-27	Paper
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement	2016-04-26	Paper
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs	2016-01-08	Paper
Higher-order multi-parameter tree transducers and recursion schemes for program verification	2015-06-11	Paper
Automating relatively complete verification of higher-order functional programs	2014-11-27	Paper
Automatic Termination Verification for Higher-Order Functional Programs	2014-04-16	Paper
On-Demand Refinement of Dependent Types	2008-04-11	Paper
Depth-first layout algorithm for trees.	2006-01-17	Paper

This page was built for person: Hiroshi Unno