ComSys 2024

(第36回コンピュータシステム・シンポジウム)

2024年12月2日(月)〜3日(火)
慶應義塾大学来往舎(神奈川県横浜市)
大会議室(来往舎2階)
(ハイブリッド開催)


Credit: Wikimedia

参加募集

参加費

ComSys 2024 参加費
参加種別 現地参加 オンライン参加
11/25までの申込 11/26からの申込
情報処理学会 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研究会に研究会登録すると、各研究会の参加費が無料になったり、予稿集を閲覧できるなどのメリットがありますので、ぜひ研究会登録をご検討ください。

情報処理学会の会員でない場合

詳細

ComSys 2024(情報処理学会のページ)

プログラム

数字(1, 2, …, 11)は論文あり、アルファベット(a, b)は論文なし
発表時間は1件25分(発表20分強、質疑5分弱)

12月2日(月)(1日目)

10:00-10:05 オープニング

10:05-11:45 先進的デバイスと検証

座長: 吉村剛(日本アイ・ビー・エム(株)),佐藤将也(岡山県立大学)

(a) ソフトウェアメモリを用いたデバイス間データ通信の機能拡張手法の検討
空閑洋平, 中村遼

(1) 量子回路シミュレータの性能分析とモデル化の検討
青木望美, 山崎雅文, 平井聡, 木下怜佳, 福本尚人, 三輪真弘, 小口正人
【論文】

(2) SMTソルバを用いた並行アクセスの網羅的生成による参照モニタの形式検証
中島諒, 品川高廣
【論文】

(3) GearsOS と gearsAgda 上のモデル検査について
河野真治
【論文】

11:45-13:00 ランチ休憩

13:00-14:40 凱旋講演

座長: 穐山空道(立命館大学)

土岐紘大 様

WoundDie: Concurrency Control Protocol with Lightweight Priority Control

山田浩史 様

Reboot-Based Recovery of Unikernels at the Component Level

赤間滉星 様

Scrappy: SeCure Rate Assuring Protocol with PrivacY

鈴木慶汰 様

Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux

15:00-16:00 招待講演(岡部寿男様)

座長: 山田浩史(東京農工大学)

「戦略目標「Society 5.0時代の安心・安全・信頼を支える基盤ソフトウェア技術」の理念とJST CREST「S5基盤ソフト」の取り組み」

16:00-16:15 企業講演会

座長: 深井貴明(産業技術総合研究所)

16:15-17:45 ポスターセッション

会場:中会議室(来往舎2階)

ポスター発表一覧

18:00-20:00 懇親会+表彰式

場所:ファカルティラウンジ(来往舎1階)
http://hiyoshi-facultylounge.jp/

12月3日(火)(2日目)

9:30-10:45 仮想化

座長:中園 翔(LINEヤフー(株))

(4) ハイパーバイザ技術を用いた手軽に RISC-V の拡張を活用できるシステムの構築
髙名 典雅, 大山 恵弘
【論文】

(5) eBPFを用いたConfidential VMの安全かつ高速な監視
上杉 貫太, 光来 健一
【論文】

(6) wanco: ライブマイグレーションをサポートするWebAssemblyコンパイラ
田村来希, 小谷大祐, 松本直樹, 岡部寿男
【論文】

11:00-12:00 招待講演(小山田昌史様)

座長: 松谷宏紀(慶應義塾大学)

「LLMからAI Agentへ 〜RAG、自己進化、ワークフロー〜」

12:00-13:15 ランチ休憩

13:15-14:30 Webとクラウド

座長: 吉村剛(日本アイ・ビー・エム(株))

(7) Web ブラウザに表示されたページ内容を結合するためのファイルシステム
清水海大, 新城靖
【論文】

(b) オンプレ-マルチクラウド間の認証認可連携
鴨生悠冬, 早坂光雄, Pablo Martinez

(8) クラウドバックアップにおけるバックアップ世代管理方式
高田昌忠, 早坂光雄
【論文】

14:45-16:00 データとカーネル

座長: 深井貴明(産業技術総合研究所)

