🏠홈📊트렌드🏆논문👤마이
CS-Pedia
TrendsBest Papers
← 학회 목록으로

PLDI

PL마감

ACM SIGPLAN Conference on Programming Language Design and Implementation

📍 Boulder, CO, USA · 2026-06-15 ~ 2026-06-19

공식 웹사이트DBLP정보 오류 신고
키워드EfficientOptimizationCompilerTestingGarbage Collection

기관 인정 현황?

BK21
4점
KIISE
최우수
KAIST
최우수
SNU
✓
POST
최우수

데드라인

2026 (main)
📍 Boulder, CO, USA
📝 Paper: 2025-11-13
📬 Notification: 2026-03-05
📅 학회: 2026-06-15 ~ 2026-06-19

데드라인은 변경될 수 있습니다. 제출 전 공식 웹사이트에서 최종 일정을 확인하세요.

Acceptance Rate?

채택률 데이터가 없습니다.

Research Trend?

Best Papers

🏆 2025Distinguished Paper Award
AWDIT: An Optimal Weak Database Isolation Tester
Lasse MøldrupAndreas Pavlogiannis
databasesisolationtestingformal methods
🏆 2025Distinguished 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
🏆 2025Distinguished Paper Award
Practical Type Inference with Levels
Andong FanHan XuNingning Xie
type systemstype inferenceprogramming languages
🏆 2025Distinguished Paper Award
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Daan LeijenWenjia Ye
type systemstype inferenceoverloadingprogramming languages
🏆 2025Distinguished Paper Award
Tree Borrows: A Permissive Aliasing Model for Rust
Neven VillaniJohannes HostertDerek DreyerRalf Jung
memory safetyrustaliasingformal methods
🏆 2025Distinguished Paper Award
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Jaehwang JungSunho ParkJanggun LeeJeho YeonJeehoon Kang
memory safetyconcurrencyformal methodsseparation logic
🏆 2025Best Paper Award
Destabilizing Iris
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
🏆 2025Best Paper Award
Tree Borrows
Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung
🏆 2024Best Paper Award
Predictable Verification using Intrinsic Definitions
Adithya Murali, Cody Rivera, P. Madhusudan
🏆 2024Best Paper Award
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
Xiaodong Jia & Gang Tan
🏆 2023Best Paper Award
Mosaic: An Interoperable Compiler for Tensor Algebra
Bansal et al.
CompilerTensor
🏆 2023Best 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
🏆 2023Best Paper Award
Synthesizing MILP Constraints for Efficient and Robust Optimization
Jingbo Wang, Aarti Gupta, Chao Wang
OptimizationRobustnessEfficiency
🏆 2023Best 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
🏆 2023Best Paper Award
Covering All the Bases: Type-Based Verification of Test Input Generators
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
🏆 2022Distinguished Paper Award
Finding Typing Compiler Bugs
Stefanos ChaliasosThodoris SotiropoulosDiomidis SpinellisArthur GervaisBen LivshitsDimitris Mitropoulos
compilerstype systemstestingbug finding
🏆 2022Distinguished Paper Award
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael GreenbergRyan BeckettEric Campbell
formal methodskleene algebraprogram analysis
🏆 2022Distinguished Paper Award
Low-Latency, High-Throughput Garbage Collection
Wenyu ZhaoSteve BlackburnKathryn S McKinley
memory managementgarbage collectionperformance
🏆 2022Distinguished 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
🏆 2022Distinguished Paper Award
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu ZhouRastislav BodíkAlvin CheungChenglong Wang
program synthesisdatabasessql
🏆 2022Distinguished Paper Award
Visualization Question Answering Using Introspective Program Synthesis
Yanju ChenXifeng YanYu Feng
program synthesisvisualizationquestion answering
🏆 2021Distinguished Paper Award
Alive2: Bounded Translation Validation for LLVM
Nuno P. LopesJuneyoung LeeChung-Kil HurZhengyang LiuJohn Regehr
compilerstranslation validationllvmcorrectness
🏆 2021Distinguished Paper Award
Cyclic Program Synthesis
Shachar ItzhakyHila PelegNadia PolikarpovaReuben N. S. RoweIlya Sergey
program synthesisformal methodscyclic proofs
🏆 2021Distinguished Paper Award
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. LimSantosh Nagarakatte
numerical computingfloating pointperformancecorrectness
🏆 2021Distinguished Paper Award
Perceus: Garbage Free Reference Counting with Reuse
Alex ReinkingNingning XieLeonardo de MouraDaan Leijen
memory managementreference countinggarbage collection
🏆 2021Distinguished Paper Award
Quantum Abstract Interpretation
Nengkun YuJens Palsberg
quantum computingabstract interpretationprogram analysis
🏆 2021Distinguished 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
🏆 2021Distinguished Paper Award
Specification Synthesis with Constrained Horn Clauses
Sumanth PrabhuGrigory FedyukovichKumar MadhukarDeepak D'Souza
program synthesisformal methodsverificationhorn clauses
🏆 2021Distinguished 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
🏆 2020Best Paper Award
Data-Driven Inference of Representation Invariants
Anders Miltner, Saswat Padhi, Todd Millstein, David Walker
🏆 2020Best 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
🏆 2020Best Paper Award
Validating SMT Solvers via Semantic Fusion
Dominik Winterer, Chengyu Zhang, Zhendong Su
SMT Solving
🏆 2020Best Paper Award
From Folklore to Fact: Comparing Implementations of Stacks and Continuations
Kavon Farvardin & John Reppy
🏆 2020Best 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

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

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