(第38回コンピュータシステム・シンポジウム)
2026年12月2日(水)〜4日(金)
ITビジネスプラザ武蔵(石川県金沢市)
(6階 交流室)
(1,2日目 ハイブリッド開催, 3日目現地開催)
| 参加種別 | 現地参加 | オンライン参加 | |
|---|---|---|---|
| 11/23までの申込 | 11/24からの申込 | ||
| 情報処理学会 OS研究会登録会員 | 8,800円 | 9,900円 | 2,200円 |
| 情報処理学会 正会員 | 13,200円 | 14,300円 | 2,200円 |
| 非会員 | 22,000円 | 33,000円 | 2,200円 |
| 学生会員 | 1,100円 | 2,200円 | 無料 |
| 学生非会員 | 5,500円 | 6,600円 | 無料 |
論文発表される方、ポスター発表の方、聴講のみの方、いずれも参加登録が必要です。OS研究会の登録会員でない方は、先に研究会登録をされることをお勧めします。
以下のページから参加申込をしてください。
※情報処理学会が委託している東京コンピュータシステムのサイト (kktcs.co.jp) に遷移します。
OS研究会に研究会登録すると、各研究会の参加費が無料になったり、予稿集を閲覧できるなどのメリットがありますので、ぜひ研究会登録をご検討ください。
座長: TBD
(1) TEEと秘密分散法を用いた検証可能なSecure Key Release方式の提案
甘田 拓海 (NTT コンピューティングテクノロジーセンタ), 石倉 禅 (NTT コンピューティングテクノロジーセンタ), 橋本 諒太 (NTT コンピューティングテクノロジーセンタ)
(2) Hardening VirtIO Drivers for Confidential VMs with Rust-Based Typed Interfaces
王 廉傑 (東京大学), 品川 高廣 (東京大学)
(3) SMIインジェクションとuBPFを用いた機密VMの柔軟なメモリ監視
山口 紘輝 (九州工業大学), 末永 道正 (九州工業大学), 光来 健一 (九州工業大学)
(4) オフラインでも利用可能な信頼できる時刻源の TPM と機密実行環境を用いた実装
宮崎 想也 (筑波大学), 新城 靖 (筑波大学)
座長: TBD
(5) CHERI を用いた実行コンテキストに基づく In-memory KVS のメモリ隔離
西澤 彩花(東京農工大学), 山田 浩史(東京農工大学)
(6) アプリケーション互換性とTCB削減を両立するプロセスベースの信頼実行環境
呉 国駿 (東京大学), 飯田 圭祐 (東京大学), 竹腰 開 (東京大学), 深井 貴明 (国立研究開発法人産業技術総合研究所), 品川 高廣 (東京大学)
(7) 互換層を信用しない互換レイヤー ~Zpolineを用いたtask内でのシステムコール捕獲とcapabilityによる権限の強制 ~
大野 清隆(開智所沢中等教育学校)
座長: TBD
(8) ハイブリッドクラウド環境の拠点間転送量を削減するファイル更新範囲を用いた細粒度差分転送方式の提案
鴨生 悠冬 (日立製作所、岡山大学), 早坂 光雄 (日立製作所), 高田 昌忠 (日立製作所), 山内 利宏 (岡山大学)
(9) 分散ストレージシステムによるSMRハードディスクの直接管理の検討
上西 康太 (株式会社Preferred Networks), 中野 将生 (株式会社Preferred Networks), 丸山 泰史 (株式会社Preferred Networks)
(a) 並列スナップショット作成下でも高ライト性能を実現するRedirect-on-Write Snapshot方式
伊勢 太一 (日立製作所), 山賀 祐典 (日立製作所), 松下 貴記 (日立製作所), 山本 大輔 (日立製作所), 大平 良徳 (日立製作所)
座長: TBD
“Tiaccoon: Unified Access Control with Multiple Transports in Container Networks”, Middleware'2025.
“Nested SEV: Secure and Generic SEV Support for Nested Virtualization”, OSDI'2026
場所: DOUBLE
〒920-0981 石川県金沢市片町2-8-3 香ビル1F(会場から徒歩16分)
座長: TBD
(10) 特定用途スケジューラの sched_ext による置き換え可能性の検証
平田 諒 (岡山大学大学院環境生命自然科学研究科), 乃村 能成 (岡山大学学術研究院環境生命自然科学学域)
(11) Unikraftでのプリエンプティブ・スケジューリングの実装とリアルタイム性およびCPUキャッシュへの副作用評価
若山 陽向 (名古屋大学 大学院情報学研究科), 朱 義文 (名古屋大学 大学院情報学研究科), 松原 豊 (名古屋大学 大学院情報学研究科), 高田 広章 (名古屋大学 大学院情報学研究科)
(12) スポットインスタンスにおける実測に基づく実行条件決定モデルの構築
那須 渚 (同志社大学), 神野 敦哉 (同志社大学), 田口 開智 (同志社大学), 小比賀 亮仁 (同志社大学), 小板 隆浩 (同志社大学)
発表内容: “Systems Research at TU Munich: My Experiences and Takeaways”
座長: TBD
(b) 形式検証可能な TCP/IP スタック実現へ向けた一検討
安形 憲一(IIJ 技術研究所)
(c) BPFを用いたユーザ空間ネットワークドライバ機構とFPGA NICによるTCPオフロードの実現
衣川 良平 (NTT株式会社 NTTオープンソースソフトウェアセンタ), 牧田 俊明 (NTT株式会社 NTTオープンソースソフトウェアセンタ)
(13) 自己位置の連続性を考慮したSLAM処理のコンテナ間引継ぎ手法の提案
久保田 幸士郎(芝浦工業大学), 菅谷 みどり(芝浦工業大学)
(14) 大規模DDSネットワークにおける起動時間短縮のための改善手法の 提案
富重 亮佑 (岡山大学大学院ヘルスシステム統合科学研究科), 樽谷 優弥 (大阪大学大学院工学研究科), 高野 祐輝 (株式会社ティアフォー), 三浦 秀芳 (岡山大学学術研究院ヘルスシステム統合科学学域), 横平徳美 (岡山理科大学 情報理工学部)
座長: TBD
(15) マイクロアーキテクチャを考慮したスピンロックの PAUSE 命令最適化
森崎 光 (慶應義塾大学), 辻本 有紀 (慶應義塾大学), 河野 健二 (慶應義塾大学)
(16) 動的バイナリ変換によるRISC-V のM-mode 仮想化の高速化とジッタの低減
鬼頭 太郎 (立命館大学), 山本 遼介 (三菱電機株式会社 設計技術開発センター), 増田 大樹 (三菱電機株式会社 設計技術開発センター), 毛利 公一 (立命館大学)
(17) Java標準ソートAPIにおけるプリミティブ配列とオブジェクト配列の実行特性比較
深川 和葵 (大和大学), 池田 孝利 (大和大学)
座長: TBD
(18) LLM のオフロード推論におけるコンテキスト長に応じた重み・KVキャッシュの配置最適化
杉浦 直人(慶應義塾大学), 松谷 宏紀(慶應義塾大学)
(d) 機密AIにおける監査可能な情報開示の強制
椎名 峻平 (株式会社Acompany), 髙橋 遼 (株式会社Acompany), 佐々木 謙人 (株式会社Acompany), 林 卓也 (株式会社Acompany), 髙橋 翼 (株式会社Acompany)
(19) CGLA アクセラレータにおけるレーン数に応じた 演算完了の待機方法による LLM 推論の高速化
浦山 健太郎(奈良先端科学技術大学院大学), 中井 平蔵(奈良先端科学技術大学院大学), 宗片 吉史(奈良先端科学技術大学院大学), 安藤 拓翔(奈良先端科学技術大学院大学), 中島 康彦(奈良先端科学技術大学院大学)
(t-1) カスタムネットワークスタックをKubernetes環境で動かす
小林 広人 (豊橋技術科学大学)
(t-2) Intel TDX において IMA 測定値を RTMR へ反映する カーネルモジュールの設計と実装
伊藤 駿 (株式会社 Acompany,Confidential Computing Lab / 群馬大学 情報学部)
(t-3) 実機対応で見る RISC-V 仮想化最前線
髙名 典雅 (筑波大学)
(t-4) 最新RISC-VベースAI SoCのアーキテクチャとソフトウェア実装の紹介
鬼頭 太郎 (立命館大学), 毛利 公一 (立命館大学)
第38回コンピュータシステム・シンポジウム(ComSys 2026)は、情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS研究会)が中心となって開催するフラグシップ・シンポジウムで、システムソフトウェア分野における最先端の研究成果を発表・議論する場を提供するともに、国内の研究者・学生・企業の専門家が一堂に会してコミュニケーションをおこなうことで、本分野のさらなる発展に資することを目指しています。

