日時 | 2020年5月28日(木) |
場所 | オンライン開催 |
主催 | 情報処理学会 システムソフトウェアとオペレーティング・システム(OS)研究会 |
テーマ | システムソフトウェア一般 |
発表申込締切 | 2020年4月16日(木) 23:59締切 |
発表原稿締切 | 2020年5月7日(木) 23:59締切 |
照会先 | 佐藤 将也 (岡山大学) |
Email:sato あっと cs.okayama-u.ac.jp | |
(" あっと " を "@" に直して下さい) | |
ローカルアレンジメント | 河野真治(琉球大学) |
新型コロナウイルスの感染拡大の状況に鑑み,大変残念ではありますが,5月の第149回システムソフトウェアとオペレーティング・システム研究会は,オンラインで開催することにいたしました.
多数の発表申込とご参加をお待ちしております.
研究会の開催期間を,1日(5/28)に短縮いたしました.
なお,オンライン開催の実施方法は,決まり次第,アナウンスいたします.
発表時間は1件30分です(質疑応答を含む).
5月28日(木) ■ 09:55 - 10:00 (05分) オープニング ■ 10:00 - 11:00 (60分) OS構成法 (01) xv6の構成要素の継続の分析 清水 隆博,河野 真治(琉球大学) (02) Gears OSでモデル検査を実現する手法について 東恩納 琢偉,奥田 光希,河野 真治(琉球大学) -- 11:00 - 11:20 (20分) 休憩 -- ■ 11:20 - 12:20 (60分) 仮想化・言語処理系 (03) SGX向け実行環境SCONEを用いたVMの安全な監視機構 河村 拓実,光来 健一(九州工業大学) (04) JITとコンパイラを考慮したKotlin記述プログラムの性能向上 園山 敦也(工学院大学),神山 剛,福田 晃(九州大学),小口 正人(お茶の水女子大学),山口 実靖(工学院大学) -- 12:20 - 13:30 (70分) 昼食(各自) -- ■ 13:30 - 14:30 (60分) セキュリティ (05) エラーコード解析を用いた構造体メンバのメモリリークの解析 鈴木 慶汰,窪田 貴文,河野 健二(慶應義塾大学) (06) 関数ポインタの使用有無に着目した Intel CETによる攻撃ガジェットの削減 伊東 拓海,石黒 健太,河野 健二(慶應義塾大学) -- 14:30 - 14:50 (20分) 休憩 -- ■ 14:50 - 15:50 (60分) ネットワーク・効率化 (07) Multicast Wifi VNCの実装と評価 安田 亮,河野 真治(琉球大学) (OS148振替) 集約ログ転送法を用いた外部整合的トランザクション機構 堀江 悠樹,梶原 顕伍(筑波大学),川島 英之(慶應義塾大学),建部 修見(筑波大学) -- 15:50 - 15:55 (05分) クロージング ■ 16:15 - 16:45 (30分) 運営委員会(運営委員のみ)
以下のURLの「発表申込」メニューよりお申し込みください.
======================================================================== 情報処理学会 第149回 システムソフトウェアとオペレーティング・システム研究会 (OS) 発表論文募集のお知らせ 主査 光来 健一 幹事 尾上 浩一・杉木 章義・田所 秀和・山内 利宏 ======================================================================== 情報処理学会システムソフトウェアとオペレーティング・システム(OS)研究会 が主催する5月の研究会を下記の要領で開催致します. システムソフトウェア全般に関する先進的・萌芽的な研究の発表を是非ご検討 ください. テーマ: システムソフトウェア一般 日程: 2020年5月28日(木)〜29日(金) 場所: 那覇市IT創造館 http://www.it-souzou.jp/ 〒900-0004 沖縄県那覇市銘苅2丁目3-6 モノレール古島駅から徒歩8分 重要日程: 発表申込〆切:2020年4月16日(木)23:59締切 論文原稿〆切:2020年5月7日(木) 23:59締切 発表申込: 下記URLよりお申し込みください.なお,日程の都合により,登録会員優先, 先着順等で発表件数を限らせていただくこともございます.あらかじめご了 承下さい. https://ipsj1.i-product.biz/ipsjsig/OS/ 照会先: 佐藤 将也 (岡山大学) sato あっと cs.okayama-u.ac.jp(あっとを @ に置き換えてください)