3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
Shunya Oguchi, Shoji Yuen, Nobuko Yoshida +1
Causal reversibility has emerged as an effective technique for debugging concurrent systems. In particular, rolling back and replaying a concurrent program with causal consistency…
cs.PL2023★ 3 cited
CRIL: A Concurrent Reversible Intermediate Language
Shunya Oguchi, Shoji Yuen
We present a reversible intermediate language with concurrency for translating a high-level concurrent programming language to another lower-level concurrent programming language,…