Approximate algebraic computation: practice and problems. - Tateaki Sasaki; Kousuke Shihara; Akira Terui; Yuichi Ozaki; Fujio Kako (SIGSAM Bull., 1997)

Detecting System Failures with GPUs and LLVM. - Yuichi Ozaki; Sousuke Kanamoto; Hiroaki Yamamoto; Kenichi Kourai (APSys, 2019)

Reliable and Accurate Fault Detection with GPGPUs and LLVM. - Yuichi Ozaki; Sousuke Kanamoto; Hiroaki Yamamoto; Kenichi Kourai (CLOUD, 2023)