🏠홈📊트렌드🏆논문👤마이
🎓
CS-Pedia
TrendsBest Papers
CS Conference Hub

Deadlines, Rankings
& Best Papers — all in one.

Acceptance rates · Best papers · Conference deadlines for CS researchers

Best Papers/PLDI

PLDI Best Papers

ACM SIGPLAN Conference on Programming Language Design and Implementation

30 papers · 2020–2025

← PLDI 학회 정보

🏆 2025(6)

Distinguished Paper Award
AWDIT: An Optimal Weak Database Isolation Tester
Lasse MøldrupAndreas Pavlogiannis
databasesisolationtestingformal 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 verificationseparation logicformal methodsiris
Distinguished Paper Award
Practical Type Inference with Levels
Andong FanHan XuNingning Xie
type systemstype inferenceprogramming languages
Distinguished Paper Award
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Daan LeijenWenjia Ye
type systemstype inferenceoverloadingprogramming languages
Distinguished Paper Award
Tree Borrows: A Permissive Aliasing Model for Rust
Neven VillaniJohannes HostertDerek DreyerRalf Jung
memory safetyrustaliasingformal methods
Distinguished Paper Award
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Jaehwang JungSunho ParkJanggun LeeJeho YeonJeehoon Kang
memory safetyconcurrencyformal methodsseparation logic

🏆 2023(5)

Best Paper Award
Mosaic: An Interoperable Compiler for Tensor Algebra
Bansal et al.
CompilerTensor
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 AlgorithmsSearch Algorithms
Best Paper Award
Synthesizing MILP Constraints for Efficient and Robust Optimization
Jingbo Wang, Aarti Gupta, Chao Wang
OptimizationRobustnessEfficiency
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
compilerstype systemstestingbug finding
Distinguished Paper Award
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael GreenbergRyan BeckettEric Campbell
formal methodskleene algebraprogram analysis
Distinguished Paper Award
Low-Latency, High-Throughput Garbage Collection
Wenyu ZhaoSteve BlackburnKathryn S McKinley
memory managementgarbage collectionperformance
Distinguished Paper Award
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Yusuke MatsushitaXavier DenisJacques-Henri JourdanDerek Dreyer
program verificationrustformal methodsseparation logic
Distinguished Paper Award
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu ZhouRastislav BodíkAlvin CheungChenglong Wang
program synthesisdatabasessql
Distinguished Paper Award
Visualization Question Answering Using Introspective Program Synthesis
Yanju ChenXifeng YanYu Feng
program synthesisvisualizationquestion answering

🏆 2021(8)

Distinguished Paper Award
Alive2: Bounded Translation Validation for LLVM
Nuno P. LopesJuneyoung LeeChung-Kil HurZhengyang LiuJohn Regehr
compilerstranslation validationllvmcorrectness
Distinguished Paper Award
Cyclic Program Synthesis
Shachar ItzhakyHila PelegNadia PolikarpovaReuben N. S. RoweIlya Sergey
program synthesisformal methodscyclic proofs
Distinguished Paper Award
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. LimSantosh Nagarakatte
numerical computingfloating pointperformancecorrectness
Distinguished Paper Award
Perceus: Garbage Free Reference Counting with Reuse
Alex ReinkingNingning XieLeonardo de MouraDaan Leijen
memory managementreference countinggarbage collection
Distinguished Paper Award
Quantum Abstract Interpretation
Nengkun YuJens Palsberg
quantum computingabstract interpretationprogram analysis
Distinguished Paper Award
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael SammlerRodolphe LepigreRobbert KrebbersKayvan MemarianDerek DreyerDeepak Garg
program verificationc languageownership typesformal methods
Distinguished Paper Award
Specification Synthesis with Constrained Horn Clauses
Sumanth PrabhuGrigory FedyukovichKumar MadhukarDeepak D'Souza
program synthesisformal methodsverificationhorn 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
compilersbinary analysisoptimizationsecurity

🏆 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

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의