Conference Papers (refereed)

• Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi.
  Type-Based Verification of Connectivity Constraints in Lattice Surgery.
  Asian Symposium on Programming Languages and Systems (APLAS2024).
  [paper]
• Ryo Wakizaka.
  Towards Reliable Distributed Quantum Computing on Quantum Interconnects.
  The First International Workshop on the Art, Science, and Engineering of Quantum Programming (QP2023).
  [paper]
• Ryo Wakizaka, Shin Nishio. (equally contributed)
  InQuIR: Intermediate Representation for Interconnected Quantum Computers.
  Quantum Resource Estimation (QRE2022).
  [arxiv]

Conference Papers (refereed, domestic)

• 脇坂遼、五十嵐淳.
  Type-Based Qubit Allocation for a First-Order Quantum Programming Language.
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL2022）. 2022年3月．

Conference Papers (not refereed, domestic)

• 西尾真、脇坂遼，佐久間 大輔、上野 洋典、鈴木 泰成
  フォールトトレラント量子マルチプログラミングのためのオンラインスケジューラ
  第14回量子ソフトウェア研究会 (QIT14). 2025年3月.
• 脇坂遼，鈴木泰成，徳永裕己.
  表面符号と格子手術を用いた量子計算のためのコンパイラバックエンド開発
  第46回量子情報技術研究会 (QIT46). 2022年5月.
• 脇坂遼，五十嵐淳.
  量子ビット連結性制約検査のための依存型システム
  日本ソフトウェア科学会第37回大会 (JSSST2020).
  [paper]

Talks

• Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka.
  Concurrent Quantum Separation Logic for Fine-Grained Parallelism
  PLanQC2025, Denver, Colorado, United States co-located with the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), January 2025.
  [slide]
• Ryo Wakizaka, Shin Nishio.
  InQuIR: Intermediate Representation for Interconnected Quantum Computers
  QRE2022, New York, USA co-located with International Symposium on Computer Architecture (ISCA), June 2022.

Posters

• Shin Nishio, Ryo Wakizaka, Daisuke Sakuma, Yosuke Ueno, Yasunari Suzuki.
  Online Job Scheduler for Fault-tolerant Quantum Multiprogramming
  Quantum Computing Theory in Practice (QCTiP2025). Berlin, Germany. April, 2025.
• 脇坂遼、鈴木泰成.
  格子手術プログラムのためのコンポジショナルな量子ビット割り当て手法
  第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025). 愛知県. 2025年3月.
• Ryo Wakizaka, Shin Nishio.
  Resource-Aware Deadlock Freedom for Distributed Quantum Programs
  6th International Workshop on Quantum Compilation (IWQC2024). Berlin, Germany. 2024-09.
• 脇坂遼, 西尾真.
  InQuIR: Intermediate Representation for Interconnected Quantum Computers
  QEd summer school 2022. 沖縄, 日本． 2022年9月.
• 脇坂遼，五十嵐淳.
  量子プログラムのための依存型を用いた Coupling Graph 解析
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020). 2020年3月.