PPL 2026 Accepted Papers/Posters/Demos
カテゴリ1
- 石井 大海, 清水 太朗, 寺村 俊紀. 数理最適化向け埋め込み型領域特化言語 JijModeling 2 におけるプログラミング言語理論の応用について
- 穴田 直也, 寺内 多智弘. 例を用いた正規表現修正における文脈を考慮した一般化の導入と例記述規則の拡張
- 岡本 祐希, 篠埜 功. RustOwl: Rustにおける所有権とライフタイムの可視化
- 片桐 健人, 佐藤 重幸, 小宮 常康. エフェクトハンドラを用いたワークスティーリングの実装
- 田村 優衣, 浅井 健一. shift0/reset0 を含む型付き言語におけるCPS変換の正当性の証明
- 上野 雄大, 篠埜 功. 転置構文木を用いたギャップを含むコードクローン検出手法
- 伊藤 宗平, 龍田 真. プレスバーガー算術上の線形リストの論理体系の決定可能性
- 吉村 友成, 田邉 裕大, 増原 英彦. トレーシングJITコンパイラを用いた多段階計算の高速かつ簡易な実行方式
- Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi. IsoLang: a User-Friendly Reversible Programming Language with Inductive Types
- Taisei Nogami, Tachio Terauchi. Hardness of Regular Expression Matching with Extensions
- Peien Chen, Yudai Tanabe, Taro Sekiyama. Towards Borrowable Ownership Types with Algebraic Effect Handlers
- 笹田 耕一. ASTro による JIT コンパイラの試作
- Makoto Kanazawa. Verification of the Garsia–Wachs Algorithm
- Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara. Multi-Version Objects: Mediating Object Access in Mixed-Version Programs for Python
- Fengcheng Wang, Koichi Sasada, Tomoharu Ugawa. Implementation of Lox Language Using ASTro Interpreter Optimizer
- Junyu Lin, Akimasa Morihata. Recursive function synthesis based on structural relationships
- Jinsong Yu, 笹田 耕一, 鵜川 始陽. RubyにおけるDOALL+Reduction型ループの投機的並列化機構LRactor
カテゴリ2
- Mayuko Kori, Kazuki Watanabe. A No-go Theorem for Coalgebraic Product Construction [29th International Conference on Foundations of Software Science and Computation Structures]
- Anton Varonka, Kazuki Watanabe. On Piecewise Affine Reachability with Bellman Operators [50th International Symposium on Mathematical Foundations of Computer Science (MFCS2025)]
- Ryota Kojima, Corina Cirstea. Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics [41st Conference on Mathematical Foundations of Programming Semantics MFPS XLI (MFPS 2025)]
- Rose Bohrer. Programming Language Case Studies Can Be Deep [Trends in Functional Programming in Education 2024 (TFPiE)]
- Hiromi Ogawa, Taro Sekiyama, Hiroshi Unno. Thrust: A Prophecy-based Refinement Type System for Rust [Proceedings of the ACM on Programming Languages, Volume 9, Issue PLDI Article No.: 230, Pages 2056 - 2080]
- 川本 裕輔, 小林 賢太朗, 末永 幸平. StatWhy: 仮説検定プログラムのための形式検証ツール [The 37th International Conference on Computer Aided Verification (CAV2025)]
- Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. Daisy: An Exercise Environment for Learning Information Modeling [ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2025)]
- Izumi Tanaka, Ken Sakayori, Shinya Takamaeda-Yamazaki, Naoki Kobayashi. Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators [ESOP2026: 発表予定]
- Mirai Ikebuchi. Homological Invariants of Higher-Order Equational Theories [LICS 2025]
- Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda. Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi [PADL 2026]
- Kazutaka Matsuda, Minh Nguyen, Meng Wang. Lenses for Partially-Specified States [ESOP 2026]
- Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga. Efficient Black-Box Checking with Specification-Guided Abstraction [EMSOFT 2025]
- Masaki Waga, Étienne André. Hyper pattern matching [The 25th International Conference on Runtime Verification (RV 2025)]
- Takao Yuyama, Ryoma Sin'Ya. Measuring Power of Commutative Group Languages [28th International Conference on Implementation and Application of Automata (CIAA 2024)]
- Daisuke Yamaguchi, Shinobu Saito, Takuya Iwatsuka, Nariyoshi Chida, Tachio Terauchi. A Secure Mocking Approach towards Software Supply Chain Security [The 40th IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE-NIER 2025)]
- Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo. Chance and Mass Interpretations of Probabilities in Markov Decision Processes [the 36th International Conference on Concurrency Theory (CONCUR 2025)]
- Yoshiki Nakamura. A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead [FoSSaCS 2026]
カテゴリ4
- 小川 瑞史. マルウェア解析のためのバイナリコード上の動的記号実行
- 新屋 良磨. 形式言語の4つの決定問題:所属判定・包含判定・分離可能性・可測性