@inproceedings{queue,
    author = {Michael, Maged M. and Scott, Michael L.}, title = {Simple, Fast, and Practical Non-blocking and Blocking Concurrent Queue Algorithms},
    booktitle = {Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing},
    series = {PODC '96},
    year = {1996},
    isbn = {0-89791-800-2},
    location = {Philadelphia, Pennsylvania, USA},
    pages = {267--275},
    numpages = {9},
    url = {http://doi.acm.org/10.1145/248052.248106},
    doi = {10.1145/248052.248106},
    acmid = {248106},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {compare_and_swap, concurrent queue, lock-free, multiprogramming, non-blocking},
} 

@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{nobu-prosym,
    author = "大城信康 and 河野真治",
    title = "Continuation based C の GCC4.6 上の実装について",
    booktitle = "第53回プログラミング・シンポジウム予稿集",
    year  = "2012",
    volume = "2012",
    pages = "69--78",
    month = "jan"
}

@inproceedings{mitsuki-prosym,
    author = "宮城光希 and 河野真治",
    title = "Code Gear と Data Gear を持つ Gears OS の設計",
    booktitle = "第59回プログラミング・シンポジウム予稿集",
    year  = "2018",
    volume = "2018",
    pages = "197--206",
    month = "jan"
}

@article{kaito-lola,
    author  = "Kaito, Tokumori and Shinji, Kono",
    title   = "Implementing Continuation based language in LLVM and Clang",
    journal = "LOLA 2015, Kyoto",
    month   = "July",
    year    =  2015

}

@article{kkb-sigos,
    author  = "小久保翔平 and 伊波立樹 and 河野真治",
    title   = "Monad に基づくメタ計算を基本とする Gears OS の設計",
    journal = "第133回情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
    month   = "May",
    year    = 2015
}

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

@article{ikkun-sigos,
    author  = "東恩納琢偉 and 伊波立樹 and 河野真治",
    title   = "Gears OS における並列処理",
    journal = "第140回 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
    month   = "May",
    year    = 2017
}

@misc{opencl,
    title = {OpenCL | NVIDIA Developer},
    howpublished = {\url{https://developer.nvidia.com/opencl}},
    note = {Accessed: 2016/02/06(Mon)}
}

@misc{cuda,
    title = {CUDA Zone | NVIDIA Developer},
    howpublished = {\url{https://developer.nvidia.com/cuda-zone}},
    note = {Accessed: 2016/02/06(Mon)}
}


@mastersthesis{utah-master,
    author = "徳森海斗",
    title  = "LLVM Clang 上の Continuation based C コンパイラ の改良",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2016"
}

@mastersthesis{kkb-master,
    author = "小久保 翔平",
    title  = "Code Segment と Data Segment を持つ Gears OS の 設計",
    school = "琉球大学 大学院理工学研究科 情報工学専攻",
    year   = "2016"
}