![[PukiWiki]](image/sigos.png "[PukiWiki]")
2020年5月研究会（第149回 システムソフトウェアとオペレーティング・システム研究会）
ニュース
お知らせ新型コロナウイルスの感染拡大の状況に鑑み，大変残念ではありますが，5月の第149回システムソフトウェアとオペレーティング・システム研究会は，オンラインで開催することにいたしました． 多数の発表申込とご参加をお待ちしております． 研究会の開催期間を，1日（5/28）に短縮いたしました． (5/25追記) オンライン開催の研究会に参加するには，情報処理学会のマイページから参加申込する必要があります． 詳しくは，情報処理学会の第149回OS研究会のページを参照の上，参加申込をお願いいたします． https://www.ipsj.or.jp/kenkyukai/event/os149.html 最優秀若手発表賞・優秀若手発表賞これまでのOS研究会では各研究会・シンポジウムで1名の最優秀学生発表賞を選出してまいりました．投稿者・発表者のモチベーションを上げ，研究会をさらに活性化させていくために，今回のOS研究会から，受賞の対象者と受賞者数を拡大し，従来の最優秀学生発表賞から最優秀若手発表賞・優秀若手発表賞に変更します．最優秀若手発表賞・優秀発表賞の授賞規定はこちらを参照ください． 今回の研究会の最優秀若手発表賞・優秀若手発表賞の投票は
からお願いいたします．候補者リストの中から優れた内容・発表であると思われるものを3つ以内で選択してください．さらに，山下記念研究賞の選定の参考にさせていただくために，若手発表賞の対象外の発表の中からも優れていると思われる発表をひとつ選択してください（該当なしの選択も可能です）． 審査の結果，以下のが最優秀若手発表賞に決まりました．
参加申込み情報処理学会のこちらのページを参考に，情報処理学会のマイページから参加申込をお願いします． 情報処理学会の非会員の方もマイページを開設できます．詳しくは，情報処理学会のページをご参照ください． プログラム発表時間は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（あっとを @ に置き換えてください） |
