popl-supplementary
Use when splitting a POPL paper across the 25-page body, the proof appendix, and anonymous supplementary material — deciding which proofs and auxiliary judgments leave the text, packaging proof scripts without identity leaks under full double-blind, and keeping every artifact self-consistent with the submission PDF.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-supplementary --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 Supplementary Material A POPL submission is really three documents: 25 pages of text (bibliography excluded) that must carry the whole argument, an appendix of full proofs and auxiliary definitions, and — usually — an anonymized proof development or prototype. Reviewers are typically expected to judge the paper from the body alone, so the split is an argumentation decision, not a storage decision. Format and anonymity rules per the POPL 2027 call, read 2026-07-08; confirm the current cycle's supplement wording before uploading. ## What lives where | Content | Body (25 pp) | Appendix | Anonymous artifact | |---|---|---|---| | Main definitions, typing/semantics rules actually discussed | yes | mirrored in full | formalized | | Main theorem statements + proof sketches | yes | full proofs | checked statements | | Auxiliary lemmas, weakening/substitution boilerplate | no | yes | yes | | Full figure of every judgment (all rules) | representative rules only | complete figure | source of truth | | Extended examples, failed design alternatives | one motivating example | yes | test files | | Proof scripts, build instructions | no | no | yes, with README | Two disciplines make the spli
- What lives where
- Anonymizing a proof development
- Version-lock the trio
- Output format
git archive --format=tar.gz -o /tmp/supp.tar.gz HEAD # no .git, no untracked junk tar tzf /tmp/supp.tar.gz | grep -iE '\.git|/home/|users/|TODO|AUTHORS' && echo LEAK grep -rInE '(Copyright|Author|@[a-z]+\.(edu|org|fr|de))' \
What does the popl-supplementary skill do?
Use when splitting a POPL paper across the 25-page body, the proof appendix, and anonymous supplementary material — deciding which proofs and auxiliary judgments leave the text, packaging proof scripts without identity leaks under full double-blind, and keeping every artifact self-consistent with the submission PDF.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-supplementary --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.