popl-author-response
Use when drafting a POPL author response during the optional multi-day window — triaging soundness objections against misread definitions, answering "what does Theorem 3 actually assume" questions with pointers rather than new material, staying concise per the CFP, and protecting the path to conditional acceptance.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-author-response --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 Author Response The POPL 2027 call describes the response phase plainly: authors get a multi-day period, responding is optional, and a response "must be concise, addressing specific points raised in the reviews" (read 2026-07-08; exact window dates were not rendered — 待核实 in `resources/official-source-map.md`). At POPL the response is usually the last input before the committee decides between reject and *conditional* acceptance, so its job is to remove doubts, not to renegotiate the paper. ## What POPL reviewers actually dispute Theory reviews rarely say "weak baselines." They say a definition does not mean what you think, a side condition is missing, a theorem is unsurprising given prior work, or the metatheory-to-motivation gap is too wide. Sort every review point into one of four bins before writing a word: | Bin | Example objection | Response move | |---|---|---| | Soundness doubt | "Lemma 4.2 seems to fail for open terms" | Quote the exact hypothesis that excludes the case; cite the proof line or mechanization file | | Misread formalism | "Your typing rule allows unrestricted duplication" | Point to the definition as written; concede unclear notation and promise a one-
- What POPL reviewers actually dispute
- Rules of engagement
- A skeleton that fits a concise budget
- Output format
What does the popl-author-response skill do?
Use when drafting a POPL author response during the optional multi-day window — triaging soundness objections against misread definitions, answering "what does Theorem 3 actually assume" questions with pointers rather than new material, staying concise per the CFP, and protecting the path to conditional acceptance.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill popl-author-response --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.