Ryusei Shiiba

Profile Information

Affiliation

Postdoc researcher, Systems Architecture Science Research Division, National Institute of Informatics

Degree

Ph.D(Informatics)(Mar, 2026, The Graduate University for Advanced Studies)

Researcher number

21046378

J-GLOBAL ID

202601005516089735

researchmap Member ID

R000108151

External link

https://siibar.github.io/

Research Areas

• Informatics / Computer systems / 情報ネットワーク
• Informatics / Information networks / 情報ネットワーク

Research History

• Apr, 2026 - Present

  National Institute of Informatics

Papers

• Overcoming eBPF Constraints: Towards Practical ML/NN-based Anomaly Detection

  Atsuya Osaki, Ryusei Shiiba, Kensuke Fukuda, Jin Nakazawa

  Journal of Information Processing, 34, Sep, 2026 Peer-reviewed
• Symbolic Extraction of Packet Forwarding Behaviors to Identify Causes and Impacts of Network Failures

  Ryusei Shiiba, Ryo Nakamura, Yohei Kuga, Satoru Kobayashi, Osamu Akashi, Hiroki Shirokura, Kensuke Fukuda

  Journal of Information Processing, 34, Sep, 2026 Peer-reviewedLead author
• Iterative Specification Refinement towards Side Effect Free Configuration Repair

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

  Proceedings of the ACM on Networking, 4(CoNEXT2) 1-25, Jun 1, 2026 Peer-reviewedLead author
• Towards Separating Routing State Exploration from Protocol Semantics in Control Plane Verification

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

  IEEE INFOCOM 2026 (Poster), May, 2026 Peer-reviewedLead author
• Topology-Driven Configuration of Emulation Networks With Deterministic Templating

  Satoru Kobayashi, Ryusei Shiiba, Shinsuke Miwa, Toshiyuki Miyachi, Kensuke Fukuda

  IEEE Transactions on Network and Service Management, 22(5) 3933-3946, Oct, 2025 Peer-reviewed
• Refining Specifications for Configuration Repair with Side Effect Diagnosis

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

  Proceedings of SIGCOMM FMANO, 43-48, Sep 8, 2025 Peer-reviewedLead author
• Verifying Network-level Properties for Large-scale Networks with Header Transformations in Realtime

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Hiroki Shirokura, Kensuke Fukuda

  Journal of Information Processing, 33 41-54, Feb, 2025 Peer-reviewedLead author
• Improving QoS in Failure Scenarios: Measurement System for Low-Latency Backup Path

  Yoshihiko Ito, Jin Nakazato, Ryusei Shiiba, Kensuke Fukuda, Hiroshi Esaki, Hideya Ochiai

  2025 International Conference on Information Networking (ICOIN), 111-116, Jan 15, 2025 Peer-reviewed
• Dynamic Fixed-point Values in eBPF: a Case for Fully In-kernel Anomaly Detection

  Atsuya Osaki, Manuel Poisson, Seiki Makino, Ryusei Shiiba, Kensuke Fukuda, Tadashi Okoshi, Jin Nakazawa

  Proceedings of the 19th Asian Internet Engineering Conference, 46-54, Aug 9, 2024 Peer-reviewed
• dot2net: A Labeled Graph Approach for Template-Based Configuration of Emulation Networks

  Satoru Kobayashi, Ryusei Shiiba, Ryosuke Miura, Shinsuke Miwa, Toshiyuki Miyachi, Kensuke Fukuda

  2023 19th International Conference on Network and Service Management (CNSM), 1-9, Oct 30, 2023 Peer-reviewed
• Verifying Network Properties in SRv6 based Service Function Chaining

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

  Asian Internet Engineering Conference, 18-26, Dec 14, 2021 Peer-reviewedLead author
• Quickly Testing NIC and Driver Interactions by a Software-based NIC

  Ryusei Shiiba, Ryo Nakamura, Yohei Kuga, Shigeya Suzuki

  Proceedings of CoNEXT Student Workshop'20, 21-22, Dec 11, 2020 Peer-reviewedLead author

Presentations

• Toward reliable network operations using formal verification techniques

  日本ソフトウェア科学界 40周年企画セッション「若手研究者特別講演」, Sep 12, 2023