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

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

@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}
}


@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},
}