Login / Signup
Shunya Oguchi
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Flow Analysis
Concurrent Programming
Programming Language
Database Languages
Top Venues
RC
EXPRESS/SOS
J. Inf. Process.
</>
Publications
</>
Shunya Oguchi
,
Shoji Yuen
Constant Propagation in CRIL by Bidirectional Data Flow Analysis.
J. Inf. Process.
32 (2024)
Shunya Oguchi
,
Shoji Yuen
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language.
RC
(2024)
Shunya Oguchi
,
Shoji Yuen
CRIL: A Concurrent Reversible Intermediate Language.
EXPRESS/SOS
(2023)