tacas-supplementary
Use when deciding what belongs in a TACAS (ETAPS) paper body versus its appendix, supplementary website, and artifact, covering the 16-page (or 6-page) llncs.cls budget that excludes references and appendix, the rule that decision-critical content stays in the reviewed pages, category-appropriate anonymity of supplementary material, and how to split a verification paper between body, appendix, and a mandatory-or-voluntary artifact.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill tacas-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.
# TACAS Supplementary Use this when assembling TACAS supplementary material. The governing rule: **the paper must be judgeable from the reviewed pages alone.** The appendix, the supplementary website, and the artifact support the paper; they do not hold the argument. Reviewers read supplementary material at their discretion, so anything the decision depends on lives in the body. ## What goes where | Content | Body (within page limit) | Appendix / website / artifact | |---|---|---| | Problem, contribution, and the soundness claim | Yes | — | | The core algorithm / tool architecture | Yes | Full pseudocode variants, extra config | | The soundness argument | Theorem + proof sketch in body | Full proof in appendix | | Headline benchmark results | Yes (key table) | Full per-benchmark tables, extra plots | | Benchmark setup (machine, timeout, baseline) | Stated in body | Full logs, raw outputs | | The tool itself + reproduction scripts | A pointer | The artifact (mandatory for tools) | | Extra examples, secondary optimizations | Summary | Appendix / website | If a reviewer would need to open the appendix or artifact to know whether the result is sound or the comparison is fair, the paper
- What goes where
- The page-budget discipline
- Category-appropriate anonymity of supplementary material
- The mandatory-artifact interaction (tool and tool-demo papers)
- Vignette: splitting a research paper with a long proof
- Output format
What does the tacas-supplementary skill do?
Use when deciding what belongs in a TACAS (ETAPS) paper body versus its appendix, supplementary website, and artifact, covering the 16-page (or 6-page) llncs.cls budget that excludes references and appendix, the rule that decision-critical content stays in the reviewed pages, category-appropriate anonymity of supplementary material, and how to split a verification paper between body, appendix, and a mandatory-or-voluntary artifact.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill tacas-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 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.