Conference Papers (refereed)

• Ryo Wakizaka.
  Towards Reliable Distributed Quantum Computing on Quantum Interconnects.
  The First International Workshop on the Art, Science, and Engineering of Quantum Programming (QP2023).
  (To be appear)
• 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)

• 脇坂遼，鈴木泰成，徳永裕己.
  表面符号と格子手術を用いた量子計算のためのコンパイラバックエンド開発
  第46回量子情報技術研究会 (QIT46). 2022年5月.
• 脇坂遼，五十嵐淳.
  量子ビット連結性制約検査のための依存型システム
  日本ソフトウェア科学会第37回大会 (JSSST2020).
  pdf

Selected Talks

• 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

• 脇坂遼, 西尾真.
  InQuIR: Intermediate Representation for Interconnected Quantum Computers
  QEd summer school 2022. 沖縄, 日本． 2022年9月.
• 脇坂遼，五十嵐淳.
  量子プログラムのための依存型を用いた Coupling Graph 解析
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020). 2020年3月.