popl-camera-ready

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 commit.

Gate 2: the PACMPL article

Identities unblind only for conditionally accepted papers, so de-anonymization

happens now and should be reviewed as a diff, not retyped:

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"

| Item | Why POPL-specific care is needed |

|---|---|

| Author block, ORCIDs, affiliations | PACMPL is a journal; metadata errors persist in the ACM DL record forever |

| Acknowledgements and grants | Were deleted for full double-blind; restore from the pre-anonymization commit, not memory |

| Third-person self-citations | Rewrite to first person where it reads naturally, and unmask anonymized citations |

| Rights and open access | PACMPL is Gold OA; the APC was 400 USD with SIGPLAN support for authors who cannot pay and ACM Open coverage (verified 2026-07-08 — recheck amounts) |

| Artifact badge placement | Badges from artifact evaluation print on the published article; coordinate timing with popl-artifact-evaluation |

| Citation form | Your own paper is now PACMPL vol(POPL), article N — teach your BibTeX file before others copy it wrong |

The January clock

Notification lands in early October (October 5, 2026 for POPL 2027) and the

conference runs mid-January (January 10-16, 2027, Mexico City). That quarter must

absorb: the committee revision, artifact evaluation, PACMPL production, visa and

travel arrangements for a January international trip, and the talk. Book the visa

appointment the week of notification; for many nationalities it is the longest pole.

Output format

[Conditional-acceptance ledger] <n mandatory items, m done>
[Response debts] <promises from the author response, each with its landing site>
[De-anonymization diff] clean / flagged hunks
[PACMPL metadata] ORCID / affiliations / rights / OA status
[January logistics] visa / registration / talk owner