2020年5月研究会
をテンプレートにして作成
開始行:
* 2020年5月研究会（第149回 システムソフトウェアとオペレー...
|CENTER:|>|c
|日時|2020年5月28日(木)%%〜5月29日(金)%%|
|場所|オンライン開催 %%[[那覇市IT創造館:http://www.it-so...
|~|%%[[ 〒900-0004 沖縄県那覇市銘苅2丁目3-6:http://www.it...
|主催|情報処理学会 システムソフトウェアとオペレーティング...
|テーマ| システムソフトウェア一般|
|発表申込締切|2020年4月16日(木) 23:59締切|
|発表原稿締切|2020年5月7日(木) 23:59締切|
|照会先|佐藤 将也 (岡山大学)|
|~|Email：sato あっと cs.okayama-u.ac.jp|
|~|（" あっと " を "@" に直して下さい）|
|ローカルアレンジメント|河野真治（琉球大学）|
#br
#br
|[[ニュース>#news]]|[[最優秀若手発表賞・優秀若手発表賞>#a...
* ニュース &aname(news);
- 2020/6/9 最優秀若手発表賞受賞者の情報を掲載しました．
- 2020/5/28 [[最優秀若手発表賞・優秀若手発表賞>#award]]の...
- 2020/5/25 オンライン研究会への[[参加方法>#participation...
- 2020/5/25 [[座長情報>#program]]を掲載しました．
- 2020/4/27 暫定プログラムを公開しました．また，開催期間...
- 2020/4/13 オンラインへの開催変更のアナウンスを記載しま...
- 2020/3/31 オンライン開催への移行の可能性，および発表で...
- 2020/3/31 ホームページを開設しました．
* お知らせ &aname(news2);
新型コロナウイルスの感染拡大の状況に鑑み，大変残念ではあ...
多数の発表申込とご参加をお待ちしております．
研究会の開催期間を，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(award);
これまでのOS研究会では各研究会・シンポジウムで1名の最優秀...
今回の研究会の最優秀若手発表賞・優秀若手発表賞の投票は
// -[[こちら:https://forms.gle/PG6j6JLBQrZSfuzT6]]
- こちら
からお願いいたします．候補者リストの中から優れた内容・発...
審査の結果，以下のが最優秀若手発表賞に決まりました．
- 鈴木 慶汰 (慶應義塾大学)，エラーコード解析を用いた構造...
* 参加申込み &aname(participation);
情報処理学会の[[こちらのページ:https://www.ipsj.or.jp/ken...
情報処理学会の非会員の方もマイページを開設できます．詳し...
// 事前の参加申込みは不要です．直接会場にお越し下さい．
// 参加費については，下記のページをご参照ください．
// -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/
* 論文募集要項 &aname(CFP);
========================================================...
情報処理学会
第149回 システムソフトウェアとオペレーティング・システム...
発表論文募集のお知らせ
主査 光来 健一
幹事 尾上 浩一・杉木 章義・田所 秀和・山内 利宏
========================================================...
情報処理学会システムソフトウェアとオペレーティング・シス...
が主催する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（あっとを @ に置き換え...
終了行:
* 2020年5月研究会（第149回 システムソフトウェアとオペレー...
|CENTER:|>|c
|日時|2020年5月28日(木)%%〜5月29日(金)%%|
|場所|オンライン開催 %%[[那覇市IT創造館:http://www.it-so...
|~|%%[[ 〒900-0004 沖縄県那覇市銘苅2丁目3-6:http://www.it...
|主催|情報処理学会 システムソフトウェアとオペレーティング...
|テーマ| システムソフトウェア一般|
|発表申込締切|2020年4月16日(木) 23:59締切|
|発表原稿締切|2020年5月7日(木) 23:59締切|
|照会先|佐藤 将也 (岡山大学)|
|~|Email：sato あっと cs.okayama-u.ac.jp|
|~|（" あっと " を "@" に直して下さい）|
|ローカルアレンジメント|河野真治（琉球大学）|
#br
#br
|[[ニュース>#news]]|[[最優秀若手発表賞・優秀若手発表賞>#a...
* ニュース &aname(news);
- 2020/6/9 最優秀若手発表賞受賞者の情報を掲載しました．
- 2020/5/28 [[最優秀若手発表賞・優秀若手発表賞>#award]]の...
- 2020/5/25 オンライン研究会への[[参加方法>#participation...
- 2020/5/25 [[座長情報>#program]]を掲載しました．
- 2020/4/27 暫定プログラムを公開しました．また，開催期間...
- 2020/4/13 オンラインへの開催変更のアナウンスを記載しま...
- 2020/3/31 オンライン開催への移行の可能性，および発表で...
- 2020/3/31 ホームページを開設しました．
* お知らせ &aname(news2);
新型コロナウイルスの感染拡大の状況に鑑み，大変残念ではあ...
多数の発表申込とご参加をお待ちしております．
研究会の開催期間を，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(award);
これまでのOS研究会では各研究会・シンポジウムで1名の最優秀...
今回の研究会の最優秀若手発表賞・優秀若手発表賞の投票は
// -[[こちら:https://forms.gle/PG6j6JLBQrZSfuzT6]]
- こちら
からお願いいたします．候補者リストの中から優れた内容・発...
審査の結果，以下のが最優秀若手発表賞に決まりました．
- 鈴木 慶汰 (慶應義塾大学)，エラーコード解析を用いた構造...
* 参加申込み &aname(participation);
情報処理学会の[[こちらのページ:https://www.ipsj.or.jp/ken...
情報処理学会の非会員の方もマイページを開設できます．詳し...
// 事前の参加申込みは不要です．直接会場にお越し下さい．
// 参加費については，下記のページをご参照ください．
// -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/
* 論文募集要項 &aname(CFP);
========================================================...
情報処理学会
第149回 システムソフトウェアとオペレーティング・システム...
発表論文募集のお知らせ
主査 光来 健一
幹事 尾上 浩一・杉木 章義・田所 秀和・山内 利宏
========================================================...
情報処理学会システムソフトウェアとオペレーティング・シス...
が主催する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]")
