Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hiroyuki Katsura
conf.researchr.org general profile
APLAS 2020 profile
APLAS 2024 profile
ICFP 2023 profile
ICFP/SPLASH 2025 profile
SPLASH 2022 profile
Registered user since Thu 25 Jun 2020
Name:
Hiroyuki Katsura
Affiliation:
University of Cambridge
Contributions
2025
Static Analysis Symposium
Author of Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types within the SAS 2025-track
2024
APLAS
Author of Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem within the Research Papers-track
2023
ICFP
Author of Higher-Order Property-Directed Reachability within the ICFP Papers and Events-track
2022
SPLASH
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the COVID Time Papers In Person-track
2020
APLAS
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track
Share
x
Fri 17 Oct 22:59