How do I install the Popl Review Process skill?

Run npx skillmds add thedixitjain/popl-review-process in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Popl Review Process safe to use?

This skill has not completed SkillMD's automated safety review yet. Capability flags: makes network calls. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Popl Review Process?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Popl Review Process free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

Who published Popl Review Process?

thedixitjain (@thedixitjain) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Popl Review Process by thedixitjain

Name: Popl Review Process
Rating: 4.2 (5 reviews)
Author: thedixitjain

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.

thedixitjain 9947072 3.7 KB Updated Sep 8, 2026 2 repo stars

File contents

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>

Source: brycewang-stanford/Awesome-Journal-Skills → POPL-Skills/skills/popl-review-process/SKILL.md

---name: popl-review-processdescription: 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.---# POPL Review ProcessPOPL's pipeline is a conference cycle that ends in a journal issue. The shape belowis the POPL 2027 process as posted (read 2026-07-08 via search renderings; authorresponse 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 decisionConditional acceptance arrives with explicit conditions — typically clarifications,scoping of overclaims, or presentation surgery. Treat the condition list as acontract: the Review Committee re-checks each item, and the call states the revisionmust be satisfactory "or risk rejection." Rejection reviews, in turn, sort intofix-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 forrelevance, originality, significance, and clarity (POPL 2026 call wording); at leastone 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] <date + source URL, or 待核实>[Live risks] <correctness doubt / significance doubt / condition list items>[Recommended posture] <what to prepare now for the next stage>```---**Source:** [`brycewang-stanford/Awesome-Journal-Skills`](https://github.com/brycewang-stanford/Awesome-Journal-Skills) → `POPL-Skills/skills/popl-review-process/SKILL.md`

Frequently asked questions