@article{
    cerium,
    author = "宮國 渡 and 河野 真治 and 神里 晃 and 杉山 千秋",
    title = "Cell 用の Fine-grain Task Manager の実装",
    journal = "情報処理学会 システムソフトウェアとオペレーティング・システム研究会(OS)",
    month = "April",
    year = 2008
}

@article{
    alice,
    author = "赤嶺 一樹 and 河野 真治",
    title = "DataSegment API を用いた分散フレームワークの設計",
    journal = "日本ソフトウェア科学会第28回大会論文集",
    month = "Sep",
    year = 2011
}

@misc{cell,
    author = "{Sony Corporation}",
    title = "{Cell broadband engine architecture}",
    year = 2005
}

@article{
    segment,
    author = "河野 真治 and 杉本 優",
    title = "Code Segment と Data Segment によるプログラミング手法",
    journal = "第54回プログラミング・シンポジウム",
    month = "Jan",
    year = 2013
}

@article{
    cbc,
    author = "河野 真治 and 島袋 仁",
    title = "C with Continuation と、そのPlayStationへの応用",
    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
    month = "May",
    year = 2000
}
                  
@article{
    cbc-llvm,
    author = "徳森 海斗 and 河野 真治",
    title = " Continuation based C の LLVM/clang 3.5 上の実装について",
    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
    month = "May",
    year = 2014
}
                  
@article{
    monad,
    author = "Eugenio Moggi",
    title = "Computational lambda-calculus and monads",
    journal = "Proceedings of the Fourth Annual Symposium on Logic in computer science",
    year = 1989
}
                  
@article{
    model-check,
    author = "下地 篤樹 and 河野 真治",
    title = "線形時相論理によるContinuation based Cプログラムの検証",
    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
    month = "April",
    year = 2007
}

@manual{opencl,
author = "{Aaftab Munshi, Khronos OpenCL Working Group}",
title ="{The OpenCL Specification Version 1.0}",
year = 2007
}

@misc{cuda,
title = "{CUDA}",
howpublished = "{https://developer.nvidia.com/category/zone/cuda-zone/}"
}

@misc{
   msg,
   title = "MessagePack",
   howpublished = "{http://msgpack.org/}"
}