@misc{gearsos,
  title        = {GearsOS},
  author       = {並列信頼研究室},
  organization = {琉球大学},
  howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/}}
}

@misc{cbcllvm,
  title        = {CbC},
  author       = {並列信頼研究室},
  organization = {琉球大学},
  howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/}}
}

@article{cbc,
  author  = {河野 真治},
  title   = {継続を持つCの下位言語によるシステム記述},
  journal = {日本ソフトウェア科学会第17回大会論文集},
  month   = {September},
  year    = 2000
}

@article{cr,
  author      = {伊波 立樹},
  title       = {GearsOSの並列処理},
  institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
  journal     = {修士 (工学) 学位論文},
  month       = {March},
  year        = 2018
}

@article{gears,
  author      = {清水隆博},
  title       = {GearsOSのメタ計算},
  institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
  journal     = {修士 (工学) 学位論文},
  month       = {March},
  year        = 2021
}

@article{file,
  author  = {一木 貴裕, 河野 真治(琉球大学)},
  title   = {GearsOSの分散ファイルシステムの設計},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2021
}

@article{modelcheck,
  author  = {東恩納 琢偉，奥田 光希，河野 真治(琉球大学)},
  title   = {Gears OSでモデル検査を実現する手法について},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  month   = {May},
  year    = 2020
}

@article{xv6kernel,
  author  = {坂本 昂弘 (琉球大学工学部情報工学科), 桃原 優 (琉球大学大学院理工学研究科情報工学専攻), 河野 真治 (琉球大学工学部情報工学科)},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  title   = {継続を用いた xv6 kernel の書き換え},
  month   = {May},
  year    = 2019
}

@article{xv6component,
  author  = {清水 隆博，河野 真治(琉球大学)},
  journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
  title   = {xv6の構成要素の継続の分析},
  month   = {May},
  year    = 2020
}

@misc{xv6,
  author       = {{Russ Cox, Frans Kaashoek, Robert Morris}},
  title        = {xv6 a simple, Unix-like teaching operating system},
  howpublished = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf}
}