第207回ARC・第133回OS合同研究発表会
第207回ARC・第133回OS合同研究発表会
「プログラム
日 程： 2015年5月26日（火）～ 27日（水）
場 所： ルネッサンス リゾート オキナワ （〒904-0416 沖縄県国頭郡恩納村山田3425-2）
5月26日（火）
□オープニング（14：00～14：05）
■セッション1：メニーコア・アクセラレータ（14：05～15：45） 座長：未定
（1） 次世代HPC向けメニーコアスーパーコンピュータOSカーネルの設計
高木 将通，Gerofi Balazs，掘 敦史，山口 訓央，小倉 崇浩，亀山 豊久，石川 裕（理化学研究所）
（2） HPC向けメニーコアOSを用いたバッチジョブ運用の課題検討
平井 浩一，小田和 友仁，岡本 高幸，二宮 温，住元 真司（富士通），
高木 将通，Gerofi Balazs，山口 訓央，小倉 崇浩，亀山 豊久，堀 敦史，石川 裕（理化学研究所）
（3） FPGAアクセラレーション向けの実行制御の高速化とシステムソフトウェアの検討
坂本 龍一（東京大学），小柴 篤史，佐藤 未来子，並木 美太郎（東京農工大学），
近藤 正章，中村 宏（東京大学）
（4） メニーコア・アクセラレータの比較を目的としたクロスプラットフォーム解析法の提案
岡 慶太郎（九州大学），Wenhao Jia（Qualcomm Research），小野 貴継（九州大学），
Margaret Martonosi（Princeton University），井上 弘士（九州大学）
■セッション2：分散システムとコンパイラ技術（16：00～17：15） 座長：未定
（5） Sparkの可用性向上に向けたインメモリKVSによるデータ管理代替方法の提案
愛甲 和秀，木下 雅文，小島 剛，畑崎 恵介（日立製作所）
（6） 分散フレームワークAliceの圧縮機能
照屋 のぞみ，杉本 優，河野 真治（琉球大学）
（7） Just-In-Timeコンパイラ生成コードに対する分岐命令の挙動解析に基づく細粒度PG制御
小柴 篤史，和田 基（東京農工大学），坂本 龍一（東京大学），
佐藤 未来子，並木 美太郎（東京農工大学）
□懇親会（17：30～19：30）
5月27日（水）
■セッション3：ストレージ技術と信頼性評価技術（8：45～10：00） 座長：未定
（8） ストレージシステムにおける大容量データ転送時の経路制御方式
鈴木 貴敦，吉原 朋宏（日立製作所）
（9） Markov連鎖を用いたデータセンタHigh Availabilityシステムの信頼性評価方法
川口 智大，斎藤 秀雄（日立製作所）
（10）ストレージクラスメモリを用いたアプリケーション透過なチェックポイント取得手法
小林 直登，山田 浩史（東京農工大学）
■セッション4：メモリ技術（10：15～11：30） 座長：未定
（11）メモリストレージ容量拡張手法のLinux 4.0における実現について
追川 修一（筑波大学）
（12）オペレーティングシステムに対して透過的なメモリアクセス・トレース機構
広渕 崇宏，高野 了成（産業技術総合研究所），工藤 知宏（東京大学）
（13）トランザクショナルメモリにおける排他的および投機的並行性制御
間下 恵介，橋本 高志良，三宅 翔，山田 遼平，津邑 公暁（名古屋工業大学）
■セッション5：OS構成法（12：45～14：00） 座長：未定
（14）AnTのOSサーバ入替え機能における入替え時間と応答時間の分析
澤田 淳，山内 利宏，谷口 秀夫（岡山大学）
（15）AnTオペレーティングシステムにおけるOSサーバ間通信での優先度継承による優先度逆転の抑制法
鴨生 悠冬，山内 利宏，谷口 秀夫（岡山大学）
（16）Monadに基づくメタ計算を基本とするGears OSの設計
小久保 翔平，伊波 立樹，河野 真治（琉球大学）
■セッション6：データベース管理システム（14：15～15：55） 座長：未定
（17）DBMS統合環境を考慮したトランザクション制御手法
斎藤 直人，山田 浩史（東京農工大学）
（18）P-WAL: 並列ログ先行書き込みの提案
神谷 孝明，川島 英之，建部 修見（筑波大学）
（19）暗号化データベースシステムにおける効率的な集約処理の評価
堀尾 健太郎，建部 修見，川島 英之（筑波大学）
（20）非破壊的木構造データベースJungleとその評価
金川 竜己，河野 真治（琉球大学）
□クロージング（15：55～16：00）
場 所： ルネッサンス リゾート オキナワ （〒904-0416 沖縄県国頭郡恩納村山田3425-2）
5月26日（火）
□オープニング（14：00～14：05）
■セッション1：メニーコア・アクセラレータ（14：05～15：45） 座長：未定
（1） 次世代HPC向けメニーコアスーパーコンピュータOSカーネルの設計
高木 将通，Gerofi Balazs，掘 敦史，山口 訓央，小倉 崇浩，亀山 豊久，石川 裕（理化学研究所）
（2） HPC向けメニーコアOSを用いたバッチジョブ運用の課題検討
平井 浩一，小田和 友仁，岡本 高幸，二宮 温，住元 真司（富士通），
高木 将通，Gerofi Balazs，山口 訓央，小倉 崇浩，亀山 豊久，堀 敦史，石川 裕（理化学研究所）
（3） FPGAアクセラレーション向けの実行制御の高速化とシステムソフトウェアの検討
坂本 龍一（東京大学），小柴 篤史，佐藤 未来子，並木 美太郎（東京農工大学），
近藤 正章，中村 宏（東京大学）
（4） メニーコア・アクセラレータの比較を目的としたクロスプラットフォーム解析法の提案
岡 慶太郎（九州大学），Wenhao Jia（Qualcomm Research），小野 貴継（九州大学），
Margaret Martonosi（Princeton University），井上 弘士（九州大学）
■セッション2：分散システムとコンパイラ技術（16：00～17：15） 座長：未定
（5） Sparkの可用性向上に向けたインメモリKVSによるデータ管理代替方法の提案
愛甲 和秀，木下 雅文，小島 剛，畑崎 恵介（日立製作所）
（6） 分散フレームワークAliceの圧縮機能
照屋 のぞみ，杉本 優，河野 真治（琉球大学）
（7） Just-In-Timeコンパイラ生成コードに対する分岐命令の挙動解析に基づく細粒度PG制御
小柴 篤史，和田 基（東京農工大学），坂本 龍一（東京大学），
佐藤 未来子，並木 美太郎（東京農工大学）
□懇親会（17：30～19：30）
5月27日（水）
■セッション3：ストレージ技術と信頼性評価技術（8：45～10：00） 座長：未定
（8） ストレージシステムにおける大容量データ転送時の経路制御方式
鈴木 貴敦，吉原 朋宏（日立製作所）
（9） Markov連鎖を用いたデータセンタHigh Availabilityシステムの信頼性評価方法
川口 智大，斎藤 秀雄（日立製作所）
（10）ストレージクラスメモリを用いたアプリケーション透過なチェックポイント取得手法
小林 直登，山田 浩史（東京農工大学）
■セッション4：メモリ技術（10：15～11：30） 座長：未定
（11）メモリストレージ容量拡張手法のLinux 4.0における実現について
追川 修一（筑波大学）
（12）オペレーティングシステムに対して透過的なメモリアクセス・トレース機構
広渕 崇宏，高野 了成（産業技術総合研究所），工藤 知宏（東京大学）
（13）トランザクショナルメモリにおける排他的および投機的並行性制御
間下 恵介，橋本 高志良，三宅 翔，山田 遼平，津邑 公暁（名古屋工業大学）
■セッション5：OS構成法（12：45～14：00） 座長：未定
（14）AnTのOSサーバ入替え機能における入替え時間と応答時間の分析
澤田 淳，山内 利宏，谷口 秀夫（岡山大学）
（15）AnTオペレーティングシステムにおけるOSサーバ間通信での優先度継承による優先度逆転の抑制法
鴨生 悠冬，山内 利宏，谷口 秀夫（岡山大学）
（16）Monadに基づくメタ計算を基本とするGears OSの設計
小久保 翔平，伊波 立樹，河野 真治（琉球大学）
■セッション6：データベース管理システム（14：15～15：55） 座長：未定
（17）DBMS統合環境を考慮したトランザクション制御手法
斎藤 直人，山田 浩史（東京農工大学）
（18）P-WAL: 並列ログ先行書き込みの提案
神谷 孝明，川島 英之，建部 修見（筑波大学）
（19）暗号化データベースシステムにおける効率的な集約処理の評価
堀尾 健太郎，建部 修見，川島 英之（筑波大学）
（20）非破壊的木構造データベースJungleとその評価
金川 竜己，河野 真治（琉球大学）
□クロージング（15：55～16：00）
発表募集（募集は終了しました）
■日 程： 2015年5月26日（火）～ 27日（水）
■場 所： ルネッサンス リゾート オキナワ （〒904-0416 沖縄県国頭郡恩納村山田3425-2）
■発表申込締切： 2015年4月20日（月）23：59締切
■最終原稿締切： 2015年5月 6日（水）23：59締切
※23時59分を過ぎるとシステムに投稿できなくなります．
締切に遅れると発表キャンセルとなりますのでご注意ください．
また，フォントの埋め込みがされていないとアラートが出ます．
お早目にご投稿いただきますようお願い致します．
■推奨ページ数： 6～8ページ（ただし，ページ超過／ページ不足に制限を設けない）
■発表申込方法：以下のURLの「発表申込」メニューよりお申込ください．
ARC研究会 ： https://ipsj1.i-product.biz/ipsjsig/ARC/
OS研究会 ： https://ipsj1.i-product.biz/ipsjsig/OS/
※ ARC研究会へお申込みの場合、「研究会への連絡事項」欄で以下の2点についてご回答ください．
1. 生年月日（ 年 月 日）
若手賞などの受賞資格の確認のためにのみ使用します．
記載がない場合，審査対象から外れる場合があります．
※ システム・アーキテクチャ研究会若手奨励賞 表彰規定： http://sigarc.ipsj.or.jp/award/rule/
2. 発表撮影可（可 / 否）
研究会当日の発表（スライド等）の，静画・動画の撮影の可否．
記載がない場合，撮影は原則不可とします．
■照会先：ARC： 小野貴継（九大） takatsugu.ono"at"cpc.ait.kyushu-u.ac.jp
OS ： 高野了成（産総研） takano-ryousei"at"aist.go.jp
■場 所： ルネッサンス リゾート オキナワ （〒904-0416 沖縄県国頭郡恩納村山田3425-2）
■発表申込締切： 2015年4月20日（月）23：59締切
■最終原稿締切： 2015年5月 6日（水）23：59締切
※23時59分を過ぎるとシステムに投稿できなくなります．
締切に遅れると発表キャンセルとなりますのでご注意ください．
また，フォントの埋め込みがされていないとアラートが出ます．
お早目にご投稿いただきますようお願い致します．
■推奨ページ数： 6～8ページ（ただし，ページ超過／ページ不足に制限を設けない）
■発表申込方法：以下のURLの「発表申込」メニューよりお申込ください．
ARC研究会 ： https://ipsj1.i-product.biz/ipsjsig/ARC/
OS研究会 ： https://ipsj1.i-product.biz/ipsjsig/OS/
※ ARC研究会へお申込みの場合、「研究会への連絡事項」欄で以下の2点についてご回答ください．
1. 生年月日（ 年 月 日）
若手賞などの受賞資格の確認のためにのみ使用します．
記載がない場合，審査対象から外れる場合があります．
※ システム・アーキテクチャ研究会若手奨励賞 表彰規定： http://sigarc.ipsj.or.jp/award/rule/
2. 発表撮影可（可 / 否）
研究会当日の発表（スライド等）の，静画・動画の撮影の可否．
記載がない場合，撮影は原則不可とします．
■照会先：ARC： 小野貴継（九大） takatsugu.ono"at"cpc.ait.kyushu-u.ac.jp
OS ： 高野了成（産総研） takano-ryousei"at"aist.go.jp