# Popl Review Process > 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. - Skill: `thedixitjain/popl-review-process` (Agent Skill) - Install (CLI): `npx skillmds add thedixitjain/popl-review-process` - Raw SKILL.md: https://api.skillmd.com/api/skills/thedixitjain/popl-review-process/raw - Safety review: pending - Works with: Claude Code, Claude.ai, OpenAI Codex - Category: DevOps & Infra - Author: thedixitjain (https://skillmd.com/u/thedixitjain) - Updated: 2026-09-08 - Page: https://skillmd.com/skills/thedixitjain/popl-review-process --- # 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 ```text [Stage] pre-submission / under review / response window / awaiting decision / revision gate / production [Next event] [Live risks] [Recommended posture] ``` --- **Source:** [`brycewang-stanford/Awesome-Journal-Skills`](https://github.com/brycewang-stanford/Awesome-Journal-Skills) → `POPL-Skills/skills/popl-review-process/SKILL.md`