第167回OS研究発表会
第167回システムソフトウェアとオペレーティング・システム研究発表会
本研究発表会は沖縄県男女共同参画センター【てぃるる】およびオンラインのハイブリッドで開催します．
参加を希望される方は，以下「参加申込」をご参照の上，情報処理学会マイページから参加申込をお願いいたします（当日でも申込可能です）．当日現地で参加される方も，現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします．参加費も会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします．非会員の方もマイページを開設してお申し込みください．参加申込をしていただくと，Zoomのミーティング登録URLや研究報告のダウンロード方法を記載したメールをお送りします．参加費無料の研究会登録会員/ジュニア会員もURLの取得と参加者数の把握のため，マイページより参加申込をしてくださいますようお願いいたします．
参考資料：全国大会時のZoom利用の手引き
参加を希望される方は，以下「参加申込」をご参照の上，情報処理学会マイページから参加申込をお願いいたします（当日でも申込可能です）．当日現地で参加される方も，現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします．参加費も会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします．非会員の方もマイページを開設してお申し込みください．参加申込をしていただくと，Zoomのミーティング登録URLや研究報告のダウンロード方法を記載したメールをお送りします．参加費無料の研究会登録会員/ジュニア会員もURLの取得と参加者数の把握のため，マイページより参加申込をしてくださいますようお願いいたします．
参考資料：全国大会時のZoom利用の手引き
参加申込のご案内
日 程 ： 2025年5月21日(水)～22日(木)
場 所 ： 沖縄県男女共同参画センター【てぃるる】 と オンラインの ハイブリッド形式
〒900-0036 沖縄県那覇市西3-11-1
https://www.tiruru.or.jp/about.html#access
申込締切 ： 2025年5月22日
※当日会場で参加される方も、現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします。
※当日まで申込可能ですが、現在非会員の方などはマイページ開設にお時間がかかる場合もございます。また、参加申込返信メールが迷惑メールと判定されてメール不達となることもありますので、お早目にお申込みくださいますようお願いいたします（メールが届かない場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みしてください（お申込み情報は上書きされます））。
参加費：
申込方法 ：
＊＊お申込みの際の注意事項＊＊
研究報告について：
参加申込をしていただいた方にお送りするメールに、研究報告をダウンロードするためのID・パスワード等を記載しております。
研究会登録会員の方は 電子図書館(情報学広場) からもダウンロード可能です。
研究報告は開催初日の1週間前（＝公知日）に公開となります。
領収書について：
領収書は入金後にマイページよりダウンロード出来ます。
領収書は1回しか発行できませんので、日付、宛名、但し書きをよく確認してから発行してください。
クレジットカード決済の場合は即時発行が可能ですが、それ以外は入金済になるまで2～14営業日程かかります。
参考）マイページの利用方法：お支払い ／ マイページに関するよくある質問
参加申込に関する照会先：
〒101-0062 東京都千代田区神田駿河台1-5 化学会館4F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig あっと ipsj.or.jp（あっとを @ に置き換えてください）
その他の照会先：
深井 貴明（産業技術総合研究所）
takaaki.fukai あっと aist.go.jp
※その他 研究会Webページ もご確認ください。
場 所 ： 沖縄県男女共同参画センター【てぃるる】 と オンラインの ハイブリッド形式
〒900-0036 沖縄県那覇市西3-11-1
https://www.tiruru.or.jp/about.html#access
申込締切 ： 2025年5月22日
※当日会場で参加される方も、現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします。
※当日まで申込可能ですが、現在非会員の方などはマイページ開設にお時間がかかる場合もございます。また、参加申込返信メールが迷惑メールと判定されてメール不達となることもありますので、お早目にお申込みくださいますようお願いいたします（メールが届かない場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みしてください（お申込み情報は上書きされます））。
参加費：
|
参加費（研究報告／税込）
|
|
|---|---|
| 参加種別 | 金額 |
| OS研究会登録会員／ジュニア会員 | 0円 |
| 情報処理学会名誉会員、正会員、賛助会員 | 2,200円 |
| 情報処理学会学生会員 | 1,100円 |
| 非会員(一般) | 3,300円 |
| 非会員(学生) | 1,650円 |
申込方法 ：
| 以下アイコンのいずれかよりお申込みください。 ※非会員の方もマイページ開設が必要です。開設には費用はかかりません。    |
＊＊お申込みの際の注意事項＊＊
- 参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。 なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。 参考） 情報処理学会プライバシーポリシー
- 参加費のお支払いはマイページより5月29日(木)までにお願いいたします。当日現地で参加される方も、会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします。請求書・見積書・納品書・領収書もマイページよりダウンロード可能です。 参考） マイページの利用方法：お支払い
- 参加申込返信メールが迷惑メールと判定されてメール不達となることがございます。その場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みください（お申込み情報は上書きされます）。
- 参加申込後は申込キャンセルは出来ませんのでご注意ください。また、ご入金後の返金もいたしかねますので、参加種別等をご確認の上お申し込みください。
研究報告について：
参加申込をしていただいた方にお送りするメールに、研究報告をダウンロードするためのID・パスワード等を記載しております。
研究会登録会員の方は 電子図書館(情報学広場) からもダウンロード可能です。
研究報告は開催初日の1週間前（＝公知日）に公開となります。
領収書について：
領収書は入金後にマイページよりダウンロード出来ます。
領収書は1回しか発行できませんので、日付、宛名、但し書きをよく確認してから発行してください。
クレジットカード決済の場合は即時発行が可能ですが、それ以外は入金済になるまで2～14営業日程かかります。
参考）マイページの利用方法：お支払い ／ マイページに関するよくある質問
参加申込に関する照会先：
〒101-0062 東京都千代田区神田駿河台1-5 化学会館4F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig あっと ipsj.or.jp（あっとを @ に置き換えてください）
その他の照会先：
深井 貴明（産業技術総合研究所）
takaaki.fukai あっと aist.go.jp
※その他 研究会Webページ もご確認ください。
プログラム
5月21日（水） （1日目）
□11:00-11:05 オープニング
■11:05-12:35 セッション1 (セキュリティ)
座長: TBD
(1) Unixドメインソケットを用いた強制アクセス制御の設計と実装
喜多 陽花 (お茶の水女子大学 / 情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター)， 石川 裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 大妻女子大学)， 竹房 あつ子 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 小口 正人 (お茶の水女子大学)
(2) 属性ベース暗号におけるTEEの活用に向けた検討
佐々木 怜名 (お茶の水女子大学 / 情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター)， 石川 裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 大妻女子大学)， 竹房 あつ子 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 中田 秀基 (順天堂大学)， 小口 正人 (お茶の水女子大学)
(3) RISC-V Keystoneを用いたIoT機器の安全な監視
岩野 空仁 (九州工業大学 大学院情報工学府 情報創成工学専攻)， 光来 健一 (九州工業大学 大学院情報工学研究院 情報・通信工学研究系)
□12:35-14:00 昼食 (各自)
■14:00-15:00 セッション2 (TEE)
座長: TBD
(4) ハードウェア・ソフトウェア・理論の連携によるユニバーサルTEEアーキテクチャの実現に向けて —システムソフトウェアの観点から—
石川 裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 大妻女子大学)， 木村 啓二 (早稲田大学)， 河野 健二 (慶應義塾大学)， 光来 健一 (九州工業大学)， 五島 正裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 塩谷 亮太 (東京大学)， 須崎 有康 (情報セキュリティ大学院大学)， 関山 太朗 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 高前田 伸也 (東京大学)， 竹房 あつ子 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 中條 拓伯 (東京農工大学)， 古川 潤 (日本電気株式会社)， 宮澤 慎一 (セコム株式会社)
(0) OP-TEE環境におけるTLS通信の実現
采女 竜弥 ， 廣津 登志夫 (法政大学 情報科学部)（発表キャンセル）
□15:00-15:20 休憩
■15:20-16:50 セッション3 (メモリ)
座長: TBD
(5) 専用ハードウェアエンジンによるカーネル内メモリ操作オフロード
飯田 圭祐 ， 品川 高廣 (東京大学)
(6) ビッグメモリアプリケーションに対するメモリスワッピングと疑似 CXL メモリの性能評価
貴田 駿 (慶應義塾大学)， 今村 智史 (富士通株式会社)， 河野 健二 (慶應義塾大学)
(7) ECC-uncorrectable メモリエラーに耐性を有する機械学習フレームワーク
奥 幸弘 ， 山田 浩史 (東京農工大学)
5月22日（木） （2日目）
■10:00-11:00 セッション4 (仮想化)
座長: TBD
(8) RISC-VにおけるRTOSを実行可能なハイパーバイザVioletの実機移植
鬼頭 太郎 (立命館大学)， 山本 遼介 ， 堀井 圭祐 ， 追立 真吾 (三菱電機株式会社 情報技術総合研究所)， 毛利 公一 (立命館大学)
(9) JIT/AOTコード最適化と両立するWebAssemblyライブマイグレーション実現手法の検討
中田 裕貴 (さくらインターネット株式会社/公立はこだて未来大学)， 松原 克弥 (公立はこだて未来大学)
□11:00-11:20 休憩
■11:20-12:20 セッション5 (信頼性)
座長: TBD
(10) システムコールのトランザクション化による OS カーネルの信頼性向上
水鳥 開斗 ， 山田 浩史 (東京農工大学)
(11) 包括的なカーネル差分比較による Linux タスクスケジューラの不具合検出
若林 大起 (慶應義塾大学)， 石黒 健太 (Grenoble INP - UGA)， 河野 健二 (慶應義塾大学)
□12:20-13:45 昼食 (各自)
■13:45-14:45 セッション6 (運用システム)
座長: TBD
(12) システムの挙動分析のためのリアルログ変換手法の提案
秋山 馨 ， 阿部 洋丈 ， 加藤 和彦 (筑波大学)
(13) 低運用コストを実現するJupyterHub向けクラウドバースティング技術
松本 琉大桜 (大阪大学 大学院 情報科学研究科)， 速水 智教 ， 高橋 慧智 ， 伊達 進 (大阪大学 D3センター)
□14:45-14:55 クロージング
□11:00-11:05 オープニング
■11:05-12:35 セッション1 (セキュリティ)
座長: TBD
(1) Unixドメインソケットを用いた強制アクセス制御の設計と実装
喜多 陽花 (お茶の水女子大学 / 情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター)， 石川 裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 大妻女子大学)， 竹房 あつ子 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 小口 正人 (お茶の水女子大学)
(2) 属性ベース暗号におけるTEEの活用に向けた検討
佐々木 怜名 (お茶の水女子大学 / 情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター)， 石川 裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 大妻女子大学)， 竹房 あつ子 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 中田 秀基 (順天堂大学)， 小口 正人 (お茶の水女子大学)
(3) RISC-V Keystoneを用いたIoT機器の安全な監視
岩野 空仁 (九州工業大学 大学院情報工学府 情報創成工学専攻)， 光来 健一 (九州工業大学 大学院情報工学研究院 情報・通信工学研究系)
□12:35-14:00 昼食 (各自)
■14:00-15:00 セッション2 (TEE)
座長: TBD
(4) ハードウェア・ソフトウェア・理論の連携によるユニバーサルTEEアーキテクチャの実現に向けて —システムソフトウェアの観点から—
石川 裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 大妻女子大学)， 木村 啓二 (早稲田大学)， 河野 健二 (慶應義塾大学)， 光来 健一 (九州工業大学)， 五島 正裕 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 塩谷 亮太 (東京大学)， 須崎 有康 (情報セキュリティ大学院大学)， 関山 太朗 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 高前田 伸也 (東京大学)， 竹房 あつ子 (情報・システム研究機構 データサイエンス共同利用基盤施設 セキュアコンピュータシステム研究開発センター / 情報・システム研究機構 国立情報学研究所)， 中條 拓伯 (東京農工大学)， 古川 潤 (日本電気株式会社)， 宮澤 慎一 (セコム株式会社)
□15:00-15:20 休憩
■15:20-16:50 セッション3 (メモリ)
座長: TBD
(5) 専用ハードウェアエンジンによるカーネル内メモリ操作オフロード
飯田 圭祐 ， 品川 高廣 (東京大学)
(6) ビッグメモリアプリケーションに対するメモリスワッピングと疑似 CXL メモリの性能評価
貴田 駿 (慶應義塾大学)， 今村 智史 (富士通株式会社)， 河野 健二 (慶應義塾大学)
(7) ECC-uncorrectable メモリエラーに耐性を有する機械学習フレームワーク
奥 幸弘 ， 山田 浩史 (東京農工大学)
5月22日（木） （2日目）
■10:00-11:00 セッション4 (仮想化)
座長: TBD
(8) RISC-VにおけるRTOSを実行可能なハイパーバイザVioletの実機移植
鬼頭 太郎 (立命館大学)， 山本 遼介 ， 堀井 圭祐 ， 追立 真吾 (三菱電機株式会社 情報技術総合研究所)， 毛利 公一 (立命館大学)
(9) JIT/AOTコード最適化と両立するWebAssemblyライブマイグレーション実現手法の検討
中田 裕貴 (さくらインターネット株式会社/公立はこだて未来大学)， 松原 克弥 (公立はこだて未来大学)
□11:00-11:20 休憩
■11:20-12:20 セッション5 (信頼性)
座長: TBD
(10) システムコールのトランザクション化による OS カーネルの信頼性向上
水鳥 開斗 ， 山田 浩史 (東京農工大学)
(11) 包括的なカーネル差分比較による Linux タスクスケジューラの不具合検出
若林 大起 (慶應義塾大学)， 石黒 健太 (Grenoble INP - UGA)， 河野 健二 (慶應義塾大学)
□12:20-13:45 昼食 (各自)
■13:45-14:45 セッション6 (運用システム)
座長: TBD
(12) システムの挙動分析のためのリアルログ変換手法の提案
秋山 馨 ， 阿部 洋丈 ， 加藤 和彦 (筑波大学)
(13) 低運用コストを実現するJupyterHub向けクラウドバースティング技術
松本 琉大桜 (大阪大学 大学院 情報科学研究科)， 速水 智教 ， 高橋 慧智 ， 伊達 進 (大阪大学 D3センター)
□14:45-14:55 クロージング
発表募集のご案内（終了しました）
原稿締切厳守 ！
- 原稿締切日の24時を過ぎるとシステムに投稿が出来なくなり、発表も取り消しとなりますのでご注意ください。
- 原稿締切までは何度でもご自身でアップロード可能です（締切後は、原稿の差替え（再アップロード）、発表の取り消しもできませんのでご注意ください）。
- フォントが正しく埋め込まれていないといったトラブルもありますので、早めに一度アップロードされることをお勧めします。
========================================================================
情報処理学会
第167回 システムソフトウェアとオペレーティング・システム研究会 (OS)
発表論文募集のお知らせ
主査 広渕 崇宏
幹事 川島 英之、佐藤 将也、深井 貴明、吉村 剛、田崎 創、下沢 拓
========================================================================
情報処理学会
第167回 システムソフトウェアとオペレーティング・システム研究会 (OS)
発表論文募集のお知らせ
主査 広渕 崇宏
幹事 川島 英之、佐藤 将也、深井 貴明、吉村 剛、田崎 創、下沢 拓
========================================================================
情報処理学会システムソフトウェアとオペレーティング・システム(OS)研究会は研究会を開催いたします．
システムソフトウェア全般に関する，先進的・萌芽的な研究の発表を是非ご検討ください．また，初期段階の研究報告も歓迎します．
テーマ ：
システムソフトウェア一般
日 程 ：
2025年5月21日(水)～22日(木)
場 所 ：
沖縄県男女共同参画センター【てぃるる】 および オンライン のハイブリッド開催を予定
発表形式：
[一般発表]
システムソフトウェアに関する最新の研究成果を論文及び口頭で発表していただきます。
重要日程：
発表申込〆切：2025年4月
論文原稿〆切：2025年4月28日(月) 23:59 締切厳守
※23時59分を過ぎるとシステムに投稿できなくなります。
締切に遅れると発表キャンセルとなりますのでご注意ください。
また、フォントの埋め込みがされていないとアラートが出ます。
お早目にご投稿いただきますようお願い致します。
発表申込：
下記URLよりお申し込みください。
申し込み件数が多い場合には、登録会員優先、先着順等で発表件数を限らせていただくこともございます。
また、本研究会の趣旨、参加者の興味にあわない発表は、お断りさせていただくことがあります。あらかじめご了承下さい。
https://ipsj1.i-product.biz/ipsjsig/OS/
照会先：
深井 貴明（産業技術総合研究所）
takaaki.fukai あっと aist.go.jp（あっとを @ に置き換えてください）
その他
- 個人情報について：
発表申込・参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。同意いただいたうえでお申し込みください。なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。
参考） 情報処理学会プライバシーポリシー - 研究会主催のイベントが開催されない場合の対応について：
https://www.ipsj.or.jp/kenkyukai/sig-event-cancel.html