Hiroyuki Katsura

According to our database, Hiroyuki Katsura authored at least 9 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Catalia: Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types.

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Dataset, July, 2025

ChocoCatalia: Solver for Constrained Horn Clauses over Algebraic Data Types.

Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato

Dataset, May, 2025

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types.

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Proceedings of the Static Analysis - 32nd International Symposium, 2025

2024

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem.

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Dataset, August, 2024

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem.

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Higher-Order Property-Directed Reachability.

Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato

Proc. ACM Program. Lang., August, 2023

2022

On Higher-Order Reachability Games Vs May Reachability.

Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi

Proceedings of the Reachability Problems - 16th International Conference, 2022

SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing.

Yuki Koike, Hiroyuki Katsura, Hiromu Yakura, Yuma Kurogome

Proceedings of the Annual Computer Security Applications Conference, 2022

2020

A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking.

Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020