(9) 軽量 IO 自動適用を用いた KV ストレージエンジンの性能改善
鈴木智哉, 檜田和浩, 坂東洋介, 佐野伸太郎, 中西悠, 塩沢竜生
【論文】

(10) Linuxにおけるシグナル受信処理の早期実行開始手法
大野裕美子, 山内利宏, 谷口秀夫
【論文】

(11) 状態機械複製プロトコルRabiaにおけるネットワーク分断耐性強化
木田 碧, 川島 英之
【論文】

16:00-16:05 クロージング

概要

 第36回コンピュータシステム・シンポジウム(ComSys 2024)は、情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS研究会)が中心となって開催するフラグシップ・シンポジウムです。システムソフトウェア分野における最先端の研究成果を発表・議論する場を提供するともに、国内の研究者・学生・企業の専門家が一堂に会してコミュニケーションをおこなうことで、本分野のさらなる発展に資することを目指しています。

ニュース

  • 2024年11月21日: ポスターにポスター発表のプログラムと発表準備について追記しました。
  • 2024年11月17日: 参加募集を開始しました。
  • 2024年11月17日: プログラムを公開しました。
  • 2024年10月15日: 発表募集にEasyChairへのリンクを追加しました.
  • 2024年10月9日: スポンサー申込〆切を延長しました。企業展示ポスター募集を開始しました。
  • 2024年10月4日: 発表募集を開始しました。
  • 2024年7月12日: ホームページを開設しました。

重要日程

2024年10月18日(金) 23時59分

スポンサー申込〆切

2024年10月28日(月) 23時59分

一般講演発表申込〆切

2024年11月04日(月) 23時59分

一般講演発表原稿〆切

2024年11月04日(月) 23時59分

デモ・ポスター発表申込/原稿〆切

2024年11月04日(月) 23時59分

企業展示ポスター申込〆切

2024年12月2日(月)〜3日(火)

シンポジウム開催日

Gold

株式会社Preferred Networks
トヨタ自動車株式会社
TIS株式会社
株式会社NTTドコモ

Silver


株式会社日立製作所
サイボウズ株式会社
ArkEdge Space Inc.
さくらインターネット株式会社
LINEヤフー株式会社
セコム株式会社

招待講演

招待講演1

岡部寿男(京都大学)

「戦略目標「Society 5.0時代の安心・安全・信頼を支える基盤ソフトウェア技術」の理念とJST CREST「S5基盤ソフト」の取り組み」

概要

文部科学省が定める戦略的創造研究推進事業の戦略目標の一つとして「Society 5.0時代の安心・安全・信頼を支える基盤ソフトウェア技術」が採択され、それに基づいて令和3年度からJST CREST「基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出」(S5基盤ソフト)とJSTさきがけ「社会変革に向けたICT基盤強化」(ICT基盤強化)の二つのプログラムが実施されている。また令和6年度からは同目標を含む7つの戦略目標に基づく新たなプログラムとしてJST ACT-X「AI共生社会を拓くサイバーインフラストラクチャ」(サイバーインフラ)が開始された。講演者は、JST CREST「S5基盤ソフト」の研究総括の立場から、戦略目標制定の経緯とCRESTでの取り組み、さきがけ「ICT基盤強化」との連携、NSF SaTC (Secure and Trustworthy Cyberspace)の動向などについて概観する。また、我が国におけるシステム基盤ソフトウェア研究の振興について、参加者と議論を深めたいと考えている。

ホームページ: https://researchmap.jp/yokabe/

招待講演2

小山田昌史(日本電気株式会社)

「LLMからAI Agentへ 〜RAG、自己進化、ワークフロー〜」

概要

大規模言語モデル(LLM)がチャットAIの形で世に広まり2年が経とうとしている。

