第149回OS研究発表会
第149回システムソフトウェアとオペレーティング・システム研究発表会
参加を希望される方は,以下「参加申込」をご参照の上,情報処理学会マイページから参加申込をお願いいたします(当日でも申込可能です) .非会員の方もマイページを開設してお申し込みください.参加申込をしていただくと,Zoomのミーティング登録URLや研究報告のダウンロード方法を記載したメールをお送りします.参加費無料の研究会登録会員/ジュニア会員もURLの取得と参加者数の把握のため,マイページより参加申込をしてくださいますようお願いいたします.
参考資料:全国大会時のZoom利用の手引き
参加申込
申込締切 : 2020年5月28日(研究発表会当日までお申し込みいただけます)
参加費:
参加費(研究報告/税込)
|
|
---|---|
参加種別 | 金額 |
OS研究会登録会員/ジュニア会員 | 0円 |
情報処理学会名誉会員、正会員、賛助会員 | 2,000円 |
情報処理学会学生会員 | 500円 |
非会員(一般) | 3,000円 |
非会員(学生) | 1,000円 |
申込方法 :
以下アイコンのいずれかよりお申込みください。 ※非会員の方もマイページ開設が必要です。開設には費用はかかりません。 |
**お申込みの際の注意事項**
- 参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。 参考) 情報処理学会プライバシーポリシー
- 参加費のお支払いはマイページより原則6月末までにお願いいたします。請求書・見積書・納品書・領収書もマイページよりダウンロード可能です。 参考) マイページの利用方法:お支払い
- 参加申込後は申込キャンセルは出来ませんのでご注意ください。
参加申込をしていただいた方にお送りするメールに、研究報告をダウンロードするための
ID・パスワード等を記載しております。
研究会登録会員の方は 電子図書館(情報学広場) からもダウンロード可能です。
研究報告は開催初日の1週間前(=公知日)に公開となります。
領収書について:
領収書は入金後にマイページよりダウンロード出来ます。領収書は1回しか発行できません
ので、日付、宛名、但し書きをよく確認してから発行してください。クレジットカード決済
の場合は即時発行が可能ですが、それ以外は入金済になるまで2~14営業日程かかります。
参考)マイページの利用方法:お支払い / マイページに関するよくある質問
照会先:
〒101-0062 東京都千代田区神田駿河台1-5 化学会館4F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail:sig"at"ipsj.or.jp
※その他 研究会Webページ もご確認ください。
プログラム
■ 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振替) 集約ログ転送法を用いた外部整合的トランザクション機構<Vol.2020-OS-148 No.8>
堀江 悠樹,梶原 顕伍(筑波大学),川島 英之(慶應義塾大学),建部 修見(筑波大学)
-- 15:50 - 15:55 (05分) クロージング
発表募集(募集は終了しました)
情報処理学会
第149回 システムソフトウェアとオペレーティング・システム研究会 (OS)
発表論文募集のお知らせ
主査 光来 健一
幹事 尾上 浩一・杉木 章義・田所 秀和・山内 利宏
システムソフトウェア全般に関する先進的・萌芽的な研究の発表を是非ご検討ください.
日 程 : 2020年5月28日(木)~29日(金)
※オンライン開催に変更となりました。詳細は決まり次第、本ページに掲載いたします。
発表申込締切:2020年4月16日(木)23:59締切
発表原稿締切:2020年5月7日(木) 23:59締切
※23時59分を過ぎるとシステムに投稿できなくなります.
原稿締切に遅れると発表キャンセルとなりますのでご注意ください.
また,フォントの埋め込みがされていないとアラートが出ます.
お早目にご投稿いただきますようお願い致します.
推奨ページ数:
6~8ページ(ただし,ページ超過/ページ不足に制限を設けない)
発表申込方法:
下記URLよりお申し込みください.なお,日程の都合により,登録会員優先,
先着順等で発表件数を限らせていただくこともございます.あらかじめご了承下さい.
https://ipsj1.i-product.biz/ipsjsig/OS/
照会先 : 山内 利宏(岡山大学)yamauchiあっとcs.okayama-u.ac.jp
佐藤 将也(岡山大学)satoあっとcs.okayama-u.ac.jp(あっとを @ に置き換えてください)