🏠
홈
📊
트렌드
🏆
논문
👤
마이
💬 문의
CS-
Pedia
Trends
Best Papers
Best Papers
/
PLDI
PLDI Best Papers
ACM SIGPLAN Conference on Programming Language Design and Implementation
30 papers · 2020–2025
← PLDI Conference Info
🏆
2025
(6)
Distinguished Paper Award
AWDIT: An Optimal Weak Database Isolation Tester
Lasse MøldrupAndreas Pavlogiannis
databases
isolation
testing
formal methods
Distinguished Paper Award
Destabilizing Iris: Non-Step-Indexed Separation Logic for Stored Higher-Order State
Simon SpiesNiklas MückHaoyi ZengMichael SammlerAndrea LattuadaPeter MüllerDerek Dreyer
program verification
separation logic
formal methods
iris
Distinguished Paper Award
Practical Type Inference with Levels
Andong FanHan XuNingning Xie
type systems
type inference
programming languages
Distinguished Paper Award
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Daan LeijenWenjia Ye
type systems
type inference
overloading
programming languages
Distinguished Paper Award
Tree Borrows: A Permissive Aliasing Model for Rust
Neven VillaniJohannes HostertDerek DreyerRalf Jung
memory safety
rust
aliasing
formal methods
Distinguished Paper Award
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Jaehwang JungSunho ParkJanggun LeeJeho YeonJeehoon Kang
memory safety
concurrency
formal methods
separation logic
🏆
2023
(5)
Best Paper Award
Mosaic: An Interoperable Compiler for Tensor Algebra
Bansal et al.
Compiler
Tensor
Best Paper Award
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala
Randomized Algorithms
Search Algorithms
Best Paper Award
Synthesizing MILP Constraints for Efficient and Robust Optimization
Jingbo Wang, Aarti Gupta, Chao Wang
Optimization
Robustness
Efficiency
Best Paper Award
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
Quantum Computing
Best Paper Award
Covering All the Bases: Type-Based Verification of Test Input Generators
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
🏆
2022
(6)
Distinguished Paper Award
Finding Typing Compiler Bugs
Stefanos ChaliasosThodoris SotiropoulosDiomidis SpinellisArthur GervaisBen LivshitsDimitris Mitropoulos
compilers
type systems
testing
bug finding
Distinguished Paper Award
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael GreenbergRyan BeckettEric Campbell
formal methods
kleene algebra
program analysis
Distinguished Paper Award
Low-Latency, High-Throughput Garbage Collection
Wenyu ZhaoSteve BlackburnKathryn S McKinley
memory management
garbage collection
performance
Distinguished Paper Award
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Yusuke MatsushitaXavier DenisJacques-Henri JourdanDerek Dreyer
program verification
rust
formal methods
separation logic
Distinguished Paper Award
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu ZhouRastislav BodíkAlvin CheungChenglong Wang
program synthesis
databases
sql
Distinguished Paper Award
Visualization Question Answering Using Introspective Program Synthesis
Yanju ChenXifeng YanYu Feng
program synthesis
visualization
question answering
🏆
2021
(8)
Distinguished Paper Award
Alive2: Bounded Translation Validation for LLVM
Nuno P. LopesJuneyoung LeeChung-Kil HurZhengyang LiuJohn Regehr
compilers
translation validation
llvm
correctness
Distinguished Paper Award
Cyclic Program Synthesis
Shachar ItzhakyHila PelegNadia PolikarpovaReuben N. S. RoweIlya Sergey
program synthesis
formal methods
cyclic proofs
Distinguished Paper Award
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. LimSantosh Nagarakatte
numerical computing
floating point
performance
correctness
Distinguished Paper Award
Perceus: Garbage Free Reference Counting with Reuse
Alex ReinkingNingning XieLeonardo de MouraDaan Leijen
memory management
reference counting
garbage collection
Distinguished Paper Award
Quantum Abstract Interpretation
Nengkun YuJens Palsberg
quantum computing
abstract interpretation
program analysis
Distinguished Paper Award
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael SammlerRodolphe LepigreRobbert KrebbersKayvan MemarianDerek DreyerDeepak Garg
program verification
c language
ownership types
formal methods
Distinguished Paper Award
Specification Synthesis with Constrained Horn Clauses
Sumanth PrabhuGrigory FedyukovichKumar MadhukarDeepak D'Souza
program synthesis
formal methods
verification
horn clauses
Distinguished Paper Award
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei RenMichael HoJiang MingJeff Yu LeiLi Li
compilers
binary analysis
optimization
security
🏆
2020
(5)
Best Paper Award
Data-Driven Inference of Representation Invariants
Anders Miltner, Saswat Padhi, Todd Millstein, David Walker
Best Paper Award
Armada: Low-Effort Verification of High-Performance Concurrent Programs
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Concurrency
Best Paper Award
Validating SMT Solvers via Semantic Fusion
Dominik Winterer, Chengyu Zhang, Zhendong Su
SMT Solving
Best Paper Award
From Folklore to Fact: Comparing Implementations of Stacks and Continuations
Kavon Farvardin & John Reppy
Best Paper Award
Fast Graph Simplification for Interleaved Dyck-Reachability
Yuanbo Li, Qirun Zhang, Thomas Reps