講演者はNECにおいて独自の大規模言語モデルcotomiの研究開発リードを務め、「業務で使えるLLM」の方針のもと、グローバルでも競争力のある性能と速度を実現してきた。 他方、「業務で使える」という観点にもとづけばLLMのみでは不十分であり、外部からの知識の獲得、継続的なモデルの改善、外界との接続など、様々な発展がのぞまれる。 そのような背景から講演者の研究グループでは「ユーザからの要求にもとづき様々なシステムと連携しながら依頼をこなす自律的なAI Agent」の研究開発に取り組んでいる。 本講演ではLLMの開発からAI Agentに至るまでの流れと、AI Agentにおける先端の取り組みについてご紹介する。

ホームページ: https://mooz.github.io/

トップカンファレンス凱旋講演

慶應義塾大学 土岐紘大 様

WoundDie: Concurrency Control Protocol with Lightweight Priority Control

Kodai Doki, Takashi Hoshino, and Hideyuki Kawashima,
In Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys ‘24), pp. 130–135 (2024).
https://doi.org/10.1145/3678015.3680480

Abstract

Recent concurrency control protocols for database transactions employ priority control to deliver predictable latency. Conventional protocols either require complex data structures or provide incomplete priority control that has a parameter and does not ensure starvation-freedom. To address this issue, we propose a new protocol, WoundDie, which ensures starvation-freedom without parameters. Unlike conventional starvation-free protocols, it does not require complex data structures for locking, making it memory-efficient and easy to implement. Experimental results demonstrated that under a high contention workload, WoundDie exhibited tail latency that was 6.5 times lower than Polaris’s best case and 80 times lower than its worst case.

東京農工大学 山田浩史 様

Reboot-Based Recovery of Unikernels at the Component Level

Takeru Wada and Hiroshi Yamada,
In 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 15-28 (2024).
https://doi.org/10.1109/DSN58291.2024.00017

Abstract

The unikernel is a library operating system (OS) where OS functions are linked to the target applications. Making the unikernel layer as reliable as possible is mandatory because it controls the linked application’s execution. However, like commodity OS kernels, the unikernel suffers from software bugs and non-deterministic hardware failures. The current standard for recovering a failed unikernel is reboot-based and it involves restarting the whole unikernel-linked application, which leads to service stops and long downtimes. This paper presents VampOS that performs efficient reboot-based recovery of the unikernel layer. VampOS forces the unikernel components to interact with each other in a message-passing manner to restart only the damaged one while keeping the others and the application running. We prototyped VampOS on Unikraft 0.8.0 and QEMU 6.1.50. The experimental results show that the prototypes for four applications effectively recover the failed components with almost zero downtime.

慶應義塾大学 赤間滉星 様

Scrappy: SeCure Rate Assuring Protocol with PrivacY

Kosei Akama, Yoshimichi Nakatsuka, Masaaki Sato, Keisuke Uehara,
Network and Distributed System Security(NDSS)(2024).
https://doi.org/10.14722/ndss.2024.24445

Abstract

Preventing abusive activities caused by adversaries accessing online services at a rate exceeding that expected by websites has become an ever-increasing problem. CAPTCHAs and SMS authentication are widely used to provide a solution by implementing rate limiting, although they are becoming less effective, and some are considered privacy-invasive. In light of this, many studies have proposed better rate-limiting systems that protect the privacy of legitimate users while blocking malicious actors. However, they suffer from one or more shortcomings: (1) assume trust in the underlying hardware and (2) are vulnerable to side-channel attacks. Motivated by the aforementioned issues, this paper proposes Scrappy: SeCure Rate Assuring Protocol with PrivacY. Scrappy allows clients to generate unforgeable yet unlinkable rate-assuring proofs, which provides the server with cryptographic guarantees that the client is not misbehaving. We design Scrappy using a combination of DAA and hardware security devices. Scrappy is implemented over three types of devices, including one that can immediately be deployed in the real world. Our baseline evaluation shows that the end-to-end latency of Scrappy is minimal, taking only 0.32 seconds, and uses only 679 bytes of bandwidth when transferring necessary data. We also conduct an extensive security evaluation, showing that the rate-limiting capability of Scrappy is unaffected even if the hardware security device is compromised.

慶應義塾大学 鈴木慶汰 様

Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux

