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

Deadlines, Rankings
& Best Papers — all in one.

Acceptance rates · Best papers · Conference deadlines for CS researchers

← 학회 목록으로

POPL

PLD-77

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

📍 Mexico City, Mexico · 2027-01-10 ~ 2027-01-16

공식 웹사이트DBLP정보 오류 신고
키워드Type TheoryParameterizedDependent TypeConsistencyProgram Synthesis

기관 인정 현황?

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

데드라인

2026 (main)
📍 Rennes, France
📝 Paper: 2025-07-10
📬 Notification: 2025-10-02
📅 학회: 2026-01-11 ~ 2026-01-17
2027 (main)
📍 Mexico City, Mexico
📝 Paper: 2026-07-09
📬 Notification: 2026-10-05
📅 학회: 2027-01-10 ~ 2027-01-16

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

Acceptance Rate?

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

Research Trend?

Best Papers

🏆 2025Distinguished Paper Award
A Primal-Dual Perspective on Program Verification Algorithms
Takeshi TsukadaHiroshi UnnoOded PadonSharon Shoham
formal verificationalgorithmsfixpoint
🏆 2025Distinguished Paper Award
Affect: An Affine Type and Effect System
Orpheas van RooijRobbert Krebbers
type systemseffectsaffine types
🏆 2025Distinguished Paper Award
Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings
Jan van BrüggeJames McKinnaAndrei PopescuDmitriy Traytel
formal methodstype theoryinduction
🏆 2025Distinguished Paper Award
Data Race Freedom à la Mode
Aina Linn GeorgesBenjamin PetersLaila ElbeheiryLeo WhiteStephen DolanRichard A. EisenbergChris CasinghinoFrançois PottierDerek Dreyer
concurrencyrace freedomtype systems
🏆 2025Distinguished Paper Award
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
Fabian ZaiserAndrzej MurawskiC.-H. Luke Ong
probabilistic programmingformal methodsloops
🏆 2025Distinguished Paper Award
Relaxed Memory Concurrency Re-executed
Evgenii MoiseenkoMatteo MeluzziInnokentii MeleshchenkoIvan KabashnyiAnton PodkopaevSoham Chakraborty
concurrencymemory modelsformal methods
🏆 2025Distinguished Paper Award
TensorRight: Automated Verification of Tensor Graph Rewrites
Jai AroraSirui LuDevansh JainTianfan XuFarzin HoushmandPhitchaya Mangpo PhothilimthanaMohsen LesaniPraveen NarayananKarthik Srinivasa MurthyRastislav BodíkAmit SabneCharith Mendis
machine learningcompilersformal verificationtensor
🏆 2024Distinguished Paper Award
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
Neta EladOded PadonSharon Shoham
formal verificationcounterexamplesdeductive reasoning
🏆 2024Distinguished Paper Award
Automatic Parallelism Management
Sam WestrickMatthew FluetMike RaineyUmut A. Acar
parallel computingprogramming languagesscheduling
🏆 2024Distinguished Paper Award
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
Supun AbeysingheAnxhelo XhebrajTiark Rompf
compilersdatalogprogram analysis
🏆 2024Distinguished Paper Award
Implementation and Synthesis of Math Library Functions
Ian BriggsYash LadPavel Panchekha
numerical computingprogram synthesisfloating point
🏆 2024Distinguished Paper Award
Modular Denotational Semantics for Effects with Guarded Interaction Trees
Daniel FruminAmin TimanyLars Birkedal
formal semanticseffectsinteraction trees
🏆 2024Distinguished Paper Award
Nominal Recursors as Epi-Recursors
Andrei Popescu
type theoryformal methodsrecursion
🏆 2024Distinguished Paper Award
Parametric Subtyping for Structural Parametric Polymorphism
Henry DeYoungAndreia MordidoFrank PfenningAnkush Das
type systemssubtypingpolymorphism
🏆 2024Distinguished Paper Award
Soundly Handling Linearity
Wenhao TangDaniel HillerströmSam LindleyJ. Garrett Morris
type systemslinear typeseffects
🏆 2024Distinguished Paper Award
Total Type Error Localization and Recovery with Holes
Eric ZhaoRaef MaroofAnand DukkipatiAndrew BlinnZhiyi PanCyrus Omar
type systemserror recoveryprogramming tools
🏆 2023Distinguished Paper Award
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
Alexander K. LewMathieu HuotSam StatonVikash K. Mansinghka
probabilistic programmingautomatic differentiationmachine learning
🏆 2023Distinguished Paper Award
Admissible Types-to-PERs Relativization in Higher-Order Logic
Andrei PopescuDmitriy Traytel
type theoryformal methodshigher-order logic
🏆 2023Distinguished Paper Award
DimSum: A Decentralized Approach to Multi-language Semantics and Verification
Michael SammlerSimon SpiesYoungju SongEmanuele D'OsualdoRobbert KrebbersDeepak GargDerek Dreyer
formal methodsmulti-languageverification
🏆 2023Distinguished Paper Award
Dynamic Race Detection with O(1) Samples
Mosaad Al ThokairMinjian ZhangUmang MathurMahesh Viswanathan
concurrencyrace detectionprogram analysis
🏆 2023Distinguished Paper Award
Higher-Order Leak and Deadlock Free Locks
Jules JacobsStephanie Balzer
concurrencytype systemsformal methods
🏆 2023Distinguished Paper Award
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Hiroshi UnnoTachio TerauchiYu GuEric Koskinen
formal verificationtemporal logicfixpoint
🏆 2023Distinguished Paper Award
SSA Translation Is an Abstract Interpretation
Matthieu Lemerre
compilersabstract interpretationssa
🏆 2022Distinguished Paper Award
Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution
Anders MiltnerAdrian Trejo NuñezAna BrendelSwarat ChaudhuriIşıl Dillig
program synthesisfunctional programmingrecursion
🏆 2022Distinguished Paper Award
Formal Metatheory of Second-Order Abstract Syntax
Marcelo FioreDmitrij Szamozvancev
formal methodstype theoryabstract syntax
🏆 2022Distinguished Paper Award
Learning Formulas in Finite Variable Logics
Paul KrogmeierP. Madhusudan
formal methodsmachine learninglogic
🏆 2022Distinguished Paper Award
Observational Equality: Now for Good
Loïc PujetNicolas Tabareau
type theoryequalitydependent types
🏆 2022Distinguished Paper Award
One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
Jay P. LimSantosh Nagarakatte
numerical computingfloating pointcorrectness
🏆 2022Distinguished Paper Award
Pirouette: Higher-Order Typed Functional Choreographies
Andrew K. HirschDeepak Garg
type systemschoreographiesfunctional programming
🏆 2022Distinguished Paper Award
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
Lennard GäherMichael SammlerSimon SpiesRalf JungHoang-Hai DangRobbert KrebbersJeehoon KangDerek Dreyer
concurrencyseparation logicprogram optimizationformal methods
🏆 2021Distinguished Paper Award
A Pre-Expectation Calculus for Probabilistic Sensitivity
Alejandro AguirreGilles BartheJustin HsuBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph Matheja
probabilistic programmingformal methodssensitivity analysis
🏆 2021Distinguished Paper Award
A Verified Optimizer for Quantum Circuits
Kesha HietalaRobert RandShih-Han HungXiaodi WuMichael Hicks
quantum computingcompilersformal verification
🏆 2021Distinguished Paper Award
An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs
Julian RosemannSimon MollSebastian Hack
abstract interpretationcompilersgpu
🏆 2021Distinguished Paper Award
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Marco VassenaCraig DisselkoenKlaus von GleissenthallSunjay CauligiRami Gökhan KıcıRanjit JhalaDean TullsenDeian Stefan
securityspeculative executionprogram analysiscryptography
🏆 2021Distinguished Paper Award
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
Pascal BaumannRupak MajumdarRamanathan S. ThinniyamGeorg Zetzsche
concurrencyformal verificationliveness
🏆 2021Distinguished Paper Award
Provably Space Efficient Parallel Functional Programming
Jatin AroraSam WestrickUmut A. Acar
parallel computingfunctional programmingspace efficiency
🏆 2021Distinguished Paper Award
egg: Fast and Extensible Equality Saturation
Max WillseyChandrakana NandiYisu Remy WangOliver FlattZachary TatlockPavel Panchekha
compilersequality saturationprogram optimization

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

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

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

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