Hiroyuki Katsura -

Registered user since Thu 25 Jun 2020

Name:Hiroyuki Katsura

Affiliation:University of Cambridge

Personal website: https://hkatsura.net/

GitHub: https://github.com/moratorium08

Contributions

2026

PAgE

Author of Combining Agentic AI and Lightweight Formal Methods To Find Bugs in a Production Hypervisor within the PAgE 2026-track

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