Keita Suzuki, Kenta Ishiguro, Kenji Kono,
In 2024 USENIX Annual Technical Conference (ATC), pp. 493-508 (2024).
https://www.usenix.org/conference/atc24/presentation/suzuki

Abstract

Linux, a battle-tested codebase, is known to suffer from many bugs despite its extensive testing mechanisms. While many of these bugs require domain-specific knowledge for detection, a significant portion matches well-known bug patterns. Even though these bugs can be found with existing tools, our simple check of Linux kernel patches suggests that these tools are not used much in the developer’s daily workflow. The lack of usage is probably due to the well-known trade-off between analysis time and bug detection capabilities: tools typically employ complex analysis to effectively and comprehensively find bugs in return for a long analysis time, or focus on a short analysis time by only employing elementary analyses and thus can only find a very limited number of bugs. Ideally, developers expect the tools to incur short analysis time, while still finding many bugs to use them in daily development.

This paper explores an approach that balances this trade-off by focusing on bugs that can be found with less computationally-complex analysis methods, and limiting the scope to each source code. To achieve this, we propose a combination of computationally lightweight analyses and demonstrate our claim by designing FiTx, a framework for generating daily development-friendly bug checkers that focus on well-known patterns. Despite its simplicity, FiTx successfully identified 47 new bugs in the Linux kernel version 5.15 within 2.5 hours, outperforming Clang Static Analyzer and CppCheck in both speed and bug detection. It demonstrates that focusing on less complex bug patterns can still significantly contribute to the improvement of codebase health. FiTx can be embedded into the daily development routine, enabling early bug detection without sacrificing developers’ time.

ポスター

最優秀ポスター投票

ポスター発表一覧

  1. 状態機械複製プロトコルRabiaにおけるネットワーク分断耐性強化
    木田 碧, 川島 英之
    PDF
  2. VM間RowHammer防止技術のgem5を用いた検証システム
    川﨑 秀昌, 穐山 空道
    PDF
  3. Ubuntuパッケージ内のベクトル命令の使用傾向調査によるDownfall攻撃への影響推定
    原田 陽平, 穐山 空道
    PDF
  4. Windows 用アンチチートツールのコールバック改ざん防止機能の Linux への移植方法の検討
    稲森 大翔, 穐山 空道
    PDF
  5. VM上でのマルウェア動的解析のためのVMとホストでの取得可能ハードウェアイベント数の比較
    本田 健人, 穐山 空道
    PDF
  6. Arm TrustZoneのワールド間におけるPOSIX APIを用いた安全なプロセス協調
    佐藤 太陽, 光来 健一
    PDF
  7. クラウドソーシングによる倒壊家屋の判別手法についての検討
    大桑 一輝, 浦野 悠吾, 小板 隆浩
    PDF
  8. TEEを用いた低遅延でスケーラブルなRemote Attestationのための検証委任機構
    嵩 矢川, 照屋 唯紀, 須崎 有康, 阿部 洋丈
    PDF
  9. システムの挙動分析のためのリアルログ変換手法の実装及びその評価
    秋山 馨, 阿部 洋丈, 加藤 和彦
    PDF
  10. LoRaWANにおけるハフマン符号化と閾値制御によるデータ通信の効率化
    國領 あい理, 猪田 耕平, 小比賀 亮仁, 小板 隆浩
    PDF
  11. LoRaWANを用いた山林地域における災害予測システムの検討
    猪田 耕平, 国領 あい理, 小比賀 亮仁, 小板 隆浩
    PDF
  12. Towards Building Computing Clusters of Web Browsers
    Yao Li, Yasushi Shinjo
    PDF
  13. VPN を用いたユーザ間の IP アドレス交換による検閲とユーザトラッキングの防止の提案
    李 驍睿, 新城 靖, 知念 慧弥
    PDF
  14. 部屋の概念に基づく誰でも使えるアクセス制御の実現に向けて
    高橋 駿太朗, 趙 水鈺, 新城 靖
    PDF
  15. 機密実行環境を利用した個人情報管理のための高い可用性を持つログサーバの設計
    一木 祐介, 新城 靖, 曽山 暉史
    PDF
  16. Towards Developing Multi-Personal-Nodes Application
    Feng Han, Yasushi Shinjo
    PDF
  17. 高速なリーダー選出アルゴリズムの提案
    田中 昌宏, 川島 英之
    PDF
  18. Gato: Optimizing Multi-Version Deterministic Concurrency Control with Dynamic Partitioning, Split-on-Demand
    Jiyeon Lim, Haowen Li, Hideyuki Kawashima
    PDF
  19. ハイブリッド・マルチクラウドにおける非構造データの発見・取得容易化
    早坂 光雄
    PDF
  20. エッジコンピューティングにおけるWebAssemblyマイグレーションを活用した高可用性機能の検討
    齊藤 優月, 藤井 大悟, 松原 克弥, 中田 裕貴
    PDF

