Yuen/Nakazawa Laboratory

Publications

Publications

Selected papers, presentations, and awards. (Under construction)

  1. 2026 journal
    Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions BibTeX

    Kenji Saotome, Koji Nakazawa, Daisuke Kimura, Ayumu Kawasaki
    Arch. Math. Log., vol. 65, no. 3

  2. 2025 proceedings
    RevMiGo: Reversible Channel-Based Communication in Go Language BibTeX

    Shunya Oguchi, Shoji Yuen, Nobuko Yoshida
    Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings, Lecture Notes in Computer Science, pp. 119--127, Springer

  3. 2024 journal
    Constant Propagation in CRIL by Bidirectional Data Flow Analysis BibTeX

    Shunya Oguchi, Shoji Yuen
    J. Inf. Process., vol. 32

  4. 2024 journal
    revTPL: The Reversible Temporal Process Language BibTeX

    Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
    Log. Methods Comput. Sci., vol. 20, no. 1

  5. 2024 proceedings
    Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language BibTeX

    Shunya Oguchi, Shoji Yuen
    Reversible Computation - 16th International Conference, RC 2024, Toru\'n, Poland, July 4-5, 2024, Proceedings, Lecture Notes in Computer Science, pp. 181--200, Springer

  6. 2023 proceedings
    CRIL: A Concurrent Reversible Intermediate Language BibTeX

    Shunya Oguchi, Shoji Yuen
    Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023, EPTCS, pp. 149--167