あかりラボ Akari Lab

C, OS, virtualization

飯田 圭祐 / Keisuke IIDA

• Blog: akkar1ne.hatenablog.com
• Github: k-mrm
• mail: cmpl.error at gmail.com / iida at os.is.s.u-tokyo.ac.jp

Activities

• 2024.7-: 株式会社リチェルカセキュリティ パートタイマー
• 2023.5-2024.6: 産業技術総合研究所 デジタルアーキテクチャ研究センター 超分散コンピューティング研究チーム テクニカルスタッフ
• 2020.5-2021.5: サイボウズ・ラボユース 第10期生
• 2020: セキュリティ・キャンプ全国大会2020 参加
• 2019: SecHack365 第3期生

Acquired competitive fund

1. 2022年度 IPA未踏IT人材発掘・育成事業 (スーパークリエータ認定)
   飯田 圭祐, 柚山 大哉: 複数のARMマシンを一つに集約するハードウェア仮想化レイヤ
   採択金額 2,736,000 円
   https://www.ipa.go.jp/jinzai/mitou/it/2022/gaiyou_tn-2.html

Projects

• maxc
  静的型付けスクリプト言語（SecHack365, サイボウズ・ラボユース）
• type-inference
  Hindley-Milner型推論器
• NEMU
  ファミコンエミュレータ
• risc-v-sec
  セキュリティ機構付きRISC-Vエミュレータ（seccamp2020）
• aarch64-os
  aarch64ボード向けOS
• xv6-aarch64
  xv6(MITの教育用OS)のaarch64移植
• xv6-rpi4
  xv6のRaspberry Pi 4B移植
• mvmm
  aarch64ボード向けハイパーバイザ
• Pilevisor
  複数のARMマシンを一つに集約するハイパーバイザ（未踏2022）
• akarivpn
  tapインタフェースで作ったL2 VPN
• raft
  Raft
• router
  ソフトウェアルータ NAPT付き
• os
  OS (archived)
• ml
  ML処理系 型なし
• os2
  OS (WIP)

Publication

Poster Presentation (Peer-reviewed)

• Guojun Wu, Keisuke Iida, Satoru Takekoshi, and Takahiro Shinagawa. Toward Process-Level TEEs with OS Compatibility and Minimal TCB. In 30th ACM Symposium on Operating Systems Principles, Oct, 2025.
• Keisuke Iida and Takahiro Shinagawa. Toward Hardware-Assisted Kernel-Bypass Data Movement and Transfer. In 19th USENIX Symposium on Operating Systems Design and Implementation, Jul, 2025.
• Keisuke Iida, Takaaki Fukai, Takahiro Hirofuchi, and Takeshi Matsuya. Design of SR-IOV Driver to Mitigate Performance Degradation for Lightweight Hypervisor. In 15th ACM SIGOPS Asia-Pacific Workshop on Systems, Sep, 2024.

Domestic Conference (Non Peer-reviewed)

• 飯田 圭祐, 品川 高廣. 専用ハードウェアエンジンによるカーネル内メモリ操作オフロード. 第167回システムソフトウェアとオペレーティング・システム研究発表会, May, 2025.
• 飯田 圭祐, 深井 貴明, 広渕 崇宏, 松谷 健史. 軽量ハイパバイザの SR-IOV デバイス制御における性能劣化削減手法. 第163回システムソフトウェアとオペレーティング・システム研究発表会, May, 2024. (優秀若手発表賞)

Education

• 2024.4-: 東京大学総合文化研究科広域科学専攻広域システム科学系修士課程 在学 品川研究室
• 2020.4-2024.3: 慶應義塾大学環境情報学部環境情報学科 卒業
• 2017.4-2020.3: 東京工業大学附属科学技術高等学校 情報システム分野 卒業