Interactive Generation of Image Variations for Copy-Paste Data Augmentation. - Keita Higuchi; Taiyo Mizuhashi; Fabrice Matulic; Takeo Igarashi (CHI Extended Abstracts, 2023)

Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses. - Shigeyuki Sato 001; Taiyo Mizuhashi; Genki Kimura; Kenjiro Taura (APLAS, 2024)