Agent skill · Code Review & Quality

popl-camera-ready

Use when a POPL paper is conditionally accepted — planning the mandatory revision the Review Committee must approve, de-anonymizing for PACMPL Issue POPL, handling ORCID/open-access/APC steps on the ACM side, syncing the paper with its proof artifact, and preparing the January talk.

brycew6m878★ · +32/wk · 1 repos on radarProfile →
claude-codeMIT
Install
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-camera-ready --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 1
SKILL.md size: 3 KB
Bundled scripts: none
Path: POPL-Skills/skills/popl-camera-ready/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 909 · +31 this week
Language: Stata
Read our review of the source →

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# POPL Camera-Ready and Conditional-Acceptance Revision POPL does not accept papers; it *conditionally* accepts them. Per the POPL 2027 call (read 2026-07-08), authors "must submit a satisfactory revision to the Review Committee by the requested deadline or risk rejection." The camera-ready is therefore two gates, not one: first satisfy the committee's revision requirements, then produce the PACMPL Issue POPL journal article. The 2027 revision deadline was not rendered at check time — 待核实; take it from your notification email, which controls. ## Gate 1: the committee revision - Extract every mandatory item from the meta-review and reviews into a ledger; the committee re-checks against its own list, not your memory. - Anything promised in the author response is now owed. A response that said "we will state the well-formedness premise" has created a checkable obligation. - Keep changes conservative. New theorems or a reworked calculus in revision invites re-review skepticism; strengthen statements only where reviewers demanded it. - Where a fix touches a mechanized proof, re-run the full build and update the paper-to-proof correspondence table (`popl-reproducibility`) in the same com

What's inside
Steps it walks through
  1. Gate 1: the committee revision
  2. Gate 2: the PACMPL article
  3. The January clock
  4. Output format
Commands it runs
git diff submitted..camera-ready -- '*.tex' | grep -E '^\+' | \
grep -viE 'author|orcid|acknowledg|grant|thanks|email' && \
echo "WARNING: content drifted beyond identity changes — justify each hunk"
More from Awesome-Journal-Skills
All skills →
About this skill
What does the popl-camera-ready skill do?

Use when a POPL paper is conditionally accepted — planning the mandatory revision the Review Committee must approve, de-anonymizing for PACMPL Issue POPL, handling ORCID/open-access/APC steps on the ACM side, syncing the paper with its proof artifact, and preparing the January talk.

How do I install it?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-camera-ready --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From brycewang-stanford/Awesome-Journal-Skills, a repository with 909 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going