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

@article{moggi-monad,
    author     = {Moggi, Eugenio},
    title      = {Notions of Computation and Monads},
    journal    = {Inf. Comput.},
    issue_date = {July 1991},
    volume     = {93},
    number     = {1},
    month      = jul,
    year       = {1991},
    issn       = {0890-5401},
    pages      = {55--92},
    numpages   = {38},
    url        = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
    doi        = {10.1016/0890-5401(91)90052-4},
    acmid      = {116984},
    publisher  = {Academic Press, Inc.},
    address    = {Duluth, MN, USA},
}

@inproceedings{Yang:2010:SLI:1806596.1806610,
 author = {Yang, Jean and Hawblitzel, Chris},
 title = {Safe to the Last Instruction: Automated Verification of a Type-safe Operating System},
 booktitle = {Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '10},
 year = {2010},
 isbn = {978-1-4503-0019-3},
 location = {Toronto, Ontario, Canada},
 pages = {99--110},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1806596.1806610},
 doi = {10.1145/1806596.1806610},
 acmid = {1806610},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {operating system, run-time system, type safety, verification},
}

@inproceedings{Klein:2009:SFV:1629575.1629596,
 author = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and Andronick, June and Cock, David and Derrin, Philip and Elkaduwe, Dhammika and Engelhardt, Kai and Kolanski, Rafal and Norrish, Michael and Sewell, Thomas and Tuch, Harvey and Winwood, Simon},
 title = {seL4: Formal Verification of an OS Kernel},
 booktitle = {Proceedings of the ACM SIGOPS 22Nd Symposium on Operating Systems Principles},
 series = {SOSP '09},
 year = {2009},
 isbn = {978-1-60558-752-3},
 location = {Big Sky, Montana, USA},
 pages = {207--220},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1629575.1629596},
 doi = {10.1145/1629575.1629596},
 acmid = {1629596},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {isabelle/hol, l4, microkernel, sel4},
}

@article{Klein:2010:SFV:1743546.1743574,
 author = {Klein, Gerwin and Andronick, June and Elphinstone, Kevin and Heiser, Gernot and Cock, David and Derrin, Philip and Elkaduwe, Dhammika and Engelhardt, Kai and Kolanski, Rafal and Norrish, Michael and Sewell, Thomas and Tuch, Harvey and Winwood, Simon},
 title = {seL4: Formal Verification of an Operating-system Kernel},
 journal = {Commun. ACM},
 issue_date = {June 2010},
 volume = {53},
 number = {6},
 month = jun,
 year = {2010},
 issn = {0001-0782},
 pages = {107--115},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/1743546.1743574},
 doi = {10.1145/1743546.1743574},
 acmid = {1743574},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Nelson:2017:HPV:3132747.3132748,
 author = {Nelson, Luke and Sigurbjarnarson, Helgi and Zhang, Kaiyuan and Johnson, Dylan and Bornholt, James and Torlak, Emina and Wang, Xi},
 title = {Hyperkernel: Push-Button Verification of an OS Kernel},
 booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles},
 series = {SOSP '17},
 year = {2017},
 isbn = {978-1-4503-5085-3},
 location = {Shanghai, China},
 pages = {252--269},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/3132747.3132748},
 doi = {10.1145/3132747.3132748},
 acmid = {3132748},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Sigurbjarnarson:2016:PVF:3026877.3026879,
 author = {Sigurbjarnarson, Helgi and Bornholt, James and Torlak, Emina and Wang, Xi},
 title = {Push-button Verification of File Systems via Crash Refinement},
 booktitle = {Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation},
 series = {OSDI'16},
 year = {2016},
 isbn = {978-1-931971-33-1},
 location = {Savannah, GA, USA},
 pages = {1--16},
 numpages = {16},
 url = {http://dl.acm.org/citation.cfm?id=3026877.3026879},
 acmid = {3026879},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA},
}

@inproceedings{OSBook,
 author = {Andrew S. Tanenbaum},
 booktitle = {Modern Operating Systems Fourth Edition},
 series = {OSDI'15},
 year = {2015},
 isbn = {978-0-13-359162-0},
 location = {Hervert BOS Vrije Universiteit Amsterdam, The Netherlands},
 pages = {265-332},
 numpages = {67},
}


@misc{hg:cbcgcc,
    title = {CbC\_gcc},
    author = {並列信頼研究室},
    organization = "琉球大学",
    howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/}},
    note = {Accessed: 2021-01-31},
}

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

@misc{hg:Christie,
    title = {Christie},
    author = {並列信頼研究室},
    organization = "琉球大学",
    howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Database/Christie/}},
    note = {Accessed: 2021-01-31},
}


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

@article{
    anatofz,
    author = "清水 隆博 and 河野真治",
    title = "GearsOSのメタ計算",
    journal = "琉球大学理工学研究科修士論文",
    month = "March",
    year = 2020
}

@article{
    koki,
    author = "宮城 光輝 and 河野真治",
    title = "継続を基本とした言語による OS のモジュール化",
    journal = "琉球大学理工学研究科修士論文",
    month = "March",
    year = 2018
}

@article{
    tokumori,
    author = "徳森 海斗 and 河野真治",
    title = "LLVM Clang 上の Continuation based C コンパイラ の改良",
    journal = "琉球大学理工学研究科修士論文",
    month = "March",
    year = 2016
}


@article{
    mata-thesis,
    author = "又吉 雄斗 and  河野　真治",
    title = "GearsOS における i-node を用いた File system の設計",
    journal = "琉球大学工学部知能情報コース卒業論文",
    month = "March",
    year = 2022
}


@article{
    pop,
    author = "照屋 のぞみ and  河野　真治",
    title = "分散フレームワークChristieの設計",
    journal = "琉球大学理工学研究科修士論文",
    month = "March",
    year = 2018
}

@article{
    Alice,
    author = "赤嶺 一樹 and  河野　真治",
    title = "分散ネットワークフレームワークAlice の 提案と実装",
    journal = "琉球大学理工学研究科修士論文",
    month = "March",
    year = 2012
}

@article{
    BlockChain,
    author = "赤堀 貴一 and  河野　真治",
    title = "Christieによるブロックチェーンの実装",
    journal = "琉球大学工学部情報工学科卒業論文",
    month = "March",
    year = 2019
}

@manual{man:socket,
  author = "{man-page of SOCKET}",
  title ="{\url{https://linuxjm.osdn.jp/html/LDP_man-pages/man2/socket.2.html}}",
}

@manual{man:getaddrinfo,
  author = "{man-page of GETADDRINFO}",
  title ="{\url{https://linuxjm.osdn.jp/html/LDP_man-pages/man3/getaddrinfo.3.html}}",
}