popl-submission
Use when preparing a POPL submission for the single July HotCRP deadline — auditing the 25-pages-of-text acmsmall cap, summary-rejection format rules, full double-blind hygiene for theory papers with public proof repositories, dual-submission exposure, and the final-days upload order before the AoE cutoff.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-submission --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# POPL Submission Audit against the cycle you are actually entering. The mechanics below come from the POPL 2027 research-papers call, read 2026-07-08 through search renderings of `popl27.sigplan.org` (direct fetches were blocked — see `resources/official-source-map.md`). POPL 2027's cutoff was July 9, 2026, 11:59 PM AoE, one day after that check: confirm the live dates page before assuming any window is open. ## The 2027-cycle mechanics - **One July deadline, no abstract deadline.** POPL 2027 papers were due July 9, 2026 AoE, uploaded to `popl27.hotcrp.com`. Nothing pre-registers the submission, so a paper can materialize on deadline day — and so can your forgotten conflicts list. A missed July means the next POPL is a year out (though PACMPL siblings offer intermediate deadlines; see `popl-workflow`). - **25 pages of text, bibliography excluded**, in the PACMPL layout: acmart with the `acmsmall` option, single column, 10 pt font on 12 pt line spacing, a 5.478 in by 7.884 in text block. The call names **summary rejection** as the consequence of a shrunken font or widened block, and PACMPL takes no Word files. - **Full double-blind.** Since POPL 2023 this replaced the older lightwe
- The 2027-cycle mechanics
- Where theory papers deanonymize themselves
- Severity table
- Last-72-hours order of operations
- Output format
pdfinfo main.pdf | grep -iE 'author|producer' pdftotext main.pdf - | grep -niE 'our (previous|earlier) (work|paper)|github|gitlab|zenodo|orcid' | head tar tzf supplement.tar.gz | grep -E '\.git/|home/[a-z]+/|_CoqProject.*~' | head
What does the popl-submission skill do?
Use when preparing a POPL submission for the single July HotCRP deadline — auditing the 25-pages-of-text acmsmall cap, summary-rejection format rules, full double-blind hygiene for theory papers with public proof repositories, dual-submission exposure, and the final-days upload order before the AoE cutoff.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-submission --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 984 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.