@mastersthesis{
    mitsuki-master,
    author = "宮城 光希",
    title  = "継続を基本とした言語による OS のモジュール化",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2019"
}

@mastersthesis{
    parusu-master,
    author = "伊波 立樹",
    title  = "Gears OS の並列処理",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2018"
}

@article{
    cbc,
    author = "Kaito TOKKMORI and Shinji KONO",
    title = "Implementing Continuation based language in LLVM and Clang",
    journal = "LOLA 2015",
    month = "July",
    year = 2015
}

@misc{xv6,
  title={Xv6, a simple Unix-like teaching operating system},
  author={Cox, Russ and Kaashoek, M Frans and Morris, Robert},
  journal={2013-09-05]. http://pdos. csail. mit. edu/6.828/2012/xv6. html},
  year={2011}
}

@article{
    gears,
    author = "河野 真治 and 伊波 立樹 and  東恩納 琢偉",
    title = "Code Gear、Data Gear に基づく OS のプロトタイプ",
    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
    month = "May",
    year = 2016
}

@article{
    gears_cg_dg,
    author = "宮城光希 and 河野真治",
    title = "Code Gear と Data Gear を持つ Gears OS の設計",
    journal = "第59回プログラミング・シンポジウム",
    month = "Jan",
    year = 2018,
}

@article{
    gears_demo,
    author = "宮城光希 and 河野真治",
    title = "継続を中心とした言語 Gears OS のデモンストレーション",
    journal = "第60回プログラミング・シンポジウム",
    month = "Jan",
    year = 2019,
}

@manual{arm,
author     = "{ARM Architecture Reference Manual}",
title  = "{http://infocenter.arm.com/help/topic/com.arm.\\doc.subset.architecture.reference/index.html}"
}

@InProceedings{llvm,
author    = {Chris Lattner and Vikram Adve},
title     = "{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}",
booktitle = "{Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)}",
address   = {Palo Alto, California},
month     = {Mar},
year      = {2004}
}

@manual{gcc,
author = "{GNU Compiler Collection (GCC) Internals}",
title ="{http://gcc.gnu.org/onlinedocs/gccint/}",
}


@misc{rpi,
title     = "{Raspberry Pi — Teach, Learn, and Make with Raspberry Pi}",
howpublished    = {https://www.raspberrypi.org}
}

@misc{xv6rpi,
author    = {Zhiyi Wang},
title     = "{xv6-rpi}",
howpublished      = "{https://code.google.com/archive/p/xv6-rpi/}",
year      = {2013}
}

@article{
    agda-ryokka,
    author = "Hokama MASATAKA and Shinji KONO",
    title = "GearsOS の Hoare Logic をベースにした検証手法",
    journal = "ソフトウェアサイエンス研究会",
    month = "Jan",
    year = 2019
}

@inproceedings{agda,
 author = {Norell, Ulf},
 title = {Dependently Typed Programming in Agda},
 booktitle = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation},
 series = {TLDI '09},
 year = {2009},
 isbn = {978-1-60558-420-1},
 location = {Savannah, GA, USA},
 pages = {1--2},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1481861.1481862},
 doi = {10.1145/1481861.1481862},
 acmid = {1481862},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dependent types, programming},
}
@book{codereading,
author = "青柳 隆宏",
title = "はじめてのOSコードリーディング --UNIX V6で学ぶカーネルのしくみ",
year = 2013
}

@article{os,
    author = {Andrew S.Tanenbaum, Herbert Bos},
    title = "{Modern Operating Systems}",
    publisher = {PEASON},
    year = {2015},
}