--- a/paper/sigos.bib	Sun May 08 02:41:43 2016 +0900
+++ b/paper/sigos.bib	Sun May 08 14:59:00 2016 +0900
@@ -9,11 +9,11 @@
 
 @article{
     alice,
-    author = "赤嶺 一樹 and 河野 真治",
-    title = "DataSegment API を用いた分散フレームワークの設計",
-    journal = "日本ソフトウェア科学会第28回大会論文集",
-    month = "Sep",
-    year = 2011
+    author = "照屋 のぞみ and 河野 真治",
+    title = "分散フレームワークAliceのPC画面配信システムへの応用",
+    journal = "第57回プログラミング・シンポジウム",
+    month = "Jan",
+    year = 2016
 }
 
 @misc{cell,
@@ -32,15 +32,6 @@
 }
 
 @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 上の実装について",
@@ -57,15 +48,6 @@
     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}",
@@ -73,12 +55,24 @@
 }
 
 @misc{cuda,
-title = "{CUDA}",
-howpublished = "{https://developer.nvidia.com/category/zone/cuda-zone/}"
+    title = "{CUDA}",
+    howpublished = "{https://developer.nvidia.com/category/zone/cuda-zone/}"
 }
 
-@misc{
-   msg,
-   title = "MessagePack",
-   howpublished = "{http://msgpack.org/}"
-}
\ No newline at end of file
+@article{
+    gears,
+    author = "小久保 翔平 and 伊波 立樹 and 河野 真治",
+    title = "Monad に基づくメタ計算を基本とする Gears OS の設計",
+    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
+    month = "May",
+    year = 2015
+}
+
+@article{
+    cbc-lola,
+    author = "Kaito TOKKMORI and Shinji KONO",
+    title = "Implementing Continuation based language in LLVM and Clang",
+    journal = "LOLA 2015",
+    month = "July",
+    year = 2015
+}