椎葉 瑠星

基本情報

所属

国立情報学研究所 アーキテクチャ科学研究系 特任研究員

学位

博士(情報学)(2026年3月 総合研究大学院大学)

研究者番号

21046378

J-GLOBAL ID

202601005516089735

researchmap会員ID

R000108151

外部リンク

https://siibar.github.io/

研究分野

• 情報通信 / 計算機システム / 情報ネットワーク
• 情報通信 / 情報ネットワーク / 情報ネットワーク

経歴

• 2026年4月 - 現在

  国立情報学研究所, アーキテクチャ科学研究系, 特任研究員

論文

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

  Atsuya Osaki, Ryusei Shiiba, Kensuke Fukuda, Jin Nakazawa

  Journal of Information Processing 34 2026年9月 査読有り
• 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 2026年9月 査読有り筆頭著者
• 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 2026年6月1日 査読有り筆頭著者
• Towards Separating Routing State Exploration from Protocol Semantics in Control Plane Verification

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

  IEEE INFOCOM 2026 (Poster) 2026年5月 査読有り筆頭著者
• 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 2025年10月 査読有り
• Refining Specifications for Configuration Repair with Side Effect Diagnosis

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

  Proceedings of SIGCOMM FMANO 43-48 2025年9月8日 査読有り筆頭著者
• 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 2025年2月 査読有り筆頭著者
• 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 2025年1月15日 査読有り
• 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 2024年8月9日 査読有り
• 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 2023年10月30日 査読有り
• Verifying Network Properties in SRv6 based Service Function Chaining

  Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda

  Asian Internet Engineering Conference 18-26 2021年12月14日 査読有り筆頭著者
• 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 2020年12月11日 査読有り筆頭著者

講演・口頭発表等

• Toward reliable network operations using formal verification techniques

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