発表者向け情報

日時・場所

  • 日時: 2024年12月2日(月)16:15〜17:45
  • 場所: 2階 中会議室

※ ポスターセッションで発表する際には、「ポスター論文」の投稿に加え、ComSys2024参加申込が必要です。

発表準備

  • ポスターボードのサイズは (縦)170 cm x (横) 120 cm です.
  • A0サイズを目安にポスターを作成しご持参ください.
  • ポスター原稿はシンポジウムの論文集には含まれません。

発表募集

情報処理学会OS研究会

第36回コンピュータシステム・シンポジウム
(ComSys 2024)

発表論文募集

主査:品川 高廣
幹事:松原 克弥、川島 英之、穐山 空道、佐藤 将也、深井 貴明、吉村 剛

コンピュータシステム・シンポジウムは、情報処理学会システムソフトウェアとオペレ ーティング・システム研究会が中心となり開催しているシンポジウムで、1987年11月に 第1回を開催して以来、今年で36回目の開催となります。本シンポジウムは、年々著し い勢いで変化を遂げる基盤ソフトウェア技術の分野で、最新の話題や斬新なアイデアに ついての議論の場を提供してきました。本年度のシンポジウムでも、より萌芽的な研究 を集め、シンポジウムの発表や議論を通して発展させてもらうことを期待し、投稿論文 に対してプログラム委員会からの改善フィードバックを行います。また、この分野にお けるホットトピックや本研究会で発表された後に国際会議やジャーナル論文として成果 を収めた研究に関する招待講演の企画をすすめています。以上により、日頃の研究成果 の発表と意見交換を行う場を提供したいと考えています。

本シンポジウムでは、研究をより発展させてもらうことを期待して、投稿論文に対して プログラム委員会からのコメントフィードバックを得られる機会を提供します。また、 タイムリーな内容に関する招待講演やチュートリアルに加えて、これまでに本研究会で 発表された後に国際会議やジャーナル論文として成果を収めた研究についての招待講演 などの企画をすすめています。以上により、日頃の研究成果の発表と意見交換を行う場 を提供したいと考えています。

テーマ

システムソフトウェア全般

スコープ

  • オペレーティング・システム
  • 仮想化技術
  • クラウド・コンピューティング
  • セキュア&高信頼システム
  • ファイル&ストレージシステム
  • 分散システム
  • モバイルシステム
  • 組込みシステム
  • ビッグデータ&機械学習向けシステム
  • 複雑システムの管理や問題解決
  • IoTシステム
  • 実時間システム
  • ディペンダブルシステム
  • Peer-to-Peer技術
  • インターネット基盤技術
  • 並列システム
  • ミドルウェア
  • 他領域(アーキテクチャ、ネットワーク、プログラミング言語、検証、データベース等)と相互作用するシステム
  • その他システムソフトウェア一般

発表カテゴリ

一般発表

