Decision tree generation for decoding irregular instructions. - Katsumi Okuda; Haruhiko Takeyama (DATE, 2016)

Automated generation of dynamic binary translators for instruction set simulation. - Katsumi Okuda; Minoru Yoshida; Haruhiko Takeyama; Minoru Nakamura (ASP-DAC, 2017)

Domain-specific programming assistance in an embedded DSL for generating processor emulators. - Katsumi Okuda; Shigeru Chiba (SAC, 2021)

Lake symbols for island parsing. - Katsumi Okuda; Shigeru Chiba (Art Sci. Eng. Program., 2021)

AskIt: Unified Programming Interface for Programming with Large Language Models. - Katsumi Okuda; Saman P. Amarasinghe (CGO, 2024)