Taiyo Mizuhashi

According to our database, Taiyo Mizuhashi authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses.

Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura

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

2023

Interactive Generation of Image Variations for Copy-Paste Data Augmentation.

Keita Higuchi, Taiyo Mizuhashi, Fabrice Matulic, Takeo Igarashi

Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023