Ryusei Shiiba

About

I work on symbolic network analysis and testing techniques, such as network verification, configuration repair, and control plane simulation.

I am especially interested in how to specify network intents for symbolic network analysis tools and emerging non-deterministic systems (e.g., LLMs) in a reliable and safe manner.

Publications

• Iterative Specification Refinement towards Side Effect Free Configuration Repair
  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda
  ACM CoNEXT 2026
  [PDF]
• Towards Separating Routing State Exploration from Protocol Semantics in Control Plane Verification
  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda
  IEEE INFOCOM 2026 (Poster)
  [PDF]
• Topology-Driven Configuration of Emulation Networks With Deterministic Templating
  Satoru Kobayashi, Ryusei Shiiba, Shinsuke Miwa, Toshiyuki Miyachi, Kensuke Fukuda
  IEEE TNSM 2025
  [PDF]
• Refining specifications for configuration repair with side effect diagnosis
  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda
  ACM SIGCOMM FMANO 2025
  [PDF]
• Verifying network-level properties for large-scale networks with header transformations in realtime
  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Hiroki Shirokura, Kensuke Fukuda
  IPSJ Journal 2025
  [PDF]
• Improving QoS in Failure Scenarios: Measurement System for Low-Latency Backup Path
  Yoshihiko Ito; Jin Nakazato; Ryusei Shiiba; Kensuke Fukuda; Hiroshi Esaki; Hideya Ochiai
  IEEE ICOIN 2025
  [PDF]
• Dynamic Fixed-point Values in eBPF: a Case for Fully In-kernel Anomaly Detection
  Osaki, Atsuya and Poisson, Manuel and Makino, Seiki and Shiiba, Ryusei and Fukuda, Kensuke and Okoshi, Tadashi and Nakazawa, Jin
  ACM AINTEC 2024
  [PDF]
• dot2net: A labeled graph approach for template-based configuration of emulation networks
  Satoru Kobayashi, Ryusei Shiiba, Ryosuke Miura, Shinsuke Miwa, Toshiyuki Miyachi, Kensuke Fukuda
  IEEE CNSM 2023
  [PDF]
• Dot2tinet: A graph-based network configuration platform for large-scale emulation networks
  Satoru Kobayashi, Ryusei Shiiba, Osamu Akashi, Kensuke Fukuda
  ACM AINTEC 2022 (Poster)
  [PDF]
• Toward a compositional data plane verification for large-scale networks
  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda
  ACM AINTEC 2022 (Poster)
  [PDF]
• Verifying Network Properties in SRv6 based Service Function Chaining
  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda
  ACM AINTEC 2021
  [PDF]
• Quickly Testing NIC and Driver Interactions by a Software-based NIC
  Ryusei Shiiba, Ryo Nakamura, Yohei Kuga, and Shigeya Suzuki
  ACM CoNEXT Student Workshop 2020
  [PDF]

Talks

• Toward reliable network operations using formal verification techniques
  Ryusei Shiiba
  日本ソフトウェア科学界 40周年企画セッション「若手研究者特別講演」 2023
  [PDF]

Thesis

• Towards Practical Network Verification and Repair in Real-World Networks
  Ryusei Shiiba
  March 2026, Ph.D thesis
  [PDF]