PPaperPicks
← All conferences
Editions202620252024

PLDI 2026

A*

ACM SIGPLAN Conference on Programming Language Design & Implementation

Official site ↗
108
accepted papers
405
authors
June 15-19, 2026
dates
United States
location

108 / 108 papers

  1. 1
    &inator: Correct, Precise C-to-Rust Interface Translation
    Victor Chen
    ,
    Ayden Coughlin
    ,
    Michael D. Bond
  2. 2
    A Categorical Basis for Robust Program Analysis
    Zachary Kincaid
    ,
    Shaowei Zhu
  3. 3
    A Compiler for Fused Relational Operations on Multisets
    James Dong
    ,
    Fredrik Kjolstad
  4. 4
    A Deductive System for Contract Satisfaction Proofs
    Arthur Correnson
    ,
    Haoyi Zeng
    ,
    Jana Hofmann
  5. 5
    A Formally Verified Foundation for Compositional Heterogeneous Coherence
    An Qi Zhang
    ,
    Andrés Goens
    ,
    Daniel J. Sorin
    ,
    Vijay Nagarajan
  6. 6
    A Hierarchy of Supermartingales for ω-Regular Verification
    Satoshi Kura
    ,
    Hiroshi Unno
  7. 7
    A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs
    Amanda Liu
    ,
    Gilbert Louis Bernstein
    ,
    Shoaib Kamil
    ,
    Adam Chlipala
    ,
    Jonathan Ragan-Kelley
  8. 8
    A Verified Parallel Scheduler for OCaml 5
    Clément Allain
    ,
    Gabriel Scherer
  9. 9
    Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities
    Yuanfeng Shi
    ,
    Ziyue Jin
    ,
    Xin Zhang
  10. 10
    An Efficient Algorithm for Streaming BPE Tokenization
    Konstantinos Mamouras
    ,
    Angela W. Li
    ,
    Yudi Yang
  11. 11
    Analyzing Bytes: Pre-Disassembly Static Binary Analysis
    Huan Nguyen
    ,
    Soumyakant Priyadarshan
    ,
    Chencheng Jiang
    ,
    R. Sekar
  12. 12
    Backwards-Compatible Row-Based Exceptions in ML
    Simcha van Collem
    ,
    Paulo Emílio de Vilhena
    ,
    Robbert Krebbers
  13. 13
    Bonsai: Compiling Queries to Pruned Tree Traversals
    Alexander J. Root
    ,
    Christophe Gyurgyik
    ,
    Purvi Goel
    ,
    Kayvon Fatahalian
    ,
    Jonathan Ragan-Kelley
    ,
    Andrew Adams
    ,
    Fredrik Kjolstad
  14. 14
    Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity
    Jiayi Wang
    ,
    Yu Wang
    ,
    Linzhang Wang
    ,
    Ke Wang
  15. 15
    Categorical Semantics of Probabilistic Symbolic Execution
    John M. Li
    ,
    Jack Czenszak
    ,
    Steven Holtzen
  16. 16
    Causality and Semantic Separation
    Anna Zhang
    ,
    Qinglan Luo
    ,
    London Bielicke
    ,
    Eunice Jun
    ,
    Adam Chlipala
  17. 17
    Cerisier: A Program Logic for Attestation in a Capability Machine
    June Rousseau
    ,
    Denis Carnier
    ,
    Thomas Van Strydonck
    ,
    Steven Keuchel
    ,
    Dominique Devriese
    ,
    Lars Birkedal
  18. 18
    Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
    Celeste Barnaby
    ,
    Danny Ding
    ,
    Osbert Bastani
    ,
    Isil Dillig
  19. 19
    Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
    Charles Yuan
  20. 20
    Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
    Zain K. Aamer
    ,
    Rini Banerjee
    ,
    Hiroyuki Katsura
    ,
    David Kaloper-Mersinjak
    ,
    Dimitrios J. Economou
    ,
    Kayvan Memarian
    ,
    Dhruv C. Makwana
    ,
    Neel Krishnaswami
    ,
    Benjamin C. Pierce
    ,
    Christopher Pulte
    ,
    Peter Sewell
  21. 21
    Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels
    Abhinav Jangda
  22. 22
    Compiling to Recurrent Neurons
    Joey Velez-Ginorio
    ,
    Nada Amin
    ,
    Konrad P. Kording
    ,
    Steve Zdancewic
  23. 23
    Contextual Embeddings: Implementing Bound Variables through Instance Resolution
    Samantha Frohlich
    ,
    Jessica Foster
    ,
    G. A. Kavvos
    ,
    Meng Wang
  24. 24
    Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
    Kwing Hei Li
    ,
    Alejandro Aguirre
    ,
    Joseph Tassarotti
    ,
    Lars Birkedal
  25. 25
    Corrigendum: Falcon: A Scalable Analytical Cache Model
    Arjun Pitchanathan
    ,
    Kunwar Grover
    ,
    Tobias Grosser
  26. 26
    CoTenN: Constrained Optimization with Tensor Networks
    Ritvik Sharma
    ,
    Cheng Peng
    ,
    Siddharth Dangwal
    ,
    Sara Achour
  27. 27
    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
  28. 28
    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
  29. 29
    Decoupling Data Layouts from Bounding Volume Hierarchies
    Christophe Gyurgyik
    ,
    Alexander J. Root
    ,
    Fredrik Kjolstad
  30. 30
    Diagramming Program Values by Spatial Refinement
    Siddhartha Prasad
    ,
    Michael Tu
    ,
    Karan Kashyap
    ,
    Tim Nelson
    ,
    Shriram Krishnamurthi
  31. 31
    Dynamically Checked Deep Immutability in Python
    Fridtjof Peer Stoldt
    ,
    Sylvan Clebsch
    ,
    Matthew A. Johnson
    ,
    Matthew J. Parkinson
    ,
    Tobias Wrigstad
  32. 32
    Editorial Message
    Manu Sridharan
  33. 33
    Enumerating Ill-Typed Programs for Testing Type Analyzers
    Thodoris Sotiropoulos
    ,
    Zhendong Su
  34. 34
    Equality Saturation for Quantum Circuit Optimization
    Ganxiang Yang
    ,
    Paige Raun
    ,
    Runzhou Tao
    ,
    Ronghui Gu
  35. 35
    EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination
    Ekaterina Zhuchko
    ,
    Ian Erik Varatalu
    ,
    Margus Veanes
    ,
    Nikolaj S. Bjørner
  36. 36
    Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
    Songlin Jia
    ,
    Guannan Wei
    ,
    Siyuan He
    ,
    Yuyan Bao
    ,
    Tiark Rompf
  37. 37
    Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
    Shaurya Gomber
    ,
    Debangshu Banerjee
    ,
    Gagandeep Singh
  38. 38
    Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
    Dongjae Lee
    ,
    Kihong Heo
  39. 39
    Exploiting Sophisticated Static Analysis for Verilog
    Qinlin Chen
    ,
    Nairen Zhang
    ,
    Jinpeng Wang
    ,
    Jiacai Cui
    ,
    Tian Tan
    ,
    Xiaoxing Ma
    ,
    Chang Xu
    ,
    Jian Lu
    ,
    Yue Li
  40. 40
    Fast Atomicity Monitoring
    Hünkar Can Tunç
    ,
    Yifan Dong
    ,
    Andreas Pavlogiannis
  41. 41
    Fixed Parameter Tractable Linearizability Monitoring
    Lee Zheng Han
    ,
    Umang Mathur
  42. 42
    FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
    Iacovos G. Kolokasis
    ,
    Shoaib Akram
    ,
    Foivos S. Zakkak
    ,
    Polyvios Pratikakis
    ,
    Angelos Bilas
  43. 43
    Flow-Analysis-Based Closure Optimization
    John H. Reppy
    ,
    Olin Shivers
    ,
    Byron Zhong
  44. 44
    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
  45. 45
    GradInf: Gradient Estimation as Probabilistic Inference
    Gaurav Arya
    ,
    Mathieu Huot
    ,
    Moritz Schauer
    ,
    Alexander K. Lew
    ,
    Feras A. Saad
  46. 46
    Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
    Haoran Peng
    ,
    Baris Kasikci
    ,
    Gilbert Louis Bernstein
    ,
    Michael D. Ernst
  47. 47
    Heterogeneous Dynamic Logic: Provability Modulo Program Theories
    Samuel Teuber
    ,
    Mattias Ulbrich
    ,
    André Platzer
    ,
    Bernhard Beckert
  48. 48
    Hybrid Path-Sums for Hybrid Quantum Programs
    Christophe Chareton
    ,
    Jad Issa
    ,
    Mathieu Nguyen
    ,
    Nicolas Blanco
    ,
    Sébastien Bardin
  49. 49
    Hyper Separation Logic
    Trayan Gospodinov
    ,
    Peter Müller
    ,
    Thibault Dardinier
  50. 50
    Implementability of Global Distributed Protocols Modulo Network Architectures
    Elaine Li
    ,
    Thomas Wies