第163回OS研究発表会
第163回システムソフトウェアとオペレーティング・システム研究発表会
本研究発表会は現地開催とオンラインを併用したハイブリット開催で行います。
参加を希望される方は，以下「参加申込」をご参照の上，情報処理学会マイページから参加申込をお願いいたします（当日でも申込可能です）．当日現地で参加される方も，現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします（参加費も会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします）．非会員の方もマイページを開設してお申し込みください．参加申込をしていただくと，ZoomのミーティングURLや研究報告のダウンロード方法を記載したメールをお送りします．参加費無料の研究会登録会員/ジュニア会員もURLの取得と参加者数の把握のため，マイページより参加申込をしてくださいますようお願いいたします．
参考資料：全国大会時のZoom利用の手引き
参加を希望される方は，以下「参加申込」をご参照の上，情報処理学会マイページから参加申込をお願いいたします（当日でも申込可能です）．当日現地で参加される方も，現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします（参加費も会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします）．非会員の方もマイページを開設してお申し込みください．参加申込をしていただくと，ZoomのミーティングURLや研究報告のダウンロード方法を記載したメールをお送りします．参加費無料の研究会登録会員/ジュニア会員もURLの取得と参加者数の把握のため，マイページより参加申込をしてくださいますようお願いいたします．
参考資料：全国大会時のZoom利用の手引き
参加申込のご案内
日 程 ：
2024年5月30日(木)～31日(金)
場 所 ：
大濱信泉記念館（沖縄県石垣市） および オンライン のハイブリッド開催
https://ohamanobumoto.net/access/
申込締切 ： 2024年5月31日
※当日会場で参加される方も、現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします。
※当日まで申込可能ですが、現在非会員の方などはマイページ開設にお時間がかかる場合もございます。また、参加申込返信メールが迷惑メールと判定されてメール不達となることもありますので、お早目にお申込みくださいますようお願いいたします（メールが届かない場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みしてください（お申込み情報は上書きされます））。
参加費：
申込方法 ：
＊＊お申込みの際の注意事項＊＊
研究報告について：
参加申込をしていただいた方にお送りするメールに、研究報告をダウンロードするためのID・パスワード等を記載しております。
研究会登録会員の方は 電子図書館(情報学広場) からもダウンロード可能です。
研究報告は開催初日の1週間前（＝公知日）に公開となります。
領収書について：
領収書は入金後にマイページよりダウンロード出来ます。
領収書は1回しか発行できませんので、日付、宛名、但し書きをよく確認してから発行してください。
クレジットカード決済の場合は即時発行が可能ですが、それ以外は入金済になるまで2～14営業日程かかります。
参考）マイページの利用方法：お支払い ／ マイページに関するよくある質問
参加申込に関する照会先：
〒101-0062 東京都千代田区神田駿河台1-5 化学会館4F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig"at"ipsj.or.jp
その他の照会先：
松原 克弥（公立はこだて未来大学）
matsu あっと fun.ac.jp（あっとを @ に置き換えてください）
※その他 研究会Webページ もご確認ください。
2024年5月30日(木)～31日(金)
場 所 ：
大濱信泉記念館（沖縄県石垣市） および オンライン のハイブリッド開催
https://ohamanobumoto.net/access/
申込締切 ： 2024年5月31日
※当日会場で参加される方も、現地での参加申込受付は行いませんので事前にマイページからお申込みをお願いいたします。
※当日まで申込可能ですが、現在非会員の方などはマイページ開設にお時間がかかる場合もございます。また、参加申込返信メールが迷惑メールと判定されてメール不達となることもありますので、お早目にお申込みくださいますようお願いいたします（メールが届かない場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みしてください（お申込み情報は上書きされます））。
参加費：
|
参加費（研究報告／税込）
|
|
|---|---|
| 参加種別 | 金額 |
| OS研究会登録会員／ジュニア会員 | 0円 |
| 情報処理学会名誉会員、正会員、賛助会員 | 2,200円 |
| 情報処理学会学生会員 | 1,100円 |
| 非会員(一般) | 3,300円 |
| 非会員(学生) | 1,650円 |
申込方法 ：
| 以下アイコンのいずれかよりお申込みください。 ※非会員の方もマイページ開設が必要です。開設には費用はかかりません。    |
＊＊お申込みの際の注意事項＊＊
- 参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。 参考） 情報処理学会プライバシーポリシー
- 参加費のお支払いはマイページより6月7日(金)までにお願いいたします。当日現地で参加される方も、会場での支払いは受け付けませんので、マイページからお支払いくださいますようお願いいたします。請求書・見積書・納品書・領収書もマイページよりダウンロード可能です。 参考） マイページの利用方法：お支払い
- 参加申込返信メールが迷惑メールと判定されてメール不達となることがございます。その場合は、参加費のご入金前に、再度申込画面で他のメールアドレスを入力してお申込みください（お申込み情報は上書きされます）。
- 参加申込後は申込キャンセルは出来ませんのでご注意ください。また、ご入金後の返金もいたしかねますので、参加種別等をご確認の上お申し込みください。
研究報告について：
参加申込をしていただいた方にお送りするメールに、研究報告をダウンロードするためのID・パスワード等を記載しております。
研究会登録会員の方は 電子図書館(情報学広場) からもダウンロード可能です。
研究報告は開催初日の1週間前（＝公知日）に公開となります。
領収書について：
領収書は入金後にマイページよりダウンロード出来ます。
領収書は1回しか発行できませんので、日付、宛名、但し書きをよく確認してから発行してください。
クレジットカード決済の場合は即時発行が可能ですが、それ以外は入金済になるまで2～14営業日程かかります。
参考）マイページの利用方法：お支払い ／ マイページに関するよくある質問
参加申込に関する照会先：
〒101-0062 東京都千代田区神田駿河台1-5 化学会館4F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig"at"ipsj.or.jp
その他の照会先：
松原 克弥（公立はこだて未来大学）
matsu あっと fun.ac.jp（あっとを @ に置き換えてください）
※その他 研究会Webページ もご確認ください。
プログラム
5月30日(木)
□オープニング (11:10-11:15)
■耐故障性 (11:15-12:15)
(1) ECC-uncorrectable メモリエラーへの耐性を有するページテーブル管理機構
武田 一希，山田 浩史（東京農工大）
(2) ECC-uncorrectable メモリエラーに耐性を有する Java アプリケーション
岡崎 孝祐，山田 浩史（東京農工大）
* 休憩 (12:15-13:45)
■仮想化 (13:45-15:15)
(3) 軽量ハイパバイザの SR-IOV デバイス制御における性能劣化削減手法
飯田 圭祐（産総研/東京大），深井 貴明，広渕 崇宏（産総研），松谷 健史（慶應義塾大）
(4) 資源集約時における低遅延通信のための SmartNIC を活用したスケジューリング支援
相馬 大地，石黒 健太（慶應義塾大），深井 貴明，広渕 崇宏（産総研），河野 健二（慶應義塾大）
(5) 端末・PC 用アプリケーションの開発手法による Web アプリケーションの開発
清水 海大，浦川 浩介，新城 靖（筑波大）
* 休憩 (15:15-15:30)
■ストレージ (15:30-17:00)
(6) 論理ボリューム構成に対応したデータセンタにおけるNN-SSD資源割当て機能の提案
山中 広明，佐々木 達哉，山田 真大，澤田 隆典（キオクシア）
(7) IOアクセスパターンの変化に応じて効果的なキャッシュ方法の提示が可能な分析エンジンの開発
大江 和一，合田 憲人（情報研）
(8) Linuxにおけるストレージデバイスのリアルタイム性評価
小柴 真之介，松原 豊，中尾 裕一，高田 広章（名古屋大）
□運営委員会 (17:10-18:10)
5月31日(金)
■並行性制御 (10:00-11:30)
(9) FafnirDT: Dynamic Timestamp in Lock-based Concurrency Control Protocols
Lun Ryuichi，中森 辰洋，黄 麗安，川島 英之（慶應義塾大）
(10) Understanding Liveness Property of Decentralized Wound-Wait Scheme with TLA+
Nguyen Tung，川島 英之（慶應義塾大）
(11) Serval: A High Performance Deterministic Concurrency Control Scheme incorporating bitmap
Li Haowen，大西 璃奈，川島 英之（慶應義塾大）
* 休憩 (11:30-13:00)
■セキュリティ (13:00-14:00)
(12) Robot Operating Systemのセキュリティ拡張に関する考察
石川 裕（情報研），西村 啓佑（INRIA）
(13) RowhammerによるShadowstackへの偽装に対するプログラムごとの危険度判定の提案
谷口 智哉，穐山 空道（立命館大）
* 休憩 (14:00-14:15)
■保護 (14:15-15:45)
(14) VM間Rowhammer類似攻撃に対する多重Canaryを用いた検出・隔離手法の提案
川﨑 秀昌，西村 俊和，穐山 空道（立命館大）
(15) TEE により保護された公開鍵サーバの設計と実装
竹原 正真，廣津 登志夫（法政大）
(16) AMD SEVで保護されたUnikernelが制御可能なメモリ監視機構
西村 優志，瀧口 和樹，光来 健一（九州工大）
□クロージング (15:45-15:55)
□オープニング (11:10-11:15)
■耐故障性 (11:15-12:15)
(1) ECC-uncorrectable メモリエラーへの耐性を有するページテーブル管理機構
武田 一希，山田 浩史（東京農工大）
(2) ECC-uncorrectable メモリエラーに耐性を有する Java アプリケーション
岡崎 孝祐，山田 浩史（東京農工大）
* 休憩 (12:15-13:45)
■仮想化 (13:45-15:15)
(3) 軽量ハイパバイザの SR-IOV デバイス制御における性能劣化削減手法
飯田 圭祐（産総研/東京大），深井 貴明，広渕 崇宏（産総研），松谷 健史（慶應義塾大）
(4) 資源集約時における低遅延通信のための SmartNIC を活用したスケジューリング支援
相馬 大地，石黒 健太（慶應義塾大），深井 貴明，広渕 崇宏（産総研），河野 健二（慶應義塾大）
(5) 端末・PC 用アプリケーションの開発手法による Web アプリケーションの開発
清水 海大，浦川 浩介，新城 靖（筑波大）
* 休憩 (15:15-15:30)
■ストレージ (15:30-17:00)
(6) 論理ボリューム構成に対応したデータセンタにおけるNN-SSD資源割当て機能の提案
山中 広明，佐々木 達哉，山田 真大，澤田 隆典（キオクシア）
(7) IOアクセスパターンの変化に応じて効果的なキャッシュ方法の提示が可能な分析エンジンの開発
大江 和一，合田 憲人（情報研）
(8) Linuxにおけるストレージデバイスのリアルタイム性評価
小柴 真之介，松原 豊，中尾 裕一，高田 広章（名古屋大）
□運営委員会 (17:10-18:10)
5月31日(金)
■並行性制御 (10:00-11:30)
(9) FafnirDT: Dynamic Timestamp in Lock-based Concurrency Control Protocols
Lun Ryuichi，中森 辰洋，黄 麗安，川島 英之（慶應義塾大）
(10) Understanding Liveness Property of Decentralized Wound-Wait Scheme with TLA+
Nguyen Tung，川島 英之（慶應義塾大）
(11) Serval: A High Performance Deterministic Concurrency Control Scheme incorporating bitmap
Li Haowen，大西 璃奈，川島 英之（慶應義塾大）
* 休憩 (11:30-13:00)
■セキュリティ (13:00-14:00)
(12) Robot Operating Systemのセキュリティ拡張に関する考察
石川 裕（情報研），西村 啓佑（INRIA）
(13) RowhammerによるShadowstackへの偽装に対するプログラムごとの危険度判定の提案
谷口 智哉，穐山 空道（立命館大）
* 休憩 (14:00-14:15)
■保護 (14:15-15:45)
(14) VM間Rowhammer類似攻撃に対する多重Canaryを用いた検出・隔離手法の提案
川﨑 秀昌，西村 俊和，穐山 空道（立命館大）
(15) TEE により保護された公開鍵サーバの設計と実装
竹原 正真，廣津 登志夫（法政大）
(16) AMD SEVで保護されたUnikernelが制御可能なメモリ監視機構
西村 優志，瀧口 和樹，光来 健一（九州工大）
□クロージング (15:45-15:55)
発表募集のご案内（終了しました）
原稿締切厳守 ！
- 原稿締切日の24時を過ぎるとシステムに投稿が出来なくなり、発表も取り消しとなりますのでご注意ください。
- 原稿締切までは何度でもご自身でアップロード可能です（締切後は、原稿の差替え（再アップロード）、発表の取り消しもできませんのでご注意ください）。
- フォントが正しく埋め込まれていないといったトラブルもありますので、早めに一度アップロードされることをお勧めします。
========================================================================
情報処理学会
第163回 システムソフトウェアとオペレーティング・システム研究会 (OS)
発表論文募集のお知らせ
主査 品川 高廣
幹事 松原 克弥・川島 英之・佐藤 将也・穐山 空道・深井 貴明・吉村 剛
情報処理学会
第163回 システムソフトウェアとオペレーティング・システム研究会 (OS)
発表論文募集のお知らせ
主査 品川 高廣
幹事 松原 克弥・川島 英之・佐藤 将也・穐山 空道・深井 貴明・吉村 剛
========================================================================
情報処理学会システムソフトウェアとオペレーティング・システム(OS)研究会は研究会を開催いたします．
システムソフトウェア全般に関する，先進的・萌芽的な研究の発表を是非ご検討ください．また，初期段階の研究報告も歓迎します．
テーマ ：
システムソフトウェア一般
日 程 ：
2024年5月30日(木)～31日(金)
形 式 ：
大濱信泉記念館（沖縄県石垣市） および オンライン のハイブリッド開催を予定
発表形式：
[一般発表]
システムソフトウェアに関する最新の研究成果を論文及び口頭で発表していただきます．
重要日程：
発表申込〆切：2024年4月19日(金) 23:59
論文原稿〆切：2024年5月 7日(火) 23:59 締切厳守
※23時59分を過ぎるとシステムに投稿できなくなります．
締切に遅れると発表キャンセルとなりますのでご注意ください．
また，フォントの埋め込みがされていないとアラートが出ます．
お早目にご投稿いただきますようお願い致します．
発表申込：
下記URLよりお申し込みください．
会場のキャパシティ（定員54名）の関係で，申し込み件数が多い場合には，登録会員優先，先着順等で発表件数を限らせていただくこともございます．
また，本研究会の趣旨，参加者の興味にあわない発表は，お断りさせていただくことがあります．あらかじめご了承下さい．
https://ipsj1.i-product.biz/ipsjsig/OS/
照会先 ：
松原 克弥（公立はこだて未来大学）
matsu あっと fun.ac.jp（あっとを @ に置き換えてください）
システムソフトウェア全般に関する，先進的・萌芽的な研究の発表を是非ご検討ください．また，初期段階の研究報告も歓迎します．
テーマ ：
システムソフトウェア一般
日 程 ：
2024年5月30日(木)～31日(金)
形 式 ：
大濱信泉記念館（沖縄県石垣市） および オンライン のハイブリッド開催を予定
発表形式：
[一般発表]
システムソフトウェアに関する最新の研究成果を論文及び口頭で発表していただきます．
重要日程：
発表申込〆切：2024年4月19日(金) 23:59
論文原稿〆切：2024年5月 7日(火) 23:59 締切厳守
※23時59分を過ぎるとシステムに投稿できなくなります．
締切に遅れると発表キャンセルとなりますのでご注意ください．
また，フォントの埋め込みがされていないとアラートが出ます．
お早目にご投稿いただきますようお願い致します．
発表申込：
下記URLよりお申し込みください．
会場のキャパシティ（定員54名）の関係で，申し込み件数が多い場合には，登録会員優先，先着順等で発表件数を限らせていただくこともございます．
また，本研究会の趣旨，参加者の興味にあわない発表は，お断りさせていただくことがあります．あらかじめご了承下さい．
https://ipsj1.i-product.biz/ipsjsig/OS/
照会先 ：
松原 克弥（公立はこだて未来大学）
matsu あっと fun.ac.jp（あっとを @ に置き換えてください）
その他
- 個人情報について：
発表申込・参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。同意いただいたうえでお申し込みください。なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。
参考） 情報処理学会プライバシーポリシー - 研究会主催のイベントが開催されない場合の対応について：
https://www.ipsj.or.jp/kenkyukai/sig-event-cancel.html