(以下の3種類から選択ください)

  1. 【標準】論文あり(コメントフィードバックあり):
    システムソフトウェアに関する最新の研究成果を論文及び口頭で発表していただきます。コメントは査読ではなく研究内容を洗練させるためのもので、シンポジウム開催後にフィードバックする予定です。通常の研究発表会にはない貴重な機会ですので、積極的な利用を推奨します。

  2. 論文あり(コメントフィードバック無し):
    コメントフィードバック無しの発表も可能です.

  3. 論文なし(概要投稿+口頭発表のみ):
    概要投稿+口頭発表のみをおこなうこともできます。萌芽的な研究や現在進行中の大型研究プロジェクトの内容、概ね過去一年以内に国際会議やジャーナル、プレプリントサーバ等で発表した研究内容などをコミュニティに紹介し、ディスカッションするための発表を想定しています。

ポスター・デモ発表

  • 参加者とのディスカッションをインタラクティブに行うことができます。一般発表に申し込みされた場合でも、ポスターでの同時発表を推奨します。ポスター・デモ発表は、開催会場において対面形式で実施する予定です。

原稿の作成

投稿論文は、情報処理学会の研究報告原稿のフォーマットに従ってください。所定のスタイルファイルを用いるものとし、スタイルファイルや行間のスペース等の変更は行わないでください。規定のフォーマットに従っていない論文は受理しないことがあります。

コメントフィードバック

コメントフィードバックありを希望する場合は、どのようなコメントが欲しいかをリクエストしてください。たとえば、

  • 論文のストーリーには説得力があるか、客観的な視点でコメントが欲しい。
  • 論文で、○○という点において悩んでいる。どのようにすれば解決できるか、アドバイスを貰えないか。
  • 将来、国際会議○○(あるいはジャーナル論文○○)への投稿を目指している。十分な内容に達しているか、足りないとすればどのような内容を補えばよいか、コメントが欲しい。
  • 評価実験は網羅的で十分な内容か。
  • 提案方式の説明はこの書き方で伝わるのか。図の意味は十分に把握できるのか。
  • 関連研究の○○と提案技術が近いことを心配している。差分は十分に主張できているか。

などなど、研究の進捗に応じて、コメントが欲しいポイントを明記してください。それに沿ってOS分野の一線の研究者がコメントをお返します。また、国際会議や論文誌といった将来の投稿先に応じたコメントもフィードバックいたします。

ポスター・デモ発表の原稿

ポスター・デモ発表へ申し込む場合には、発表するポスター・デモの内容を論文形式にしたものを以下の形式で準備して、上記締切日までにEasyChairへアップロードしてください。

  • 言語:日本語 または 英語
  • ページ数:A4 1~2ページ
  • 内容:下記の情報を含むこと。
    • 論文タイトル
    • 著者および所属
    • (概要については必ずしも必要ありません)
  • ファイル形式:PDF

発表申込

発表申込および概要登録・論文投稿は、すべてEasyChairを使用します。

  • EasyChair
    • 利用には、EasyChairのアカウント登録(無料)が必要です。
    • EasyChairの表示言語は英語ですが、論文タイトル、概要、著者情報などの入力には日本語が使用できます。
  • 一般発表(論文あり)については、上記締切日までにPDF形式で作成した論文をアップロードして下さい。

発表形態

  • 一般発表: 対面/オンライン(ハイブリッド)
  • デモ・ポスター: 対面のみ

日程

2024年12月2日(月)〜3日(火)

場所

慶應義塾大学来往舎(神奈川県横浜市)

各種〆切

内容 日時
一般発表 申込〆切 10月28日(月)
一般発表 原稿〆切 11月4日(月)
ポスター・デモ発表 原稿〆切 11月4日(月)
シンポジウム 12月2日(月)〜3日(火)
企業展示 申込〆切 11月4日(月)

注意事項

  • 一般発表申込
    • 概要のみ投稿して口頭発表する場合でも、論文を投稿する場合でも、申込締切はすべて同じです。
    • 論文ありの場合は10月28日(月)までに申込のうえ,11月4日(月)までに原稿をアップロードしてください.
    • 早期にプログラム編成を行う都合上,申込後に取下げがあってもプログラムを変更しませんのでご了承ください.
  • ポスター・デモ発表
    • ポスター・デモ発表の場合は上記締切までに申込と原稿アップロードをお願いします.

