Hiroyuki Katsura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAS | Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types. | Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2024 | APLAS | Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. | Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2022 | ACSAC | SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing. | Yuki Koike, Hiroyuki Katsura, Hiromu Yakura, Yuma Kurogome |
| 2020 | APLAS | A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. | Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada |