- 追加された行はこの色です。
- 削除された行はこの色です。
#author("2020-05-08T22:51:47+09:00","default:sigos-ipsj","sigos-ipsj")
#author("2020-05-25T11:15:34+09:00;2020-05-25T10:44:17+09:00","default:sigos-ipsj","sigos-ipsj")
* 2020年5月研究会（第149回 システムソフトウェアとオペレーティング・システム研究会）
|CENTER:|>|c
|日時|2020年5月28日(木)%%〜5月29日(金)%%|
|場所|オンライン開催 %%[[那覇市IT創造館:http://www.it-souzou.jp/]] 大会議室%%|
|~|%%[[ 〒900-0004 沖縄県那覇市銘苅2丁目3-6:http://www.it-souzou.jp/%E5%9C%B0%E5%9B%B3]]%%|
|主催|情報処理学会 システムソフトウェアとオペレーティング・システム（OS）研究会|
|テーマ| システムソフトウェア一般|
|発表申込締切|2020年4月16日(木) 23:59締切|
|発表原稿締切|2020年5月7日(木) 23:59締切|
|照会先|佐藤 将也 (岡山大学)|
|~|Email：sato あっと cs.okayama-u.ac.jp|
|~|（" あっと " を "@" に直して下さい）|
|ローカルアレンジメント|河野真治（琉球大学）|
#br
#br
|[[ニュース>#news]]|[[最優秀若手発表賞・優秀若手発表賞>#award]]|[[参加者アンケート>#questionnaire]]|[[プログラム>#program]]|[[参加申込み>#participation]]|[[論文募集要項>#CFP]]|[[発表申込み>#submit]]|
* ニュース &aname(news);
- 2020/5/25 オンライン研究会への参加方法を記載しました．
- 2020/5/25 座長情報を掲載しました．
- 2020/4/27 暫定プログラムを公開しました．また，開催期間が1日(5/28)に短縮されましたので，よろしくお願いいたします．
- 2020/4/13 オンラインへの開催変更のアナウンスを記載しました．
- 2020/3/31 オンライン開催への移行の可能性，および発表できなかった場合の補完措置がないことを記載しました．
- 2020/3/31 ホームページを開設しました．
* お知らせ &aname(news2);
新型コロナウイルスの感染拡大の状況に鑑み，大変残念ではありますが，5月の第149回システムソフトウェアとオペレーティング・システム研究会は，オンラインで開催することにいたしました．
多数の発表申込とご参加をお待ちしております．
研究会の開催期間を，1日（5/28）に短縮いたしました．
なお，オンライン開催の実施方法は，決まり次第，アナウンスいたします．
// なお，オンライン開催の実施方法は，決まり次第，アナウンスいたします．
(5/25追記) オンライン開催の研究会に参加するには，情報処理学会のマイページから参加申込する必要があります．
詳しくは，情報処理学会の第149回OS研究会のページを参照の上，参加申込をお願いいたします．
[[https://www.ipsj.or.jp/kenkyukai/event/os149.html]]
// 本会主催イベントにおける新型コロナウイルス感染症への対策について
//
// https://www.ipsj.or.jp/topics/coronavirus.html
//
// 原稿投稿締め切り前の研究発表会については，オンライン開催に移行する可能性があります．
// また，通常・オンラインのいずれの開催形態になっても，発表できなかった場合の補完措置はありません．
// * 参加申込み &aname(participation);
* 参加申込み &aname(participation);
情報処理学会の[[こちらのページ:https://www.ipsj.or.jp/kenkyukai/event/os149.html]]を参考に，情報処理学会のマイページから参加申込をお願いします．
情報処理学会の非会員の方もマイページを開設できます．詳しくは，情報処理学会のページをご参照ください．
// 事前の参加申込みは不要です．直接会場にお越し下さい．
// 参加費については，下記のページをご参照ください．
// -http://www.ipsj.or.jp/kenkyukai/sanka.html
// * 宿泊 &aname(hotel);
// 各自で手配をお願いします．
* プログラム &aname(program);
発表時間は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分) 運営委員会(運営委員のみ)
* 発表申込み &aname(submit);
以下のURLの「発表申込」メニューよりお申し込みください．
-https://ipsj1.i-product.biz/ipsjsig/OS/
発表申込の受付は，終了しました．
// -https://ipsj1.i-product.biz/ipsjsig/OS/
* 論文募集要項 &aname(CFP);
========================================================================
情報処理学会
第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（あっとを @ に置き換えてください）
![[PukiWiki]](image/sigos.png "[PukiWiki]")