論文の公開

シンポジウム論文集には、一般発表の論文のみを掲載します。

シンポジウム論文集は完全オンライン化となっており、電子図書館(情報学広場)に掲載されます。紙の論文集は発行しません。なお、シンポジウム論文集はシンポジウム開催日の1週間前に公開されます。特許等の関係で公知日を考慮する必要がある場合はご注意ください。

投稿される論文の著作権の取り扱いは、「情報処理学会著作権規程」に従います。

また、研究発表会では毎回優秀若手発表賞の表彰をしています。受賞規定に該当する方は、発表申し込み時にあらかじめお知らせください。

受賞規定

https://sigos.ipsj.or.jp/award/best-young-present/#award-rule

その他

プレーンテキスト版の発表論文募集

企業展示ポスター

企業展示ポスター

企画趣旨

企業展示の趣旨といたしまして、企業でのシステムソフトウェアに関する研究、開発、業務などについてご紹介いただき、ComSys に参加する学生や研究者の方々と企業の接点を増やしていただこう、というものになります。システムソフトウェア分野に関わる学生の就職や共同研究のきっかけとなり、この分野の発展に繋がればと考えております。

なお、昨年度と異なり本年度の企業展示はポスター展示のみであり、ブース出展につきましてはスポンサーのみとなっております。スポンサーにつきましてはこちらをご参照ください。

展示ポスターの内容について

展示内容については、企業でのシステムソフトウェアに関わる活動の紹介であれば特に条件はございません。 採用情報の掲載や紹介も可能ですが、研究シンポジウムでの展示のため、採用活動一辺倒のような内容は避けていただけますと幸いです。内容が上記趣旨から大きく逸脱していると研究会で判断した場合は、展示をお断りさせていただくこともあります、予めご了承ください。

お申し込み

お問い合わせ先

  • 深井: takaaki.fukai(_at_)aist.go.jp
  • 宮澤: s-miyazawa(_at_)secom.co.jp
  • 田崎: tazaki(_at_)iij.ad.jp

委員会

実行委員会

委員長

品川 高廣(東京大学)

副委員長

川島 英之(慶應義塾大学)

企業展示担当

深井 貴明(産業技術総合研究所)
田崎 創(IIJ技術研究所)
宮澤 慎一(セコム)

プログラム委員会

品川 高廣(東京大学)
松原 克弥(公立はこだて未来大学)
川島 英之(慶應義塾大学)
穐山 空道(立命館大学)
佐藤 将也(岡山県立大学)
深井 貴明(産業技術総合研究所)
吉村 剛(IBM)
阿部 洋丈(筑波大学)
石黒 健太(慶應義塾大学)
追川 修一(東京都立産業技術大学院大学)
小口 正人(お茶の水女子大学)
尾上 浩一(富士通研究所)
空閑 洋平(東京大学)
光来 健一(九州工業大学)
小柴 篤史(ミュンヘン工科大学)
坂本 龍一(東京工業大学)
菅谷 みどり(芝浦工業大学)
杉木 章義(北海道大学)
須崎 有康(情報セキュリティ大学院大学)
高宮 安仁(TIS)
田崎 創(IIJ技術研究所)
田所 秀和(キオクシア)
土井 龍太郎(日本電気)
中園 翔(LINEヤフー)
早坂 光雄(日立製作所)
廣津 登志夫(法政大学)
堀井 圭祐(三菱電機)
松本 亮介(さくらインターネット)
宮澤 慎一(セコム)
毛利 公一(立命館大学)
山内 利宏(岡山大学)
山田 浩史(東京農工大学)

行動規範

行動規範(Code of Conduct)

ComSys 2024 では「OS研究会の行動規範」に従って行動していただけるようにお願いいたします。

会場

所在地

慶應義塾大学来往舎(神奈川県横浜市)

  • 〒223-8521 神奈川県横浜市港北区日吉4-1-1日吉キャンパス

Google Map