第124回OS研究発表会
第124回OS研究発表会
「プログラム
日 程 ： 2013年 2月28日（木）～3月1日（金）
場 所 ： 岡山コンベンションセンター（ママカリフォーラム）
〒700-0024 岡山市北区駅元町14番1号
http://www.mamakari.net/
プログラム ：
2月28日（木）
□オープニング（13:30-13:40）
■マルチコア・メニーコアとスケジューリング（13:40-15:40）
（1） SMYLE OpenCLデバイスにおける並列プログラミングモデルの実現と評価
○江谷 典子，稗田 拓路，冨山 宏之（立命大）
（2） マルチコア商用スマートディバイスの評価と並列化の試み
○山本 英雄，後藤 隆志，平野 智大，武藤 康平，見神 広紀，
Hillenbrand Dominic，林 明宏，木村 啓二，笠原 博徳（早大）
（3） マルチコア向けFIFO式プリエンプティブ同期プロトコルのスケジューラビリティ評価
○藤谷 隆宏，松原 豊，加藤 真平，高田 広章（名大）
（4） 組込みRTOSにおけるタスク起動機構冗長化とタスク起動順位保持
○平井 勝彦（奈良先端大／アイ・ティ・エス・エイ教育研），
伊原 彰紀，門田 暁人，松本 健一（奈良先端大）
■仮想化（15:55-17:25）
（5） インタークラウドにおける仮想インフラ構築システムの提案
○高野 了成，中田 秀基，竹房 あつ子，柳田 誠也，工藤 知宏（産総研）
（6） 仮想マシンモニタを用いた割込み処理のデバッグ支援手法
○宮原 俊介，吉村 剛（慶大），山田 浩史（農工大／JST CREST），河野 健二（慶大／JST CREST）
（7） ページキャッシュとその他のメモリ内容の並列転送による遠隔地ライブマイグレーション高速化手法
○穐山 空道（東大），広渕 崇宏，高野 了成（産総研）本位田 真一（東大／国立情報学研究所）
3月1日（金）
■セキュリティ（10:00-11:30）
（8） KVMにおける仮想マシンの内部監視機構の実装と性能評価
○中村 孝介（九工大），光来 健一（九工大／JST CREST）
（9） 直感的ポリシー設定を可能にする動的な資源隔離機構
○忠鉢 洋輔（筑波大／日本学術振興会 特別研究員），品川 高廣（東大），加藤 和彦（筑波大）
（10）Clickjacking脆弱性の自動検査手法
○高松 勇輔（慶大），河野 健二（慶大／JST CREST）
■資源管理とデバイス制御（13:00-15:00）
（11）AnTオペレーティングシステムにおける低機能MMUの制御法
○鶴谷 昌弘，山内 利宏，谷口 秀夫（岡山大）
（12）Linuxトレーサーを用いた，分散システムのI/Oボトルネック特定技術の提案と評価
○松村 俊太郎，関谷 博，鍜治 武志，中村 英児（NTT）
（13）Mintオペレーティングシステムにおける実メモリの分配と移譲
○宮崎 清人，乃村 能成，谷口 秀夫（岡山大）
（14）高速な復帰が可能なLinuxのスリープ機構の実現
○羽田野 大理，岩崎 英哉，鵜川 始陽（電通大）
□クロージング（15:00-15:10）
場 所 ： 岡山コンベンションセンター（ママカリフォーラム）
〒700-0024 岡山市北区駅元町14番1号
http://www.mamakari.net/
プログラム ：
2月28日（木）
□オープニング（13:30-13:40）
■マルチコア・メニーコアとスケジューリング（13:40-15:40）
（1） SMYLE OpenCLデバイスにおける並列プログラミングモデルの実現と評価
○江谷 典子，稗田 拓路，冨山 宏之（立命大）
（2） マルチコア商用スマートディバイスの評価と並列化の試み
○山本 英雄，後藤 隆志，平野 智大，武藤 康平，見神 広紀，
Hillenbrand Dominic，林 明宏，木村 啓二，笠原 博徳（早大）
（3） マルチコア向けFIFO式プリエンプティブ同期プロトコルのスケジューラビリティ評価
○藤谷 隆宏，松原 豊，加藤 真平，高田 広章（名大）
（4） 組込みRTOSにおけるタスク起動機構冗長化とタスク起動順位保持
○平井 勝彦（奈良先端大／アイ・ティ・エス・エイ教育研），
伊原 彰紀，門田 暁人，松本 健一（奈良先端大）
■仮想化（15:55-17:25）
（5） インタークラウドにおける仮想インフラ構築システムの提案
○高野 了成，中田 秀基，竹房 あつ子，柳田 誠也，工藤 知宏（産総研）
（6） 仮想マシンモニタを用いた割込み処理のデバッグ支援手法
○宮原 俊介，吉村 剛（慶大），山田 浩史（農工大／JST CREST），河野 健二（慶大／JST CREST）
（7） ページキャッシュとその他のメモリ内容の並列転送による遠隔地ライブマイグレーション高速化手法
○穐山 空道（東大），広渕 崇宏，高野 了成（産総研）本位田 真一（東大／国立情報学研究所）
3月1日（金）
■セキュリティ（10:00-11:30）
（8） KVMにおける仮想マシンの内部監視機構の実装と性能評価
○中村 孝介（九工大），光来 健一（九工大／JST CREST）
（9） 直感的ポリシー設定を可能にする動的な資源隔離機構
○忠鉢 洋輔（筑波大／日本学術振興会 特別研究員），品川 高廣（東大），加藤 和彦（筑波大）
（10）Clickjacking脆弱性の自動検査手法
○高松 勇輔（慶大），河野 健二（慶大／JST CREST）
■資源管理とデバイス制御（13:00-15:00）
（11）AnTオペレーティングシステムにおける低機能MMUの制御法
○鶴谷 昌弘，山内 利宏，谷口 秀夫（岡山大）
（12）Linuxトレーサーを用いた，分散システムのI/Oボトルネック特定技術の提案と評価
○松村 俊太郎，関谷 博，鍜治 武志，中村 英児（NTT）
（13）Mintオペレーティングシステムにおける実メモリの分配と移譲
○宮崎 清人，乃村 能成，谷口 秀夫（岡山大）
（14）高速な復帰が可能なLinuxのスリープ機構の実現
○羽田野 大理，岩崎 英哉，鵜川 始陽（電通大）
□クロージング（15:00-15:10）
発表募集（発表募集は終了しました）
==================================================================
情報処理学会
システムソフトウェアとオペレーティング・システム（OS）研究会
2013年2月（第124回）研究会
発表論文募集
主査：河野 健二（慶應大）
幹事：阿部 洋丈（大阪大），毛利 公一（立命館大）
高宮 安仁（日本電気（株）），高野 了成（産総研）
プログラム担当：毛利 公一（立命館大）
会場担当：乃村 能成（岡山大）
==================================================================
情報処理学会システムソフトウェアとオペレーティング・システム（OS）研究会が
主催する2月の定例研究会を下記の要領で開催致します．
今年度の会場は岡山コンベンションセンター（ママカリフォーラム）です．
システムソフトウェア全般に関する先進的・萌芽的な研究の発表を是非ご検討ください．
主なトピックは以下の通りですが，システムソフトウェアやオペレーティング・
システムに関する内容でしたらこれらに限りません．
オペレーティングシステム，ミドルウェア，仮想化技術，ファイルシステム，
組込みシステム，ユビキタスシステム，実時間システム，
ディペンダブルシステム，モバイルコンピューティング，
Peer-to-Peer技術，セキュアコンピューティング，インターネット基盤技術，
並列分散システム，グリッド技術，その他システムソフトウェア一般
記
● 日 程 ： 2013年 2月28日（木）～3月1日（金）
● 場 所 ： 岡山コンベンションセンター（ママカリフォーラム）
〒700-0024 岡山市北区駅元町14番1号
http://www.mamakari.net/
● 発表申込締切：2013年 1月11 日（金）
● 原稿提出締切：2013年 2月 1 日（金）
● 発表申込方法：
以下のURLの「発表申込」メニューよりお申込ください．
https://ipsj1.i-product.biz/ipsjsig/OS/
● 照会先：
毛利 公一（立命館大）
os124 あっと asl.cs.ritsumei.ac.jp
※ 「あっと」の部分をアットマークに置き換えてください．
システムソフトウェアとオペレーティング・システム研究会
http://www.ipsj.or.jp/sig/os/
情報処理学会
システムソフトウェアとオペレーティング・システム（OS）研究会
2013年2月（第124回）研究会
発表論文募集
主査：河野 健二（慶應大）
幹事：阿部 洋丈（大阪大），毛利 公一（立命館大）
高宮 安仁（日本電気（株）），高野 了成（産総研）
プログラム担当：毛利 公一（立命館大）
会場担当：乃村 能成（岡山大）
==================================================================
情報処理学会システムソフトウェアとオペレーティング・システム（OS）研究会が
主催する2月の定例研究会を下記の要領で開催致します．
今年度の会場は岡山コンベンションセンター（ママカリフォーラム）です．
システムソフトウェア全般に関する先進的・萌芽的な研究の発表を是非ご検討ください．
主なトピックは以下の通りですが，システムソフトウェアやオペレーティング・
システムに関する内容でしたらこれらに限りません．
オペレーティングシステム，ミドルウェア，仮想化技術，ファイルシステム，
組込みシステム，ユビキタスシステム，実時間システム，
ディペンダブルシステム，モバイルコンピューティング，
Peer-to-Peer技術，セキュアコンピューティング，インターネット基盤技術，
並列分散システム，グリッド技術，その他システムソフトウェア一般
記
● 日 程 ： 2013年 2月28日（木）～3月1日（金）
● 場 所 ： 岡山コンベンションセンター（ママカリフォーラム）
〒700-0024 岡山市北区駅元町14番1号
http://www.mamakari.net/
● 発表申込締切：2013年 1月11 日（金）
● 原稿提出締切：2013年 2月 1 日（金）
● 発表申込方法：
以下のURLの「発表申込」メニューよりお申込ください．
https://ipsj1.i-product.biz/ipsjsig/OS/
● 照会先：
毛利 公一（立命館大）
os124 あっと asl.cs.ritsumei.ac.jp
※ 「あっと」の部分をアットマークに置き換えてください．
システムソフトウェアとオペレーティング・システム研究会
http://www.ipsj.or.jp/sig/os/