あかりラボ Akari Lab

C, OS, virtualization

飯田 圭祐 / Keisuke IIDA

• Blog: akkar1ne.hatenablog.com
• Github: k-mrm
• Twitter: @mkeiptr
• mail: cmpl.error at gmail.com

Activities

• 2023.5-: 産業技術総合研究所 デジタルアーキテクチャ研究センター 超分散コンピューティング研究チーム テクニカルスタッフ
• 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 4移植
• mvmm
  aarch64ボード向けハイパーバイザ
• Pilevisor
  複数のARMマシンを一つに集約するハイパーバイザ（未踏2022）
• akarivpn
  tapインタフェースで作ったL2 VPN
• raft
  Raft
• router
  ソフトウェアルータ NAPT付き
• os
  OS (WIP)

Education

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