CRIL: A Concurrent Reversible Intermediate Language. - Shunya Oguchi; Shoji Yuen (EXPRESS/SOS, 2023)

Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. - Shunya Oguchi; Shoji Yuen (RC, 2024)

Constant Propagation in CRIL by Bidirectional Data Flow Analysis. - Shunya Oguchi; Shoji Yuen (J. Inf. Process., 2024)

RevMiGo: Reversible Channel-Based Communication in Go Language. - Shunya Oguchi; Shoji Yuen; Nobuko Yoshida (RC, 2025)