Papers - YUEN, Shoji
-
RevMiGo: Reversible Channel-Based Communication in Go Language Invited Reviewed International coauthorship International journal
Shunya Oguchi, Shoji Yuen, Nobuko Yoshida
Lecture Notes in Computer Science Vol. 15716 page： 119 - 127 2025.7
-
並行可逆プログラミング言語Concurrent Janusおよびその処理系 Reviewed
黒田将弘,結縁祥治
第27回プログラミングおよびプログラミング言語ワークショップ発表予稿集 page： C1-2:1 - C1-2:19 2025.3
-
Constant Propagation in CRIL by Bidirectional Data Flow Analysis Reviewed
Snunya Oguchi, Shoji Yuen
Journal of Information Processing Vol. 32 page： 552 - 564 2024.7
-
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language Reviewed
Shunya Oguchi, Shoji Yuen
Lecture Notes in Computer Science Vol. 14680 page： 181 - 200 2024.5
-
revTPL: The Reversible Temporal Process Language Reviewed International coauthorship
Laura Bocchi ; Ivan Lanese ; Claudio Antares Mezzina ; Shoji Yuen.
Logical Method in Computer Science Vol. 20 ( 1 ) page： 11:1 - 11:35 2024.1
-
CRIL: A Concurrent Reversible Intermediate Language Reviewed
Shunya Oguchi, Shoji Yuen
Electronic Proceedings in Theoretical Computer Science Vol. 387 page： 149 - 167 2023.9
-
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language
Yusuke Akaike, Shoji Yuen
Vol. 123 page： 13 - 18 2023.7
-
CRSSA: 並行可逆言語に対する静的単一代入 Reviewed
小口隼也, 結縁祥治
第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023 page： 1 - 20 2023.3
-
A reversible debugger for imparative parallel programs with contracts Reviewed
Takashi Ikeda, Shoji Yuen
Reversible Computation 2022, Lecture Notes in Computer Science Vol. 13354 page： 204 - 212 2022.7
-
The reversible temporal process language Reviewed International coauthorship Open Access
Laura Bocchi, Ivan Lanese, Claudio Antrares Mezzina, Shoji Yuen
Proceedings of FORTE 2022, Lecture Notes in Computer Science Vol. 13273 page： 31 - 49 2022.6
-
A reversible runtime for parallel programs with recursive blocks Reviewed Open Access
2021.11
-
Multiparty Session Programming with Global Protocol Combinators(Artifact) Invited Reviewed International coauthorship Open Access
Keigo Imai, Rumiyana Neykova, Nobuko Yoshida, Shoji Yuen
Dagstuhl Artifacts Series Vol. 6 ( 2 ) page： 1 - 2 2020.11
-
Multiparty Session Programming with Global Combinators Invited Reviewed International coauthorship Open Access
Keigo Imai, Rumiyana Neykova, Nobuko Yoshida, Shoji Yuen
LIPlcs Vol. 166 page： 9:1 - 9:30 2020.11
-
A Reversible Runtime Environment for Parallel Programs Reviewed Open Access
Takashi Ikeda, Shoji Yuen
Reversible Computation 2020, Lecture Notes in Computer Science Vol. 12247 page： 272-279 2020.7
-
Fault Diagnosis for Distributed Cooperative System Using Inducting Logic Programming Invited Reviewed
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen
IEEE International Conference on Prognostics and Health Management, ICPHM 2020 page： 1 - 8 2020.6
-
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT Reviewed
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
Journal of Information Processing Vol. 28 page： 124-135 2020.1
-
Session-ocaml: A session-based library with polarities and lenses Reviewed Open Access
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Science of Computer Program Vol. 172 page： 135-159 2019.3
-
Reversing Event Structure Reviewed Open Access
Irek Ulidowski, Iain Phillips, Shoji Yuen
New Generation Computing Vol. 36 page： 281-306 2018.9
-
Reversing Parallel Programs with Blocks and Procedures Reviewed Open Access
James Hoey, Irek Ulidowski, Shoji Yuen
EPTCS (EXPRESS/SOS 2018) Vol. 276 page： 69-86 2018.9
-
Nested Timed Automata with Invariants Reviewed
Yuwei Wang, Guoqiang Li, Shoji Yuen
Lecture Notes in Computer Science Vol. 10606 page： 77-93 2017.10