POPL Review Process
POPL's pipeline is a conference cycle that ends in a journal issue. The shape below
is the POPL 2027 process as posted (read 2026-07-08 via search renderings; author
response window and revision deadline were not fully rendered — 待核实).
Pipeline
| Stage |
POPL 2027 anchor |
What is actually being decided |
| Submission |
July 9, 2026 AoE, popl27.hotcrp.com, no abstract deadline |
Format compliance (summary rejection is real) and reviewer assignment |
| Reviewing |
full double-blind, as in POPL 2023-2026 |
Correctness plausibility, novelty of the formal idea, significance to PL principles |
| Author response |
optional, multi-day, concise |
Whether standing objections survive your best factual answer |
| Decision |
notification October 5, 2026 |
Reject vs conditional acceptance — no unconditional accept exists |
| Revision gate |
deadline set by the committee (待核实 for 2027) |
Whether the revision satisfies the committee's stated conditions; failure risks rejection |
| Publication |
PACMPL Issue POPL (Vol 10 = 2026, published Jan 8, 2026) |
Journal article, presented at the January symposium (2027: Mexico City, Jan 10-16) |
How a POPL committee reads
- The first question is what is the formal contribution — a semantics, a type
system, a logic, a proof technique — and whether it is stated precisely enough to
be wrong. Papers that never risk a sharp claim are marked "unclear contribution."
- Correctness is probed by attempted counterexample. Expect at least one reviewer to
push on the strangest corner of your calculus: open terms, empty contexts,
non-termination, the interaction of two features you analyzed separately.
- Significance at POPL means the idea travels: another researcher can apply your
logical relation, your translation, your proof method to their language.
A theorem locked to one artifact language travels poorly.
- Full double-blind changes the sociology: nobody is extending credit to a famous
group's proof style. Identities unblind only after conditional-acceptance
decisions, and only for the papers that crossed.
Reading the decision
Conditional acceptance arrives with explicit conditions — typically clarifications,
scoping of overclaims, or presentation surgery. Treat the condition list as a
contract: the Review Committee re-checks each item, and the call states the revision
must be satisfactory "or risk rejection." Rejection reviews, in turn, sort into
fix-and-resubmit (misread contribution, presentation collapse) versus fundamental
(the theorem is true but nobody at this venue needs it) — popl-topic-selection
handles the second kind.
Distinguished Papers are capped at 10% of acceptances, chosen by the committee for
relevance, originality, significance, and clarity (POPL 2026 call wording); at least
one 2026 award is publicly attested. It is not something authors apply for.
Output format
[Stage] pre-submission / under review / response window / awaiting decision / revision gate / production
[Next event] <date + source URL, or 待核实>
[Live risks] <correctness doubt / significance doubt / condition list items>
[Recommended posture] <what to prepare now for the next stage>
1---2name: popl-review-process3description: Use when interpreting where a POPL submission stands — the full double-blind pipeline from the July HotCRP deadline through reviews, the optional author response, October conditional-acceptance decisions, the mandatory revision gate, Distinguished Paper selection, and publication as PACMPL Issue POPL in January.4---56# POPL Review Process78POPL's pipeline is a conference cycle that ends in a journal issue. The shape below9is the POPL 2027 process as posted (read 2026-07-08 via search renderings; author10response window and revision deadline were not fully rendered — 待核实).1112## Pipeline1314| Stage | POPL 2027 anchor | What is actually being decided |15|---|---|---|16| Submission | July 9, 2026 AoE, `popl27.hotcrp.com`, no abstract deadline | Format compliance (summary rejection is real) and reviewer assignment |17| Reviewing | full double-blind, as in POPL 2023-2026 | Correctness plausibility, novelty of the formal idea, significance to PL principles |18| Author response | optional, multi-day, concise | Whether standing objections survive your best factual answer |19| Decision | notification October 5, 2026 | Reject vs **conditional acceptance** — no unconditional accept exists |20| Revision gate | deadline set by the committee (待核实 for 2027) | Whether the revision satisfies the committee's stated conditions; failure risks rejection |21| Publication | PACMPL Issue POPL (Vol 10 = 2026, published Jan 8, 2026) | Journal article, presented at the January symposium (2027: Mexico City, Jan 10-16) |2223## How a POPL committee reads2425- The first question is *what is the formal contribution* — a semantics, a type26 system, a logic, a proof technique — and whether it is stated precisely enough to27 be wrong. Papers that never risk a sharp claim are marked "unclear contribution."28- Correctness is probed by attempted counterexample. Expect at least one reviewer to29 push on the strangest corner of your calculus: open terms, empty contexts,30 non-termination, the interaction of two features you analyzed separately.31- Significance at POPL means the idea travels: another researcher can apply your32 logical relation, your translation, your proof method to *their* language.33 A theorem locked to one artifact language travels poorly.34- Full double-blind changes the sociology: nobody is extending credit to a famous35 group's proof style. Identities unblind only after conditional-acceptance36 decisions, and only for the papers that crossed.3738## Reading the decision3940Conditional acceptance arrives with explicit conditions — typically clarifications,41scoping of overclaims, or presentation surgery. Treat the condition list as a42contract: the Review Committee re-checks each item, and the call states the revision43must be satisfactory "or risk rejection." Rejection reviews, in turn, sort into44fix-and-resubmit (misread contribution, presentation collapse) versus fundamental45(the theorem is true but nobody at this venue needs it) — `popl-topic-selection`46handles the second kind.4748Distinguished Papers are capped at 10% of acceptances, chosen by the committee for49relevance, originality, significance, and clarity (POPL 2026 call wording); at least50one 2026 award is publicly attested. It is not something authors apply for.5152## Output format5354```text55[Stage] pre-submission / under review / response window / awaiting decision / revision gate / production56[Next event] <date + source URL, or 待核实>57[Live risks] <correctness doubt / significance doubt / condition list items>58[Recommended posture] <what to prepare now for the next stage>59```
brycewang-stanford