| システムソフトウェアとセキュリティ |
| 9月3日（水）13:10-15:10 2b会場 |
| B-001 | 近似コンピューティング向け分散インメモリ・キャッシュの実現
◎齊藤 七菜・河野 健二（慶應義塾大学） |
| B-002 | Enclave に対するデータ競合攻撃を防止する検査コードの生成
◎古都 瀬菜・畑 輝史・河野 健二（慶應義塾大学） |
| B-003 | 機密情報の拡散追跡機能におけるprocfsを用いた管理対象の把握および変更手法の評価
○森山 英明（有明工業高等専門学校）・山内 利宏（岡山大学）・佐藤 将也（岡山県立大学）・谷口 秀夫（岡山大学） |
| B-004 | Tenderにおける複数プロセス実行時の入出力性能調整法の評価
◎矢野 史子・山内 利宏・谷口 秀夫（岡山大学） |
| B-005 | システム設計最適化を目的としたリアルタイム制御用Linuxの性能評価
◎大塚 奎佑・堀井 圭祐・山田 竜也・山本 遼介（三菱電機） |
| KBSEとSS |
| 9月3日（水）15:30-17:30 3b会場 |
| B-006 | ドメイン駆動設計に基づくクリーンアーキテクチャにおけるアクセス制御構造記述のためのセキュリティ層の提案
◎上原 宗大・和﨑 克己（信州大学） |
| B-007 | ニューロン間の関係性を考慮したカバレッジに基づくテストケース自動生成手法
◎髙橋 勇人・岸 知二（早稲田大学） |
| B-008 | LLMを活用したデータ相互運用性の自動実現について
○山下 蘭・山田 正隆・岩政 幹人・砂川 英一・藤原 浩司（（株）東芝 総合研究所 AIデジタルR&Dセンター）・林 晋平・小林 隆志（東京科学大学） |
| B-009 | ブローカを伴う低QoSの出版-購読型通信を用いる確率的分散制約最適化手法の検討
○松井 俊浩（名古屋工業大学） |
| B-010 | LMNtal処理系を用いた操作的メモリモデルのシミュレーションと検証
◎岡 慶樹（京都大学）・上田 和紀（早稲田大学） |
| B-011 | グラフ書換え言語 LMNtal への確率の導入
◎橋本 悠汰・上田 和紀（早稲田大学） |
| スケジューリングと高性能計算 |
| 9月4日（木）9:30-12:00 4b会場 |
| B-012 | オーバーヘッドを抑制したマルチプロセッサに対応したスケジューリングアルゴリズムの提案
◎平井 佑樹・兪 明連（東京都市大学） |
| B-013 | EDCLに基づいた様々な準最高優先度を設定したスケジューリングアルゴリズムの提案
◎辻井 智紀・兪 明連（東京都市大学） |
| B-014 | CPUとGPU混載環境におけるハイブリッド並列の最適化実装の評価
◎山下 将嗣・若谷 彰良（甲南大学） |
| B-015 | GPU上での粒子法陽解法におけるバケット順データレイアウト
◎富岡 我空・富永 浩文・吉田 明正（明治大学） |
| B-016 | ヘテロ型マルチGPUクラスタシステムによる4K解像度位相型実時間電子ホログラフィ
○土居 明可・中谷 優月・髙田 直樹（高知大学） |
| 量子・ソフトウェア工学 |
| 9月4日（木）15:30-17:30 5b会場 |
| B-017 | アニーリング技術を用いた連続線形イコライザのブラックボックス最適化
◎越川 翔太（三菱電機） |
| B-018 | 量子特徴抽出を用いた画像分類のPennyLaneによる性能評価
◎西尾 涼太郎・吉田 明正（明治大学） |
| B-019 | Qiskitによる量子古典ハイブリッド画像分類における勾配消失評価
◎本 航大・吉田 明正（明治大学） |
| B-020 | Pythonを用いたインテリジェントパッドの開発と応用
○野口 孝文・布施 泉（北海道大学） |
| B-021 | 画像処理用NoCにおけるルーティングアルゴリズムの形式的検証
◎伊藤 駿介・近藤 真史（岡山理科大学）・横川 智教（岡山県立大学） |
| B-022 | DevSecOpsにおけるパイプラインのセキュリティ検証手法
◎吉村 隼哉・桑名 栄二（情報セキュリティ大学院大学） |
| ソフトウェア要求・信頼性 |
| 9月5日（金）9:30-12:00 6c会場 |
| B-023 | 信頼性が保証された形式的ソフトウェア部品の自動生成手法の改善と評価
◎佐々木 孝紘・織田 健（電気通信大学） |
| B-024 | 形式的ソフトウェア合成システムの構築と妥当性検証
◎田中 涼介・織田 健（電気通信大学） |
| B-025 | A Note on Software Reliability Modeling Based on Hawkes Processes with Time-Dependent Base Intensity
◎邱 南翔・土肥 正・鄭 俊俊・岡村 寛之（広島大学） |
| B-026 | 品詞に注目した仕様書の論理記述変換手法
◎松上 絢亮・岸 知二（早稲田大学） |
| B-027 | システム開発におけるステークホルダ要求事項の明確化手法の提案
○福住 伸一（理化学研究所）・野田 夏子・渡辺 ゆず香（芝浦工業大学）・谷川 由紀子（理化学研究所） |
| B-028 | Webフレームワーク型OSSを対象にした生存時間の予測と影響要因の分析
◎王 茜・邵 腾飛・岸 知二（早稲田大学） |
