1 MN-Core向けOpenACC及びMNCLの言語処理系の開発進展について C3 ポスター・デモ綱島 隆太1, 中里 直人2, 鈴木 量三朗3, 遠藤 克浩4, 井町 宏人5, 牧野 淳一郎61神戸大学 2会津大学 3有限会社シンビー 4産業技術総合研究所 5株式会社Preferred Networks 6株式会社Preferred Networks、神戸大学
2 拡張パラダイムーーMixinの変種を使ってOOPを改良する C3 学生発表 ポスター・デモ殿畑 太朗11湘南工科大学情報学部情報工学専攻
3 Solvable Tuple Patterns C3 ポスター・デモNaoki Kobayashi1, Ryosuke Sato2, Ayumi Shinohara3, Ryo Yoshinaka31The University of Tokyo 2Tokyo University of Agriculture and Technology 3Tohoku University
4 グラフ書き換え言語 LMNtal による代数的効果とハンドラのエンコード C3 学生発表 ポスター・デモ岡村 朋佳1, 山本 直輝1, 上田 和紀11早稲田大学
5 Observer Construction and Opacity Verification Tool for One-Clock Timed Automata C3 ポスター・デモChao GAO11京都大学
6 スマートコントラクトに対するLiveness検証のためのRocqライブラリ C3 学生発表 ポスター・デモ諸冨 速人1, 西田 雄気11東北大学大学院情報科学研究科
7 WebAssembly 上で動作する言語ランタイムにおけるヒープ外部化アーキテクチャの検討 C3 学生発表 ポスター・デモ野牧 樹1, 中井 央2, 三宮 秀次31筑波大学理工情報生命学術院システム情報工学研究群 2筑波大学図書館情報メディア系 3筑波大学システム情報系
8 WebAssemblyを対象とした基本ブロックバージョニング方式JITコンパイラ C3 学生発表 ポスター・デモ古賀 壮1, 小宮 常康11電気通信大学
9 LLMが多用する二分法に対する脱構築的アプローチの可能性について C3 学生発表 ポスター松岡 大輔11放送大学大学院文化科学研究科文化科学専攻自然環境科学プログラム
10 Prioritized Streaming String Transducer による逆像計算の高速化 C3 ポスター千田 忠賢1, 山口 大輔2, 上川 先之11NTT社会情報研究所 2NTTコンピュータ&データサイエンス研究所
11 On Soundness of Ranking Supermartingales under Weak Non-negativity C3 ポスター滝坂 透1, Hongjie Qing1, Libo Zhang21電子科技大学 2University of Auckland
12 Maudeによる量子算術演算回路の形式検証 C3 学生発表 ポスター佐藤 直人1, 髙木 翼11北陸先端科学技術大学院大学
13 A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic C3 ポスター石井 大輔11北陸先端科学技術大学院大学
14 モデル解釈に基づく帰納論理プログラミングの高速化 C3 学生発表 ポスター中澤 朋1, 滝本 宗宏21東京理大学大学院創域理工学研究科情報計算科学専攻 2東京理大学創域理工学研究科情報計算科学科
15 ω-正規言語のzero-one性に対する代数的アプローチ C3 学生発表 ポスター田中 良尚1, 井上 裕介11名古屋大学
16 Answer-Type Modification for Lexical Effect Handlers C3 ポスターKai Pischke1, 孫 耀珠2, 関山 太朗21University of Oxford 2国立情報学研究所
17 多相的ラムダ計算のモデル検査が決定可能なフラグメントとその応用 C3 学生発表 ポスター橋本 拓郎1, 塚田 武志11千葉大学
18 revGo: Go言語の可逆デバッグに向けた拡張 C3 学生発表 ポスター小口 隼矢1, 結縁 祥治1, 吉田 展子2, Claudio Antares Mezzina31名古屋大学 2オックスフォード大学 3ウルビーノ大学
19 トレース論理のエンテイルメント判定のための循環証明体系 C3 学生発表 ポスター佐藤 拓海1, 中澤 巧爾11名古屋大学
20 Delimited Information Release ポリシーの自動合成 C3 学生発表 ポスター中山 祐貴1, 寺内 多智弘11早稲田大学
21 PHOAS を応用した Rocq 上での代数的効果の形式化手法の検討と証明の自動化 C3 学生発表 ポスター井本 有哉1, 池渕 未来11京都大学
22 グラフアテンションに基づく微分可能なMaxSAT解法 C3 学生発表 ポスター森山 総太1, 井上 克巳21総合研究大学院大学、国立情報学研究所 2国立情報学研究所
23 高水準記述を扱う誤り耐性量子計算向けコンパイラ C3 学生発表 ポスター渡邉 雄貴1, 塚田 武志1, 鈴木 泰成21千葉大学 2理化学研究所
24 因果無矛盾的な可逆デバッガCauDErに対する時間意味の導入 C3 学生発表 ポスター貞本 優菜1, 結縁 祥治21名古屋大学情報学部コンピュータ科学科 2名古屋大学大学院情報学研究科
25 Juliaノートブック環境の高速化を目指すアノテーションに基づく編集認識型JITコンパイル手法 C3 ポスター伊澤 侑祐1, 中丸 智貴2, 山崎 徹郎31東京都立大学システムデザイン研究科 2東京大学大学院総合文化研究科 3東京大学
26 eBPFプログラムの機能正当性検証のためのモデル検査と実行時検証の統合 C3 学生発表 ポスター神 拓己1, 和賀 正樹1, 五十嵐 淳1, 末永 幸平11京都大学大学院情報学研究科
27 Racket と Agda における設計思想および適用領域の比較 C3 学生発表 ポスター福田 心美1, 浅井 健一21お茶の水女子大学附属高等学校 2お茶の水女子大学
28 高階関数型部分可逆プログラミング言語における配列操作 C3 学生発表 ポスター須藤 龍一1, 松田 一孝21東北大学工学部電気情報物理工学科 2東北大学大学院情報科学研究科
29 Temporal Algebraic Effect Handlers C3 学生発表 ポスターLIU Yulong1, SEKIYAMA Taro11NII
30 漸進的借用検査を導入したRust言語のMIRインタプリタによる実現 C3 学生発表 ポスター両角 颯1, 山崎 徹郎1, 千葉 滋11東京大学
31 グラフ書き換え言語の中間命令列最適化および中間命令内でのバックトラックの削減 C3 学生発表 ポスター松村 陽輝1, 上田 和紀11早稲田大学
32 再現性を保証する同期型並列ASPソルバーの設計と実装 C3 学生発表 ポスター桂 献一郎1, 鍋島 英知21山梨大学大学院医工農学総合教育部工学専攻コンピュータ理工学コース 2山梨大学大学院総合研究部工学域電気電子情報工学系
33 A Secure Mocking Approach towards Software Supply Chain Security C3 ポスターDaisuke Yamaguchi1, Shinobu Saito1, Takuya Iwatsuka1, Nariyoshi Chida1, Tachio Terauchi21NTT, Inc. 2Waseda University
34 Timed Perception Pattern Matching using Spatial Timed Automata C3 学生発表 ポスターYU HAIXIANG1, 和賀 正樹11京都大学 大学院 情報学研究科
35 配列を含む分離論理のエンテイルメント問題と プログラム検証 C3 学生発表 ポスター吉田 流晟1, 木村 大輔11東邦大学大学院理学研究科
36 Formalizing the Banach-Zarecki Theorem using Dependent Types C3 学生発表 ポスター石黒 吉洋11名古屋大学多元数理科学研究科
37 プログラミング言語 Nim の型システムに関する理論的考察 C3 学生発表 ポスター・デモ品川 拓弥1, 住井 英二郎21東北大学 工学部 2東北大学 大学院 情報科学研究科
38 C/Rust相互運用におけるコンパイラバグのファジングによる探索 C3 学生発表 ポスター・デモ清水 琢也1, 酒寄 健1, 小林 直樹11東京大学
39 RustOwl: Rustにおける所有権とライフタイムの可視化 C3 学生発表 ポスター・デモ岡本 祐希1, 篠埜 功11芝浦工業大学
40 データフロー解析に基づくRuby型解析器の実アプリケーションへの適用と評価 C3 ポスター・デモ遠藤 侑介11STORES, Inc.
41 Blocklyへの外部拡張によるOCaml型推論システムの導入とその差分分析 C3 学生発表 ポスター・デモ岩田 菜々実1, 浅井 健一11お茶の水女子大学
42 生成AIを用いた型安全性証明のRocqコード生成 C3 学生発表 ポスター・デモ田子内 龍介1, 住井 英二郎21東北大学工学部 2東北大学大学院情報科学研究科
43 ニューラルネットワークによる辞書式ランキング関数の合成 C3 学生発表 ポスター・デモ朱 光漪1, 小林 直樹1, 酒寄 健11東京大学
44 ポインタ演算と多次元配列のための所有権篩型システム C3 学生発表 ポスター・デモ藤原 佑輔1, 松下 祐介1, 末永 幸平1, 五十嵐 淳11京都大学大学院情報学研究科
45 LLMを用いたCUDAプログラムの生成の精度向上を目指した修正フィードバックの試作 C3 学生発表 ポスター松本 紘周1, 山崎 徹郎1, 千葉 滋11東京大学大学院情報理工学系研究科
46 関数型言語のバグ発見のための篩型システム C3 学生発表 ポスター佐藤 聡太1, 松下 祐介1, 末永 幸平1, 五十嵐 淳11京都大学大学院情報学研究科
47 プログラム全体を考慮した関数ごとのLLMによるコード生成・修正プログラミングシステムの開発に向けて C3 学生発表 ポスター榊原 麻衣1, 山崎 徹郎1, 千葉 滋11東京大学情報理工学研究科
48 エフェクトハンドラを用いたワークスティーリングの実装 C3 学生発表 ポスター片桐 健人1, 佐藤 重幸1, 小宮 常康11電気通信大学
49 Selectively Appending Inferred Type Annotations to Improve the Efficiency of Gradually Typed Programs C3 学生発表 ポスター楊 恒宇1, 李 森曦1, 戴 峰1, 山崎 徹郎1, 千葉 滋11東京大学情報理工学系研究科
50 サンドボックス的アプローチによるRustにおける循環参照の構築を支援するシステムの試作 C3 学生発表 ポスター坂本 洸亮1, 山崎 徹郎1, 千葉 滋11東京大学情報理工学系研究科
51 回路型から測定型への変換と最適化による量子計算の形式検証 C3 学生発表 ポスター名越 龍一1, 髙木 翼11JAIST
52 Rustライブラリのスレッド安全性に関するバグのプログラム合成による発見 C3 学生発表 ポスター岡田 大空1, 松下 祐介1, 五十嵐 淳11京都大学
53 無限長証明を持つ順序ソート条件付き等式論理の到達可能完全性定理 C3 学生発表 ポスター孫 泰昇1, 高木 翼11北陸先端科学技術大学院大学
54 タイムスタンプ付き預言を用いたチャネルに基づく並行プログラムの全自動検証 C3 学生発表 ポスター永冨 敬士1, 小林 直樹1, 酒寄 健11東京大学
55 正規表現マッチングのメモ化アルゴリズムのDafnyによる実装と検証 C3 学生発表 ポスター木下 まひな1, 南出 靖彦11東京科学大学情報理工学院数理・計算科学系
56 ASPソルバー求解可視化ツールの開発 C3 学生発表 ポスター山下 知哉1, 上田 和紀11早稲田大学基幹理工学部情報理工学科
57 正格性型付けの再考 C3 学生発表 ポスター稻吉 悠羽1, 小林 直樹1, 酒寄 健11東京大学
58 CHCに基づくWebAssemblyの到達不可能性検証 C3 学生発表 ポスター八木 瑛久1, 小林 直樹2, 酒寄 健21東京大学理学部情報科学科 2東京大学大学院情報理工学系研究科
59 Forth処理系に対するMeta-tracing JITコンパイラの適用と性能評価 C3 学生発表 ポスター袴田 康太1, 伊澤 侑祐21東京都立大学システムデザイン学部 2東京都立大学システムデザイン研究科
60 論理制約付き項書き換えシステムのためのクヌース・ベンディックス順序の提案 C3 学生発表 ポスター笹倉 千楓1, 青戸 等人11新潟大学工学部
61 仮想選択ビュー上の更新操作に対する関数従属性を考慮した基底表への翻訳 C3 学生発表 ポスター近藤 湧太1, 日高 宗一郎11法政大学 情報科学研究科
62 リフレクションによる時刻の扱い C3 学生発表 ポスター鈴木 季1, 森口 草介1, 渡部 卓雄11東京科学大学情報理工学院情報工学コース
63 Accelerating Data-Intensive Search via a Staged DSL for Effect Handlers C3 学生発表 ポスターWeiyi Zhuang1, Akimasa Morihata11The University of Tokyo
64 Lean4による関係計算の形式化 C3 学生発表 ポスター早川 銀河1, 溝口 佳寛21九州大学大学院数理学府 2九州大学マス・フォア・インダストリ研究所
65 状態非依存な量子ラムダ計算の操作的意味論 C3 学生発表 ポスター柏木 力哉1, 五十嵐 淳11京都大学
66 Monadic Metaprogramming with Bananas, Lenses and Envelopes: A Fusion Framework C3 学生発表 ポスター李 張帆1, 亀山 幸義11筑波大学
67 動的な借用検査を活用したUnsafe Rustコードの正当性検査 C3 学生発表 ポスター桂 武蔵1, 松下 祐介2, 小林 直樹1, 酒寄 健11東京大学 2京都大学
68 量的不動点論理を用いた確率的プログラム検証のためのLoop Acceleration C3 学生発表 ポスター門馬 琢磨1, Clovis Eberhart2, 海野 広志21東北大学工学部電気情報物理工学科 2東北大学電気通信研究所
69 型に基づくRust API探索の手法と実装 C3 学生発表 ポスター後藤 将之1, 松下 祐介1, 五十嵐 淳11京都大学
70 JETLS.jl: 静的解析とランタイム情報を掛け合わせた Julia 言語の高機能 Language Serverの実装 C3 学生発表 ポスター門脇 宗平1, 山口 悠地2, 森口 草介2, 渡部 卓雄21JuliaHub, Inc. 2東京科学大学
71 冪等関数のためのプログラミング言語 C3 学生発表 ポスター山田 龍之介1, 中野 圭介21東北大学 電気情報物理工学科 2東北大学 電気通信研究所
72 Rustイテレータのためのリファインメント型推論 C3 学生発表 ポスター植原 一希1, 小川 広水, Clovis Eberhart2, 海野 広志21東北大学工学部電気情報物理工学科 2東北大学電気通信研究所
73 ADS実行時ログデータの可視化による挙動解析 C3 学生発表 ポスター・デモ鈴木 大飛1, 青木 利晃1, TRAN, Duong Dinh11北陸先端科学技術大学院大学
74 摂動付与による麻雀AIの解釈可能性向上 C3 学生発表 ポスター・デモ大倉 功士1, 和賀 正樹1, 池渕 未来1, 末永 幸平11京都大学大学院情報学研究科
75 定理証明支援系Rocqにおける述語展開を用いた定理検索プラグインの実装 C3 学生発表 ポスター・デモ高杉 丈太郎1, 中野 圭介21東北大学工学部電気情報物理工学科 2東北大学電気通信研究所
76 補助データの構造データへの色付けによる可視化と残像アニメーションの提案 C3 学生発表 ポスター・デモ林 みなみ1, 田邉 裕大1, 増原 英彦11東京科学大学
77 超並列プロセッサアレイ上のデータベースにおけるオンライン負荷分散に向けて C3 学生発表 ポスター・デモ秀島 宇音1, 佐藤 重幸2, 鵜川 始陽11東京大学 2電気通信大学
78 多段階計算に基づくコンパイル時テンソル形状検査のDNNプログラムへの適用 C3 学生発表 ポスター・デモ諏訪 敬之1, 五十嵐 淳21京都大学・株式会社イミロン 2京都大学
79 会話型プログラム設計学習環境Ladderの拡張 C3 学生発表 ポスター・デモ熊本 航太1, 叢 悠悠1, 増原 英彦11東京科学大学
80 定理証明支援系による動的型をもつプログラミング言語の検証基盤の実装 C3 学生発表 ポスター・デモ齋藤 佑貴1, 中野 圭介2, 浅田 和之2, 菊池 健太郎21東北大学大学院情報科学研究科 2東北大学電気通信研究所
81 直接操作によるデータ構造プログラミングの対話的合成 C3 学生発表 ポスター・デモ吉尾 拓真1, 田邉 裕大1, 増原 英彦11東京科学大学
82 非機密化のあるλ計算における型にもとづく安全な情報流のための環境双模倣 C3 ポスター住井 英二郎11東北大学 大学院 情報科学研究科
83 Unifying Function- and Argument-First Bidirectional Type Systems by Boxy Types C3 学生発表 ポスター吉岡 拓真1, 関山 太朗2, 五十嵐 淳11京都大学 2国立情報学研究所
84 Structuring Böhm-Jacopini Graphs C3 学生発表 ポスターBatyrbek Danel1, 亀山 幸義11筑波大学
85 代数的エフェクトハンドラのSmall-stepインタプリタの導出 C3 学生発表 ポスター相馬 一葉1, 浅井 健一11お茶の水女子大学
86 等式理論に対する有限導出型 C3 学生発表 ポスター山下 拓真1, 池渕 未来11京都大学
87 A categorical semantics of the modal linear lambda-calculus C3 ポスターYosuke Fukuda11Kyoto Tachibana University
88 大規模Rubyアプリケーションに対する自動テスト分散実行基盤 C3 ポスター大塚 真太朗11STORES株式会社
89 借用可能リソースのためのTypestateプログラミング C3 学生発表 ポスター川上 竜司1, 田邉 裕大2, 関山 太朗31総合研究大学院大学 2東京科学大学 3国立情報学研究所
90 CRuby処理系におけるGCガードマクロ漏れによるオブジェクト誤回収の検知手法 C3 学生発表 ポスター青田 紘輝1, 小宮 常康21電気通信大学 大学院情報理工学研究科 情報・ネットワーク工学専攻 小宮研究室 2電気通信大学 大学院情報理工学研究科 情報・ネットワーク工学専攻
91 control/promptのsmall-stepインタプリタの導出 C3 学生発表 ポスター小高 菜摘1, 浅井 健一11お茶の水女子大学
92 バックトラックによる後読み付き正規表現マッチングの計算量解析に向けて C3 学生発表 ポスター足立 宏介1, 佐藤 哲也1, 南出 靖彦11東京科学大学 情報理工学院 数理・計算科学系
93 形式言語族上の測度論的な閉包作用素 C3 学生発表 ポスター洞 龍弥1, 新屋 良磨21東京大学 2秋田大学
94 Rabbitモデルの検証結果における可読性向上のためのトレースグラフの構築 C3 学生発表 ポスター長谷川 光1, 五十嵐 淳11京都大学
95 関数型言語と自然言語における擬引用 C3 ポスター占部 雄大11国立国語研究所
96 Specification-Guided Abstractionの出力文字列への拡張および確率的モデル検査への応用 C3 学生発表 ポスター松本 翼1, 渡邉 知樹2, 和賀 正樹31京都大学 2国立情報学研究所 3京都大学, 国立情報学研究所
97 限定継続演算子の仮想機械における継続実行の最適化に向けて C3 学生発表 ポスター石尾 千晶1, 浅井 健一11お茶の水女子大学
98 ユーザーによる仮定の宣言を可能とするRabbit処理系の拡張と検証の高速化 C3 学生発表 ポスター北川 聖也1, 五十嵐 淳11京都大学
99 JavaScriptにおける静的最適化と動的性質の統合と評価 C3 学生発表 ポスター笠 将稀1, 岩崎 英哉11明治大学理工学部
100 Towards Borrowable Ownership Types with Algebraic Effect Handlers C3 学生発表 ポスターPeien Chen1, Yudai Tanabe1, Taro Sekiyama21Institute of Science Tokyo 2National Institute of Informatics
101 JavaScript 処理系におけるオブジェクトへの属性アクセスの最適化 C3 学生発表 ポスター山内 望1, 岩崎 英哉21明治大学 大学院理工学研究科 2明治大学 理工学部
102 同型を除いた単一化を用いた型主導ライブラリ検索 C3 学生発表 ポスター瀧本 哲史1, 森口 草介1, 渡部 卓雄11東京科学大学
103 定理証明支援系Rocqを用いた双方向変換におけるレンズ則の含意の証明 C3 学生発表 ポスター長田 和樹1, 中野 圭介11東北大学大学院情報科学研究科
104 IFNライブラリの精度制御機構の改良 C3 学生発表 ポスター川浦 孟士1, 岩崎 英哉11明治大学 理工学部
105 Modular Representation of Choice-Based Computation via Higher-Order Syntax C3 学生発表 ポスター谷口 茜1, Tom Schrijvers2, 叢 悠悠1, 増原 英彦11東京科学大学 2KU Leuven
106 Multi-Version Objectsによる複数バージョンが共存するアプリケーションの構築と進化 C3 学生発表 ポスター糟谷 颯希1, 田邉 裕大1, 増原 英彦11東京科学大学
107 テンソル多体近似を用いた関係データ因子分解の実現 C3 学生発表 ポスター磯邊 猛1, 杉山 麿人1,21総合研究大学院大学 2国立情報学研究所
108 多相型付きCPS計算および暗黙的多相付きλ計算から多相型付きCPS計算への変換 C3 学生発表 ポスター中村 光希1, 五十嵐 淳1, 関山 太朗21京都大学 2国立情報学研究所
