PPL 2026: 第28回プログラミングおよびプログラミング言語ワークショップ

石井大海, 清水太朗, 寺村俊紀. 数理最適化向け埋め込み型領域特化言語 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

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]

PPL 2026 Accepted Papers/Posters/Demos

カテゴリ１

カテゴリ２

カテゴリ４