PLDI

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2026 · 106 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2026 · PLDI

   Verification of Recursively Defined Quantum Circuits

   Mingsheng Ying, Zhicheng Zhang

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2026 · PLDI

   Verifying Array Properties in Pure Data-Parallel Programs

   Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin Oancea

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2026 · PLDI

   Versioned E-Graphs

   Jahrim Gabriele Cesario, George Zakhour, Pascal Weisenburger, Guido Salvaneschi

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2026 · PLDI

   VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System

   Travis Hance, Laila Elbeheiry, Yusuke Matsushita, Derek Dreyer

   Programming Languages & Formal Methods

   日本大学: 京都大学

5. 2026 · PLDI

   Virtualizing Continuations

   Cong Ma, Jonghyun Jung, Yizhou Zhang

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2026 · PLDI

   Weighted NetKAT: A Programming Language for Quantitative Network Verification

   Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz, Oliver Bøving, Nate Foster, Alexandra Silva

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）