PLDI

2022–2026 LIVE

著者一覧 · 国際会議 · 大学ランキング

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2026 · 106 papers

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

2026 · PLDI
&inator: Correct, Precise C-to-Rust Interface Translation
Victor Chen, Ayden Coughlin, Michael D. Bond
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
A Categorical Basis for Robust Program Analysis
Zachary Kincaid, Shaowei Zhu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
A Compiler for Fused Relational Operations on Multisets
James Dong, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
A Deductive System for Contract Satisfaction Proofs
Arthur Correnson, Haoyi Zeng, Jana Hofmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
A Formally Verified Foundation for Compositional Heterogeneous Coherence
An Qi Zhang, Andrés Goens, Daniel Sorin, Vijay Nagarajan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
A Hierarchy of Supermartingales for ω-Regular Verification
Satoshi Kura, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 東北大学 / 早稲田大学
2026 · PLDI
A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs
Amanda Liu, Gilbert Louis Bernstein, Shoaib Kamil, Adam Chlipala, Jonathan Ragan-Kelley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
A Verified Parallel Scheduler for OCaml 5
Clément Allain, Gabriel Scherer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities
Yuanfeng Shi, Ziyue Jin, Xin Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
An Efficient Algorithm for Streaming BPE Tokenization
Konstantinos Mamouras, Angela W. Li, Yudi Yang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Analyzing Bytes: Pre-Disassembly Static Binary Analysis
Huan Nguyen, Soumyakant Priyadarshan, Chencheng Jiang, R. Sekar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Backwards-Compatible Row-Based Exceptions in ML
Simcha van Collem, Paulo Emílio de Vilhena, Robbert Krebbers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Bonsai: Compiling Queries to Pruned Tree Traversals
Alexander J Root, Christophe Gyurgyik, Purvi Goel, Kayvon Fatahalian, Jonathan Ragan-Kelley, Andrew Adams, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity
Jiayi Wang, Yu Wang, Linzhang Wang, Ke Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
CRIS: The Power of Imagination in Hybrid Verification
Yonghee Kim, Taeyoung Yoon, Sanghyun Yi, Jaehyung Lee, Soonwon Moon, Yeji Han, Seonho Lee, Taeyoung Rhee, Yujin Im, Donghyun Nam, Jieung Kim, Chung-Kil Hur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Categorical Semantics of Probabilistic Symbolic Execution
John M. Li, Jack Czenszak, Steven Holtzen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Causality and Semantic Separation
Anna Zhang, Qinglan Luo, London Bielicke, Eunice Jun, Adam Chlipala
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Cerisier: A Program Logic for Attestation in a Capability Machine
June Rousseau, Denis Carnier, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
Celeste Barnaby, Danny Ding, Osbert Bastani, Işıl Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
CoTenN: Constrained Optimization with Tensor Networks
Ritvik Sharma, Cheng Peng, Siddharth Dangwal, Sara Achour
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
Charles Yuan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Zain K Aamer, Rini Banerjee, Hiroyuki Katsura, David Kaloper-Meršinjak, Dimitrios J. Economou, Kayvan Memarian, Dhruv Makwana, Neel Krishnaswami, Benjamin C. Pierce, Christopher Pulte, Peter Sewell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels
Abhinav Jangda
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Compiling to Recurrent Neurons
Joey Velez-Ginorio, Nada Amin, Konrad Kording, Steve Zdancewic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Contextual Embeddings: Implementing Bound Variables through Instance Resolution
Samantha Frohlich, Jessica Foster, G. A. Kavvos, Meng Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
Kwing Hei Li, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Cpp2Rust: Automatic Translation of C++ to Safe Rust
Lucian Popescu, Francisco Gouveia, Henrique Preto, João Silveira, Dmytro Hrybenko, José Fragoso Santos, Nuno P. Lopes
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Decoupling Data Layouts from Bounding Volume Hierarchies
Christophe Gyurgyik, Alexander J Root, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Diagramming Program Values by Spatial Refinement
Siddhartha Prasad, Michael Tu, Karan Kashyap, Tim Nelson, Shriram Krishnamurthi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Dynamically Checked Deep Immutability in Python
Fridtjof Stoldt, Sylvan Clebsch, Matthew A. Johnson, Matthew J. Parkinson, Tobias Wrigstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination
Ekaterina Zhuchko, Ian Erik Varatalu, Margus Veanes, Nikolaj Bjørner
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Enumerating Ill-Typed Programs for Testing Type Analyzers
Thodoris Sotiropoulos, Zhendong Su
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Equality Saturation for Quantum Circuit Optimization
Ganxiang Yang, Paige Raun, Runzhou Tao, Ronghui Gu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
Songlin Jia, Guannan Wei, Siyuan He, Yuyan Bao, Tiark Rompf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
Shaurya Gomber, Debangshu Banerjee, Gagandeep Singh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
Dongjae Lee, Kihong Heo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Exploiting Sophisticated Static Analysis for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Fast Atomicity Monitoring
Hünkar Can Tunç, Yifan Dong, Andreas Pavlogiannis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Fixed Parameter Tractable Linearizability Monitoring
Zheng Han Lee, Umang Mathur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Iacovos G. Kolokasis, Shoaib Akram, Foivos S. Zakkak, Polyvios Pratikakis, Angelos Bilas
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Flow-Analysis-Based Closure Optimization
John Reppy, Olin Shivers, Byron Zhong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Fungible Memories for Automated Technology Mapping and Retargeting
Zachary D. Sisco, Sijie Kong, Daniel Ruelas-Petrisko, Jingtao Xia, Julian Springer, Varun Rao, Spencer Wang, Gus Henry Smith, Ben Hardekopf, Jonathan Balkind
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
GradInf: Gradient Estimation as Probabilistic Inference
Gaurav Arya, Mathieu Huot, Moritz Schauer, Alexander K. Lew, Feras A. Saad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
Haoran Peng, Baris Kasikci, Gilbert Louis Bernstein, Michael D. Ernst
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Hybrid Path-Sums for Hybrid Quantum Programs
Christophe Chareton, Jad Issa, Mathieu Nguyen, Nicolas Blanco, Sébastien Bardin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Hyper Separation Logic
Trayan Gospodinov, Peter Müller, Thibault Dardinier
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Implementability of Global Distributed Protocols Modulo Network Architectures
Elaine Li, Thomas Wies
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Improving Equality Saturation for EDA via Semantic E-Graphs
Sijie Kong, Jingtao Xia, Daniel Ruelas-Petrisko, Zachary D. Sisco, Jonathan Balkind, Gus Henry Smith
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
Fabian Zaiser, Jack Czenszak, Martin C. Rinard, Vikash K. Mansinghka, Alexander K. Lew
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Intrinsically Correct Algorithms and Recursive Coalgebras
Cass Alexandru, Henning Urbat, Thorsten Wißmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
Maxime Legoupil, Mathias Pedersen, Lars Birkedal, Sam Lindley, Jean Pichon-Pharabod
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Guido Martínez, Bastian Köpcke, Jonáš Fiala, Gabriel Ebner, Tahina Ramananandro, Michel Steuwer, Tyler Sorensen, Nikhil Swamy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
Zhengyao Lin, Yi Cai, Milijana Surbatovich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
MatchBox: A Semantic Foundation for Data Plane Portability
Eric Hayden Campbell, Robert Zhang, Divyanshu Saxena, Aditya Akella, Işıl Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Modular GPU Programming with Typed Perspectives
Manya Bansal, Daniel Sainati, Joseph W. Cutler, Saman Amarasinghe, Jonathan Ragan-Kelley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
Philipp G. Haselwarter, Alejandro Aguirre, Simon Oddershede Gregersen, Kwing Hei Li, Joseph Tassarotti, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Shangkun Li, Jinming Ge, Diyuan Tao, Zeyu Li, Jiawei Liang, Linfeng Du, Jiang Xu, Wei Zhang, Cheng Tan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Navigating AND–OR Graph Modifications to Debug Failing Proof Search
Justin Lubin, Marlena Preigh, Max Willsey, Sarah E. Chasins
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
Yifan Zhao, Egan Johnson, Prasanth Chatarasi, Vikram Adve, Sasa Misailovic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq
Thomas Lamiaux, Yannick Forster, Matthieu Sozeau, Nicolas Tabareau
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Yu Huang, Ziji Wu, Zhengyi Ma, Kexin Ma, Ji Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Optimal Predicate Pushdown Synthesis
Robert Zhang, Eric Hayden Campbell, Dixin Tang, Işıl Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Optimism in Equality Saturation
Russel Arbore, Alvin Cheung, Max Willsey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Pantomime: Constructive Leakage Proofs via Simulation
Robin Webbers, Robert Schenck, Wind Wong, Kristina Sojakova, Klaus von Gleissenthall
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
Amir K. Goharshady, Kerim Kochekov, Tian Shu, Ahmed Khaled Zaher
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Path-Sensitive Abstract Interpretation for WCET Estimation
Shangshang Xiao, Mengxia Sun, Wei Zhang, Naijun Zhan, Lei Ju
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Persistent Iterators with Value Semantics
Yihe Li, Gregory J. Duck
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Rui Dong, Qingyue Wu, Danny Ding, Zheng Guo, Ruyi Ji, Xinyu Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
Yusuke Matsushita, Hiromi Ishii
Programming Languages & Formal Methods
日本大学: 京都大学
2026 · PLDI
Redundant Array Computation Elimination
Zixuan Wang, Liang Yuan, Xianmeng Jiang, Kun Li, Junmin Xiao, Yunquan Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Responsive Parallelism with Dynamic and First-Class Priorities
Marelle León, My Dinh, Stefan K. Muller
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets
Yujiang Gui, Yonggang Tao, Jingling Xue
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
Jeonghyeon Kim, Jongse Park, Youngjin Kwon, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
SAIL: Sound Abstract Interpreters with LLMs
Qiuhan Gu, Avaljot Singh, Gagandeep Singh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
Nengkun Yu, Jens Palsberg, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior
Zheyuan Chen, Naomi Rehman, Guido Martínez, Tyler Sorensen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
SSA without Dominance for Higher-Order Programs
Roland Leißa, Johannes Max Griebler
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Scalable Floating-Point Satisfiability via Staged Optimization
Yuanzhuo Zhang, Zhoulai Fu, Binoy Ravindran
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Semantic Reification: A New Paradigm for Random Program Generation
Kavya Chopra, Cong Li, Thodoris Sotiropoulos, Zhendong Su
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
Eden Frenkel, Kenneth L. McMillan, Oded Padon, Sharon Shoham
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Solvable Tuple Patterns and Their Applications to Program Verification
Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
Programming Languages & Formal Methods
日本大学: 東北大学 / 東京農工大学 / 東京大学
2026 · PLDI
Soteria: Efficient Symbolic Execution as a Functional Library: Perhaps You Should Write Your Own Symbolic Execution Engine!
Sacha-Élie Ayoun, Opale Sjöstedt, Azalea Raad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
Zhen Du, Ying Liu, Xionghui Chen, Yanbo Zhao, Xiaobing Feng, Huimin Cui, Jiajia Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
State Space Estimation for DPOR-Based Model Checkers
A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
SuperCollider: Scalable and Effective Data Race Detection for CUDA
Mark Stephenson, Sana Damani, Mohamed Tarek Ibn Ziad, Anis Ladram, Michael Garland
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
SuperDP: Differential Privacy Refutation via Supermartingales
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Đorđe Žikelić
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
Satoshi Kura, Hiroshi Unno, Takeshi Tsukada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東北大学 / 早稲田大学
2026 · PLDI
SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols
Longfei Qiu, Jingqi Xiao, Ji-Yong Shin, Zhong Shao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Syntactic Implicit Parameters with Static Overloading
Daan Leijen, Tim Whiting
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Synthesizing Backward Error Bounds, Backward
Laura Zielinski, Justin Hsu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
The Downgrading Semantics of Memory Safety
René Rydhof Hansen, Andreas Stenbæk Larsen, Aslan Askarov
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
The Search for Constrained Random Generators
Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Towards Efficient Matching of Regexes with Backreferences using Register Set Automata
Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Jan Vašák, Sabína Gulčíková
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Towards Removing Undef Values from LLVM IR
Pedro Lobo, John McIver, George Mitenkov, Juneyoung Lee, Kirshanthan Sundararajah, Nuno P. Lopes
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Trace-Guided Synthesis of Effectful Test Generators
Zhe Zhou, Ankush Desai, Benjamin Delaware, Suresh Jagannathan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
Henrijs Princis, Arindam Sharma, Cristina David
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Typestate via Revocable Capabilities
Songlin Jia, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao, Tiark Rompf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Uniformity Analysis in the WebGPU Shading Language
James Lee-Jones, John Wickerson, Alastair F. Donaldson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · PLDI
Verification Modulo Tested Library Contracts
Abhishek Uppar, Omar Muhammad, Sumanth Prabhu S, Deepak D'Souza, P. Madhusudan, Adithya Murali
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）