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
PLDI 2026 profile
POPL 2026 profile
SPLASH 2022 profile
Registered user since Thu 25 Jun 2020
Name:
Hiroyuki Katsura
Affiliation:
University of Cambridge
Contributions
2026
PLDI
Author of Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows within the PLDI Research Papers-track
TPSA
Author of Gradually Retrofitting Assurance into Systems Software: A Separation-Logic Approach within the TPSA 2026-track
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
Tue 12 May 10:53