2020年5月研究会(第149回 システムソフトウェアとオペレーティング・システム研究会)

日時2020年5月28日(木)〜5月29日(金)
場所オンライン開催 那覇市IT創造館 大会議室
〒900-0004 沖縄県那覇市銘苅2丁目3-6
主催情報処理学会 システムソフトウェアとオペレーティング・システム(OS)研究会
テーマシステムソフトウェア一般
発表申込締切2020年4月16日(木) 23:59締切
発表原稿締切2020年5月7日(木) 23:59締切
照会先佐藤 将也 (岡山大学)
Email:sato あっと cs.okayama-u.ac.jp
(" あっと " を "@" に直して下さい)
ローカルアレンジメント河野真治(琉球大学)
 
 

ニュース

  • 2020/5/25 オンライン研究会への参加方法を記載しました.
  • 2020/5/25 座長情報を掲載しました.
  • 2020/4/27 暫定プログラムを公開しました.また,開催期間が1日(5/28)に短縮されましたので,よろしくお願いいたします.
  • 2020/4/13 オンラインへの開催変更のアナウンスを記載しました.
  • 2020/3/31 オンライン開催への移行の可能性,および発表できなかった場合の補完措置がないことを記載しました.
  • 2020/3/31 ホームページを開設しました.

お知らせ

新型コロナウイルスの感染拡大の状況に鑑み,大変残念ではありますが,5月の第149回システムソフトウェアとオペレーティング・システム研究会は,オンラインで開催することにいたしました.

多数の発表申込とご参加をお待ちしております.

研究会の開催期間を,1日(5/28)に短縮いたしました.

(5/25追記) オンライン開催の研究会に参加するには,情報処理学会のマイページから参加申込する必要があります. 詳しくは,情報処理学会の第149回OS研究会のページを参照の上,参加申込をお願いいたします. https://www.ipsj.or.jp/kenkyukai/event/os149.html

参加申込み

情報処理学会のこちらのページを参考に,情報処理学会のマイページから参加申込をお願いします. 情報処理学会の非会員の方もマイページを開設できます.詳しくは,情報処理学会のページをご参照ください.

プログラム

発表時間は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(あっとを @ に置き換えてください)

リロード   新規 編集 凍結 差分 添付 複製 改名   トップ 一覧 検索 最終更新 バックアップ   ヘルプ   最終更新のRSS
Last-modified: 2020-05-25 (月) 10:44:17