第162回OS研究発表会
第162回システムソフトウェアとオペレーティング・システム研究発表会
本研究発表会は現地開催とオンラインを併用したハイブリット開催で行います。
参加を希望される方は，以下「参加申込」をご参照の上，情報処理学会マイページから参加申込をお願いいたします（当日でも申込可能です）．当日現地で参加される方も，現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします（参加費も会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします）．非会員の方もマイページを開設してお申し込みください．参加申込をしていただくと，ZoomのミーティングURLや研究報告のダウンロード方法を記載したメールをお送りします．参加費無料の研究会登録会員/ジュニア会員もURLの取得と参加者数の把握のため，マイページより参加申込をしてくださいますようお願いいたします．
参考資料：全国大会時のZoom利用の手引き
参加を希望される方は，以下「参加申込」をご参照の上，情報処理学会マイページから参加申込をお願いいたします（当日でも申込可能です）．当日現地で参加される方も，現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします（参加費も会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします）．非会員の方もマイページを開設してお申し込みください．参加申込をしていただくと，ZoomのミーティングURLや研究報告のダウンロード方法を記載したメールをお送りします．参加費無料の研究会登録会員/ジュニア会員もURLの取得と参加者数の把握のため，マイページより参加申込をしてくださいますようお願いいたします．
参考資料：全国大会時のZoom利用の手引き
参加申込のご案内
日 程 ：
2024年2月19日(月)～20日(火)
場 所 ：
石川県政記念 しいのき迎賓館 および オンライン のハイブリッド開催
〒730-0051 石川県金沢市広坂2丁目1番1号
申込締切 ： 2024年2月20日
※当日会場で参加される方も、現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします。
※当日まで申込可能ですが、現在非会員の方などはマイページ開設にお時間がかかる場合もございます。また、参加申込返信メールが迷惑メールと判定されてメール不達となることもありますので、お早目にお申込みくださいますようお願いいたします（メールが届かない場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みしてください（お申込み情報は上書きされます））。
参加費：
申込方法 ：
＊＊お申込みの際の注意事項＊＊
研究報告について：
参加申込をしていただいた方にお送りするメールに、研究報告をダウンロードするためのID・パスワード等を記載しております。
研究会登録会員の方は 電子図書館(情報学広場) からもダウンロード可能です。
研究報告は開催初日の1週間前（＝公知日）に公開となります。
領収書について：
領収書は入金後にマイページよりダウンロード出来ます。
領収書は1回しか発行できませんので、日付、宛名、但し書きをよく確認してから発行してください。
クレジットカード決済の場合は即時発行が可能ですが、それ以外は入金済になるまで2～14営業日程かかります。
参考）マイページの利用方法：お支払い ／ マイページに関するよくある質問
参加申込に関する照会先：
〒101-0062 東京都千代田区神田駿河台1-5 化学会館4F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig"at"ipsj.or.jp
その他の照会先：
穐山 空道（立命館大学）
s-akym"at"fc.ritsumei.ac.jp（"at"を@に置き換えてください）
※その他 研究会Webページ もご確認ください。
2024年2月19日(月)～20日(火)
場 所 ：
石川県政記念 しいのき迎賓館 および オンライン のハイブリッド開催
〒730-0051 石川県金沢市広坂2丁目1番1号
申込締切 ： 2024年2月20日
※当日会場で参加される方も、現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします。
※当日まで申込可能ですが、現在非会員の方などはマイページ開設にお時間がかかる場合もございます。また、参加申込返信メールが迷惑メールと判定されてメール不達となることもありますので、お早目にお申込みくださいますようお願いいたします（メールが届かない場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みしてください（お申込み情報は上書きされます））。
参加費：
|
参加費（研究報告／税込）
|
|
|---|---|
| 参加種別 | 金額 |
| OS研究会登録会員／ジュニア会員 | 0円 |
| 情報処理学会名誉会員、正会員、賛助会員 | 2,200円 |
| 情報処理学会学生会員 | 1,100円 |
| 非会員(一般) | 3,300円 |
| 非会員(学生) | 1,650円 |
申込方法 ：
| 以下アイコンのいずれかよりお申込みください。 ※非会員の方もマイページ開設が必要です。開設には費用はかかりません。    |
＊＊お申込みの際の注意事項＊＊
- 参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。 参考） 情報処理学会プライバシーポリシー
- 参加費のお支払いはマイページより2月27日(火)までにお願いいたします。当日現地で参加される方も、会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします。請求書・見積書・納品書・領収書もマイページよりダウンロード可能です。 参考） マイページの利用方法：お支払い
- 参加申込返信メールが迷惑メールと判定されてメール不達となることがございます。その場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みください（お申込み情報は上書きされます）。
- 参加申込後は申込キャンセルは出来ませんのでご注意ください。また、ご入金後の返金もいたしかねますので、参加種別等をご確認の上お申し込みください。
研究報告について：
参加申込をしていただいた方にお送りするメールに、研究報告をダウンロードするためのID・パスワード等を記載しております。
研究会登録会員の方は 電子図書館(情報学広場) からもダウンロード可能です。
研究報告は開催初日の1週間前（＝公知日）に公開となります。
領収書について：
領収書は入金後にマイページよりダウンロード出来ます。
領収書は1回しか発行できませんので、日付、宛名、但し書きをよく確認してから発行してください。
クレジットカード決済の場合は即時発行が可能ですが、それ以外は入金済になるまで2～14営業日程かかります。
参考）マイページの利用方法：お支払い ／ マイページに関するよくある質問
参加申込に関する照会先：
〒101-0062 東京都千代田区神田駿河台1-5 化学会館4F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig"at"ipsj.or.jp
その他の照会先：
穐山 空道（立命館大学）
s-akym"at"fc.ritsumei.ac.jp（"at"を@に置き換えてください）
※その他 研究会Webページ もご確認ください。
プログラム
2月19日（月） （1日目）
□9:50-10:00 オープニング
■10:00-11:30 セッション1 （仮想化） 座長：深井貴明（産業技術総合研究所）
(1) VM外でのコンテナマイグレーションのための状態保存機構
朝倉 優輝（九州工業大学）, 光来 健一（九州工業大学）
(2) IOアクセスパターンの変化に応じて構成変更可能なKernel driverの設計と実装
大江 和一（国立情報学研究所）, 合田 憲人（国立情報学研究所）
(3) 透過的なコンテナ内コンテナ環境のための入れ子型オーバレイファイルシステムの提案
横山 文施（法政大学）, 石黒 健太（法政大学）, 廣津 登志夫（法政大学）
-- 11:30-13:00 昼食（各自）--
■13:00-14:30 セッション2 （ネットワーク） 座長：佐藤将也（岡山県立大学）
(4) Precision Time Protocolにおける通信遅延補正処理のモジュール化
小堀 和人（法政大学大学院）, 李 忠翰（トヨタ自動車株式会社）, 廣津 登志夫（法政大学）
(5) シンボル情報の解析によるイーサネットデバイスドライバとLinux kernelの依存調査
伊藤 大智（立命館大学）, 中野 颯（アドソル日進株式会社）, 井内 晴菜（アドソル日進株式会社）, 福田 泰平（アドソル日進株式会社）, 毛利 公一（立命館大学）
(6) I/O デバイス内部の汎用プロセッサにおける軽量な隔離実行環境
森 真誠（産業技術総合研究所 / 東京都立大学）, 深井 貴明（産業技術総合研究所）, 広渕 崇宏（産業技術総合研究所）, 朝香 卓也（東京都立大学）
■14:45-16:15 セッション3 （一貫性制御） 座長：毛利公一（立命館大学）
(7) Automatic Verification of Concurrency Memory Bugs in Linux Kernel Modules by transpilation to PlusCal
服部 穣（東京大学）, 高野 祐輝（TIER IV）, 小林 直樹（東京大学）
(8) 早期依存解決による決定論的並行性制御法の高速化
宮﨑 祐介（慶應義塾大学）, 星野 喬（サイボウズ・ラボ）, 川島 英之（慶應義塾大学）
(9) SiloSF: Concurrency Control Protocol with Lightweight Priority Control
土岐 紘大（慶應義塾大学）, 星野 喬（サイボウズ・ラボ）, 川島 英之（慶應義塾大学）
■16:30-17:30 セッション4 （セキュリティ） 座長：穐山空道（立命館大学）
(10) Linuxにおける動的リンカを用いたDynamic Linker Hijackingの検出
奥 若菜（立命館大学）, 金城 聖（立命館大学）, 毛利 公一（立命館大学）
(11) 仮想計算機モニタによる複数OSに対応したシステムコール検知箇所推定手法の評価
佐藤 将也（岡山県立大学）, 大森 卓（岡山県立大学）, 山内 利宏（岡山大学）, 谷口 秀夫（岡山大学）
2月20日（火）（2日目）
■10:00-11:30 セッション5 （ビッグデータ） 座長：山内利宏（岡山大学）
(12) 低遅延分散データベースのためのメンバーシップ管理手法の検討
田中 昌宏（慶應義塾大学）, 川島 英之（慶應義塾大学）
(13) バッチ最適化法によるBFTデータベースの高性能化
木田 碧（慶應義塾大学）, 川島 英之（慶應義塾大学）
(14) コピーオンライトを考慮したHugepage管理機構
笠原 一真（東京農工大学）, 山田 浩史（東京農工大学）
-- 11:30-13:00 昼食（各自）--
■13:00 - 14:00 セッション6 （高速化） 座長：山田浩史（東京農工大学）
(15) HPCにおけるGang Schedulingの切替間隔動的変更手法
西本 伊織（岡山大学）, 山内 利宏（岡山大学）, 小林 諭（岡山大学）, 加藤 純（富士通），三輪 真弘（富士通），谷口 秀夫（岡山大学）
(16) Serial Safety NetにおけるTransaction Repairの設計と実装
髙田 陽一郎（慶應義塾大学）, 中園 翔（LINEヤフー株式会社）, 川島 英之（慶應義塾大学）
■14:15-15:15 若手招待講演 座長：品川高廣（東京大学）
(17) 次世代情報システムに向けたOS/仮想化技術に関する研究並びにドイツでの研究生活
味曽野 雅史（TU Munich）
□15:15 - 15:30 クロージング
※発表時間は1件30分（発表20分強、質疑10分弱）
□9:50-10:00 オープニング
■10:00-11:30 セッション1 （仮想化） 座長：深井貴明（産業技術総合研究所）
(1) VM外でのコンテナマイグレーションのための状態保存機構
朝倉 優輝（九州工業大学）, 光来 健一（九州工業大学）
(2) IOアクセスパターンの変化に応じて構成変更可能なKernel driverの設計と実装
大江 和一（国立情報学研究所）, 合田 憲人（国立情報学研究所）
(3) 透過的なコンテナ内コンテナ環境のための入れ子型オーバレイファイルシステムの提案
横山 文施（法政大学）, 石黒 健太（法政大学）, 廣津 登志夫（法政大学）
-- 11:30-13:00 昼食（各自）--
■13:00-14:30 セッション2 （ネットワーク） 座長：佐藤将也（岡山県立大学）
(4) Precision Time Protocolにおける通信遅延補正処理のモジュール化
小堀 和人（法政大学大学院）, 李 忠翰（トヨタ自動車株式会社）, 廣津 登志夫（法政大学）
(5) シンボル情報の解析によるイーサネットデバイスドライバとLinux kernelの依存調査
伊藤 大智（立命館大学）, 中野 颯（アドソル日進株式会社）, 井内 晴菜（アドソル日進株式会社）, 福田 泰平（アドソル日進株式会社）, 毛利 公一（立命館大学）
(6) I/O デバイス内部の汎用プロセッサにおける軽量な隔離実行環境
森 真誠（産業技術総合研究所 / 東京都立大学）, 深井 貴明（産業技術総合研究所）, 広渕 崇宏（産業技術総合研究所）, 朝香 卓也（東京都立大学）
■14:45-16:15 セッション3 （一貫性制御） 座長：毛利公一（立命館大学）
(7) Automatic Verification of Concurrency Memory Bugs in Linux Kernel Modules by transpilation to PlusCal
服部 穣（東京大学）, 高野 祐輝（TIER IV）, 小林 直樹（東京大学）
(8) 早期依存解決による決定論的並行性制御法の高速化
宮﨑 祐介（慶應義塾大学）, 星野 喬（サイボウズ・ラボ）, 川島 英之（慶應義塾大学）
(9) SiloSF: Concurrency Control Protocol with Lightweight Priority Control
土岐 紘大（慶應義塾大学）, 星野 喬（サイボウズ・ラボ）, 川島 英之（慶應義塾大学）
■16:30-17:30 セッション4 （セキュリティ） 座長：穐山空道（立命館大学）
(10) Linuxにおける動的リンカを用いたDynamic Linker Hijackingの検出
奥 若菜（立命館大学）, 金城 聖（立命館大学）, 毛利 公一（立命館大学）
(11) 仮想計算機モニタによる複数OSに対応したシステムコール検知箇所推定手法の評価
佐藤 将也（岡山県立大学）, 大森 卓（岡山県立大学）, 山内 利宏（岡山大学）, 谷口 秀夫（岡山大学）
2月20日（火）（2日目）
■10:00-11:30 セッション5 （ビッグデータ） 座長：山内利宏（岡山大学）
(12) 低遅延分散データベースのためのメンバーシップ管理手法の検討
田中 昌宏（慶應義塾大学）, 川島 英之（慶應義塾大学）
(13) バッチ最適化法によるBFTデータベースの高性能化
木田 碧（慶應義塾大学）, 川島 英之（慶應義塾大学）
(14) コピーオンライトを考慮したHugepage管理機構
笠原 一真（東京農工大学）, 山田 浩史（東京農工大学）
-- 11:30-13:00 昼食（各自）--
■13:00 - 14:00 セッション6 （高速化） 座長：山田浩史（東京農工大学）
(15) HPCにおけるGang Schedulingの切替間隔動的変更手法
西本 伊織（岡山大学）, 山内 利宏（岡山大学）, 小林 諭（岡山大学）, 加藤 純（富士通），三輪 真弘（富士通），谷口 秀夫（岡山大学）
(16) Serial Safety NetにおけるTransaction Repairの設計と実装
髙田 陽一郎（慶應義塾大学）, 中園 翔（LINEヤフー株式会社）, 川島 英之（慶應義塾大学）
■14:15-15:15 若手招待講演 座長：品川高廣（東京大学）
(17) 次世代情報システムに向けたOS/仮想化技術に関する研究並びにドイツでの研究生活
味曽野 雅史（TU Munich）
□15:15 - 15:30 クロージング
※発表時間は1件30分（発表20分強、質疑10分弱）
発表募集のご案内（終了しました）
原稿締切厳守 ！
- 原稿締切日の24時を過ぎるとシステムに投稿が出来なくなり、発表も取り消しとなりますのでご注意ください。
- 原稿締切までは何度でもご自身でアップロード可能です（締切後は、原稿の差替え（再アップロード）、発表の取り消しもできませんのでご注意ください）。
- フォントが正しく埋め込まれていないといったトラブルもありますので、早めに一度アップロードされることをお勧めします。
========================================================================
情報処理学会
第162回 システムソフトウェアとオペレーティング・システム研究会 (OS)
発表論文募集のお知らせ
主査 品川 高廣
幹事 田所 秀和・松原 克弥・川島 英之・穐山 空道・佐藤 将也
情報処理学会
第162回 システムソフトウェアとオペレーティング・システム研究会 (OS)
発表論文募集のお知らせ
主査 品川 高廣
幹事 田所 秀和・松原 克弥・川島 英之・穐山 空道・佐藤 将也
========================================================================
情報処理学会システムソフトウェアとオペレーティング・システム(OS)研究会は研究会を開催いたします．
システムソフトウェア全般に関する，先進的・萌芽的な研究の発表を是非ご検討ください．また，初期段階の研究報告も歓迎します．
テーマ ：
システムソフトウェア一般
日 程 ：
2024年2月19日(月)～20日(火)
形 式 ：
石川県政記念 しいのき迎賓館 および オンライン のハイブリッド開催を予定
発表形式：
[一般発表]
システムソフトウェアに関する最新の研究成果を論文及び口頭で発表していただきます．
重要日程：
発表申込〆切：2024年1月15日(月) 23:59
論文原稿〆切：2024年1月29日(月) 23:59 締切厳守
※23時59分を過ぎるとシステムに投稿できなくなります．
締切に遅れると発表キャンセルとなりますのでご注意ください．
また，フォントの埋め込みがされていないとアラートが出ます．
お早目にご投稿いただきますようお願い致します．
発表申込：
下記URLよりお申し込みください．
申し込み件数が多い場合には，登録会員優先，先着順等で発表件数を限らせていただくこともございます．
また，本合同研究会の趣旨，参加者の興味にあわない発表は，お断りさせていただくことがあります．あらかじめご了承下さい．
https://ipsj1.i-product.biz/ipsjsig/OS/
照会先 ：
穐山 空道（立命館大学）
s-akym あっと fc.ritsumei.ac.jp（あっとを @ に置き換えてください）
システムソフトウェア全般に関する，先進的・萌芽的な研究の発表を是非ご検討ください．また，初期段階の研究報告も歓迎します．
テーマ ：
システムソフトウェア一般
日 程 ：
2024年2月19日(月)～20日(火)
形 式 ：
石川県政記念 しいのき迎賓館 および オンライン のハイブリッド開催を予定
発表形式：
[一般発表]
システムソフトウェアに関する最新の研究成果を論文及び口頭で発表していただきます．
重要日程：
発表申込〆切：2024年1月15日(月) 23:59
論文原稿〆切：2024年1月29日(月) 23:59 締切厳守
※23時59分を過ぎるとシステムに投稿できなくなります．
締切に遅れると発表キャンセルとなりますのでご注意ください．
また，フォントの埋め込みがされていないとアラートが出ます．
お早目にご投稿いただきますようお願い致します．
発表申込：
下記URLよりお申し込みください．
申し込み件数が多い場合には，登録会員優先，先着順等で発表件数を限らせていただくこともございます．
また，本合同研究会の趣旨，参加者の興味にあわない発表は，お断りさせていただくことがあります．あらかじめご了承下さい．
https://ipsj1.i-product.biz/ipsjsig/OS/
照会先 ：
穐山 空道（立命館大学）
s-akym あっと fc.ritsumei.ac.jp（あっとを @ に置き換えてください）
その他
- 個人情報について：
発表申込・参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。同意いただいたうえでお申し込みください。なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。
参考） 情報処理学会プライバシーポリシー - 研究会主催のイベントが開催されない場合の対応について：
https://www.ipsj.or.jp/kenkyukai/sig-event-cancel.html