本講演では、講演者がポスドク研究員として在籍したミュンヘン工科大学のSystems Research Group(PI: Prof. Pramod Bhatotia)での研究経験について報告する。講演者は2021年2月から2026年3月までの約5年間、同グループにおいてクラウドコンピューティング、FPGA・アクセラレータ仮想化、機密計算に関する研究に従事した。その成果として、直近3年間でトップ国際会議・論文誌に計7本の論文が採択されている(OSDI、ASPLOS、EuroSys、USENIX ATC、HPDC、SoCC、ACM TACO)。これらの経験に基づき、国際的なシステム研究グループにおけるトップ会議採択を見据えた研究戦略(テーマ設定、共同研究、実装・評価・論文執筆の進め方など)とその実践について、講演者なりに整理した知見を紹介する。さらに、海外での経験を踏まえ、研究環境や学生指導の観点から日本の大学の強みと課題を考察し、最後に今後の抱負を述べる。
ホームページ: https://www.rs.tus.ac.jp/koshiba/ja/
Hiroya Onoe, Daisuke Kotani, Yasuo Okabe.
In Proceedings of the 26th International Middleware Conference (Middleware ‘25).
Association for Computing Machinery, New York, NY, USA, 441–454.
https://doi.org/10.1145/3721462.3770783
Container orchestration tools use container overlay networks for communications between containers and enforcement of network access control policies to containers. Use of appropriate transports such as UNIX domain socket and RDMA for communications between containers provide higher throughput and lower latency than TCP/IP, although each transport have limitation on applicable scenarios. However, applications face challenges in flexibly selecting appropriate transports for each connection while container networks consistently apply unified network access control policies. To address this problem, we propose Tiaccoon, achieving unified access control and container communication regardless of transports by replacing the process of socket API. Tiaccoon hooks system calls related to socket API called by applications, applies access control for the connection, creates a socket with the fast transports available for communication with the destination containers, and replace the socket with the created one. Our evaluation shows Tiaccoon achieved throughput, round trip latency, and CPU time equivalent to host networks, which is better than container overlay networks. We also show Tiaccoon satisfies the requirements of container networks and can replace existing container overlay networks for connection-oriented protocols.
Kazuki Takiguchi and Kenichi Kourai.
In Proceedings of the 20th USENIX Conference on Operating Systems Design and Implementation (OSDI ‘26). USENIX Association, USA, Article 56, 1051–1066.
https://www.usenix.org/conference/osdi26/presentation/takiguchi
In cloud environments, sensitive information in virtual machines (VMs) is exposed to insider threats. To protect VMs from malicious cloud insiders, modern clouds provide confidential VMs based on technologies such as AMD SEV, which transparently encrypts the memory of VMs and the state of CPU registers while ensuring their integrity. However, existing SEV support is not sufficient for nested virtualization, where a guest hypervisor (L1 hypervisor) runs inside a host VM (L1 VM) managed by the host hypervisor (L0 hypervisor) and creates guest VMs (L2 VMs). This paper proposes nested SEV to provide more secure and generic SEV support for nested virtualization. Nested SEV allows SEV-enabled L2 VMs to run inside an SEV-enabled L1 VM. It supports two trust models: (1) both the L0 and L1 hypervisors are untrusted, and (2) the L0 hypervisor is untrusted but the L1 hypervisor is trusted. For these trust models, nested SEV provides two mechanisms. SEV virtualization protects L2 VMs against both the L0 and L1 hypervisors. In contrast, SEV passthrough protects them against the L0 hypervisor but allows the L1 hypervisor to access the memory of L2 VMs by sharing the SEV context. These mechanisms rely on emulation-less multiplexing and SEV context decoupling. We implemented nested SEV in three different types of hypervisors and showed that the average performance degradation ranged from 0.9% to 30% across three SEV variants.
(システム受付順)
MN-Core アセンブリ言語の Superoptimizer
伊藤 大河 (電気通信大学), 佐藤 重幸 (電気通信大学)
[PDF]
Reshape演算を含むテンソル計算グラフ書き換え規則の正当性検証
笠本 楓 (電気通信大学), 佐藤 重幸 (電気通信大学)
[PDF]
機密実行環境で動作するソフトウェアの Zig 言語による開発にむけて
島田 慎太郎(筑波大学), 新城 靖 (筑波大学)
[PDF]
異種SLMアンサンブルにおける多数決不能・回答欠損時の回答共有再推論
河野 尊 (同志社大学), 小比賀 亮仁 (同志社大学), 神野 敦哉 (同志社大学大学院), 田口 開智 (同志社大学大学院), 那須 渚 (同志社大学大学院), 小板 隆浩 (同志社大学大学院)
[PDF]
エッジ資源管理の負荷軽減に向けた分割可能負荷スケジューリング方式の検討
齋藤光喜 (芝浦工業大学), 小林輝夫 (株式会社エナリス), 不破茂秀 (株式会社エナリス), 菅谷みどり (芝浦工業大学)
[PDF]
通信帯域の変動とノード離脱を考慮した分散 LLM 推論における動的レイヤ再配置の検討
田口 開智(同志社大学), 神野 敦哉(同志社大学), 那須 渚(同志社大学), 小比賀 亮仁(同志社大学), 小板 隆浩(同志社大学)
[PDF]
Linux Security Modules に基づく対話型リファレンス・モニタの開発にむけて
謝 子南(筑波大学), 新城 靖(筑波大学)
[PDF]
SGX Enclave とVBS Enclave の性能比較
西平 侑磨(セコム株式会社), 髙山 献(セコム株式会社), 宮澤 慎一(セコム株式会社)
[PDF]
Saros: Reducing Dependency Duplication in Decentralized Serialization-Graph Validation
坪井 利恩 (慶應義塾大学), 根本 潤 (株式会社Scalar), 川島 英之 (慶應義塾大学)
[PDF]
ライブラリOSを用いた異種TEE間マイグレーション機構
近藤 瑛(九州工業大学), 光来 健一(九州工業大学)
[PDF]
ハードウェアレベルのメモリ分離機構を用いたマルウェアのベアメタル解析環境の構築
髙名 典雅 (筑波大学), 大山 恵弘 (筑波大学)
[PDF]
機密VM内の隔離環境でのOSメモリ解析による通信の安全かつ軽量な追跡
新矢 将宗 (九州工業大学), 光来 健一 (九州工業大学)
[PDF]
機密AIにおける監査可能な情報開示の強制
椎名 峻平 (株式会社Acompany), 髙橋 遼 (株式会社Acompany), 佐々木 謙人 (株式会社Acompany), 林 卓也 (株式会社Acompany), 髙橋 翼 (株式会社Acompany)
[PDF]
CPI Stack Modelに基づく同一命令セット異種混合マルチコア向けスケジューラに向けて
鈴木 豪 (東京科学大学), 渡部 卓雄 (東京科学大学), 森口 草介 (東京科学大学)
[PDF]
Slipstream:単一バージョン決定的並行制御における Mammoth 併走の正しさ回復と Blind Write最適化
上田 海翔 (慶應義塾大学), 川島 英之 (慶應義塾大学)
[PDF]
大規模言語モデルを用いた侵入検知手法の性能分析
小松 翔 (法政大学), 森 康祐 (法政大学), 廣津 登志夫 (法政大学)
[PDF]
Rust言語のための自動プログラム修復性能の学習データ依存性の評価
高橋 颯ノ介(法政大学), 森 康祐(法政大学), 廣津 登志夫(法政大学)
[PDF]
互換層を信頼しない互換レイヤーのデモ ―L4Re上のZpoline による互換層とPachaOSでの実機 動作―
大野清隆 (開智所沢中等教育学校)
[PDF]
Wound 精密化による2PL スケジューリング空間の拡大
角井 俊亮 (慶應義塾大学), 星野 喬 (サイボウズ・ラボ株式会社), 川島 英之 (慶應義塾大学)
[PDF]
リアルタイム処理との共存を目的としたエッジTEE向けセキュアモニタのプリエンプティブ化
藤井 大悟 (公立はこだて未来大学), 松原 克弥 (公立はこだて未来大学)
[PDF]
Arm CCAのRealm VMを用いたノーマルワールドの監視
高巣 雄大 (九州工業大学), 光来 健一 (九州工業大学)
[PDF]
継続的インテグレーションを用いたLinuxカーネルの性能劣化検知システムの提案と実装
馬場 祐希 (明治大学), 宮島 敬明 (明治大学)
[PDF]
P4 VMへの透過的なパケット転送を可能にするAF_XDP拡張
田代 滉太 (九州工業大学), 岩井 正輝 (九州工業大学), 光来 健一 (九州工業大学)
[PDF]
細粒度予約制御とバッチ処理の並列化によるShirakamiの高性能化
田辺 敬之 (慶應義塾大学), 川島 英之 (慶應義塾大学)
[PDF]
Fault-Aware Messaging for Deterministic Sequencing in Caerus
ラム ブライアン (慶應義塾大学), 川島 英之(慶應義塾大学)
[PDF]
情報処理学会OS研究会
第38回コンピュータシステム・シンポジウム
(ComSys2026)
主査:広渕 崇宏
幹事:佐藤 将也、深井 貴明、吉村 剛、田崎 創、下沢 拓、小柴 篤史
コンピュータシステム・シンポジウムは、情報処理学会システムソフトウェアとオペレーティング・システム研究会が中心となり開催しているシンポジウムで、1987年11月に第1回を開催して以来、今年で38回目の開催となります。本シンポジウムは、年々著しい勢いで変化を遂げる基盤ソフトウェア技術の分野で、最新の話題や斬新なアイデアについての議論の場を提供してきました。本年度のシンポジウムでも、より萌芽的な研究を集め、シンポジウムの発表や議論を通して発展させてもらうことを期待し、投稿論文に対してプログラム委員会からの改善フィードバックを行います。また、この分野におけるホットトピックや本研究会で発表された後に国際会議やジャーナル論文として成果を収めた研究に関する招待講演の企画をすすめています。以上により、日頃の研究成果の発表と意見交換を行う場を提供したいと考えています。
本シンポジウムでは、研究をより発展させてもらうことを期待して、投稿論文に対してプログラム委員会からのコメントフィードバックを得られる機会を提供します。また、タイムリーな内容に関する招待講演やチュートリアルに加えて、これまでに本研究会で発表された後に国際会議やジャーナル論文として成果を収めた研究についての招待講演などの企画をすすめています。以上により、日頃の研究成果の発表と意見交換を行う場を提供したいと考えています。
システムソフトウェア全般
(以下の3種類から選択ください)
【標準】論文あり(コメントフィードバックあり):
システムソフトウェアに関する最新の研究成果を論文及び口頭で発表していただきます。コメントは査読ではなく研究内容を洗練させるためのもので、シンポジウム開催後にフィードバックする予定です。通常の研究発表会にはない貴重な機会ですので、積極的な利用を推奨します。
論文あり(コメントフィードバックなし):
コメントフィードバック無しの発表も可能です。
論文なし(概要投稿+口頭発表のみ):
概要投稿+口頭発表のみをおこなうこともできます。萌芽的な研究や現在進行中の大型研究プロジェクトの内容、概ね過去一年以内に国際会議やジャーナル、プレプリントサーバ等で発表した研究内容などをコミュニティに紹介し、ディスカッションするための発表を想定しています。
投稿論文は、情報処理学会の研究報告原稿のフォーマットに従ってください。所定のスタイルファイルを用いるものとし、スタイルファイルや行間のスペース等の変更は行わないでください。規定のフォーマットに従っていない論文は受理しないことがあります。
コメントフィードバックありを希望する場合は、どのようなコメントが欲しいかをリクエストしてください。たとえば、
などなど、研究の進捗に応じて、コメントが欲しいポイントを明記してください。それに沿ってOS分野の一線の研究者がコメントをお返します。また、国際会議や論文誌といった将来の投稿先に応じたコメントもフィードバックいたします。
ポスター・デモ発表へ申し込む場合には、発表するポスター・デモの内容を論文形式にしたものを以下の形式で準備して、上記締切日までにEasyChairへアップロードしてください。ポスター・デモ発表用の論文は当サイトにてポスター発表当日までに公開されます。
発表を希望する方は、EasyChairより〆切までに以下を入力して申し込みを行ってください。
発表申込および概要登録・論文投稿は、すべてEasyChairを使用します。
オンラインでのシンポジウム参加はベストエフォートでの提供となります。映像や音声に乱れが生じる可能性があります。また、配信機材の不具合等により、やむを得ず提供を断念する場合があります。あらかじめご了承ください。参加費の払い戻しは行っておりません。
シンポジウム論文集には、一般発表の論文のみを掲載します。
シンポジウム論文集は完全オンライン化となっており、電子図書館(情報学広場)に掲載されます。紙の論文集は発行しません。なお、シンポジウム論文集はシンポジウム開催日の1週間前に公開されます。特許等の関係で公知日を考慮する必要がある場合はご注意ください。
投稿される論文の著作権の取り扱いは、「情報処理学会著作権規程」に従います。
ポスター・デモ発表用の論文は当サイトにてポスター発表当日までに公開されます。ポスター・デモ発表用の論文については、著作権を著者が保持します。
また、研究発表会では毎回優秀若手発表賞の表彰をしています。受賞規定に該当する方は、発表申し込み時にあらかじめお知らせください。
https://sigos.ipsj.or.jp/award/best-young-present/#award-rule
広渕 崇宏(産業技術総合研究所)
深井 貴明
takaaki.fukaiあっとa.riken.jp (あっとを @ に置き換えてください)
広渕 崇宏(産業技術総合研究所)
深井 貴明
佐藤 将也(岡山県立大学)
吉村 剛(日本IBM)
下沢 拓(日立製作所)
小柴 篤史(東京理科大学)
田崎 創(IIJ技術研究所)
穐山 空道(立命館大学)
阿部 洋丈(筑波大学)
石黒 健太(慶應義塾大学)
上西 康太(Preferred Networks)
金津 穂(トヨタ自動車)
川島 英之(慶應義塾大学)
河野 健二(慶應義塾大学)
光来 健一(九州工業大学)
小谷 大祐(京都大学)
佐藤 幸紀(豊橋技術科学大学)
品川 高廣(東京大学)
杉木 章義(北海道大学)
田所 秀和(キオクシア)
土井龍太郎(日本電気)
中園 翔(LINEヤフー)
中田 裕貴(さくらインターネット)
堀井 圭祐(三菱電機)
松原 克弥(公立はこだて未来大学)
味曽野 雅史(ミュンヘン工科大学)
宮澤 慎一(セコム)
山田 浩史(東京農工大学)
李 彦志(アールワークス)
OS研究会では,全ての参加者が気持ちよく議論に参加して,楽しい時間を過ごせる場を提供することを目指し,ハラスメント防止に取り組んでいます. すべての参加者が安心して自由な意見交換ができるよう,ご理解とご協力をお願いいたします.
詳しくは下記の行動規範およびアンチハラスメントポリシーをご参照ください.
行動規範に反する言動を見かけた場合は,お近くのOS研究会運営委員にご相談ください.