Hiroyuki Katsura

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Markov Random Field

Cross Media Retrieval

Optimization Scheme

Top Venues

Proc. ACM Program. Lang.

Publications

Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato
Higher-Order Property-Directed Reachability. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Yuki Koike, Hiroyuki Katsura, Hiromu Yakura, Yuma Kurogome
SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing. CoRR (2022)
Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi
On Higher-Order Reachability Games vs May Reachability. CoRR (2022)
Yuki Koike, Hiroyuki Katsura, Hiromu Yakura, Yuma Kurogome
SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing. ACSAC (2022)
Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi
On Higher-Order Reachability Games Vs May Reachability. RP (2022)
Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada
A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. APLAS (2020)