A skill your agent uses when deciding what belongs in a PPoPP paper's 10 reviewed pages versus the artifact or appendix, splitting content by decision-criticality so proofs, full core sweeps, and…

MITAuto-check passed

Install Ppopp Supplementary

skills CLI
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill ppopp-supplementary -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install brycewang-stanford/Awesome-Journal-Skills ppopp-supplementary --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/PPoPP-Skills/skills/ppopp-supplementary .claude/skills/ppopp-supplementary && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
ppopp-supplementary
GitHub stars
1.2k
Token cost
~1.1k tokens
SKILL.md length
449 words
Files
1
Skills in repo
2,387
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when deciding what belongs in a PPoPP paper's 10 reviewed pages versus the artifact or appendix, splitting content by decision-criticality so proofs, full core sweeps, and…

  • Deciding what belongs in a PPoPP papers 10 reviewed pages versus the artifact
  • SKILL.md covers The decision-criticality test, What must stay in the body, What can move out and Where "out" is at PPoPP, plus 2 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
  • Splitting content by decision-criticality so proofs

What it does

Ppopp Supplementary is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when deciding what belongs in a PPoPP paper's 10 reviewed pages versus the artifact or appendix, splitting content by decision-criticality so proofs, full core sweeps, and correctness arguments that determine acceptance stay legible in the body, while bulk data and extended runs move out.

Its SKILL.md is about 1.1k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

The repository describes itself as: Journal-specific Claude Code/Codex skill packs covering mainstream journals — AER, QJE, Nature, Cell, 管理世界, 经济研究 & 200+ more — your fast track to getting published. | 覆盖主流期刊的… The licence is MIT.

When your agent uses it

  • Deciding what belongs in a PPoPP papers 10 reviewed pages versus the artifact
  • Splitting content by decision-criticality so proofs
  • Full core sweeps
  • Correctness arguments that determine acceptance stay legible in the body

Example prompts

  • “/ppopp-supplementary”

What it can do on your machine

Read from SKILL.md and the folder at commit 932eb23. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Ppopp Supplementary loads about 1.1k tokens when it runs. Until then it costs about 78 tokens; SKILL.md has 449 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~78
When it runs · the whole SKILL.md, loaded when a task matches
~1.1k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from brycewang-stanford/Awesome-Journal-Skills at commit 932eb23, republished under its MIT licence (© brycewang-stanford). 449 words, ~1,060 tokens.

Download SKILL.mdSave it as .claude/skills/ppopp-supplementary/SKILL.md (or your agent's skills folder).
name
ppopp-supplementary
description
Use when deciding what belongs in a PPoPP paper's 10 reviewed pages versus the artifact or appendix, splitting content by decision-criticality so proofs, full core sweeps, and correctness arguments that determine acceptance stay legible in the body, while bulk data and extended runs move out.

PPoPP Supplementary

Decide what lives in the 10 reviewed pages (text and figures, two-column acmart) and what moves to the artifact or an appendix. The governing rule at PPoPP is decision-criticality: anything a reviewer must read to be convinced the result is correct under concurrency and scales stays in the body. References are unlimited and free; body space is the scarce resource.

The decision-criticality test

For each candidate piece of content, ask: would a reviewer's accept/reject change if they could not see this?

text
[Decides acceptance]  the correctness argument's core, the headline scaling curve, the baseline
                      comparison, the key design insight  -> BODY (inside 10 pages)
[Supports/confirms]   full linearizability proof details, every core-count data point, additional
                      workloads, sensitivity sweeps, extra GPUs  -> ARTIFACT / APPENDIX
[Bulk / mechanical]   raw logs, per-run tables, generator internals, build scripts  -> ARTIFACT

The failure mode PPoPP punishes is burying a load-bearing argument — the linearization points, the one plot that shows saturation — outside the reviewed pages, so the reviewer cannot judge the claim and defaults to skepticism.

What must stay in the body

  • The correctness argument's spine. The property (linearizability/progress), the linearization points or the key invariant, and why it holds under the named memory model. The full formal proof can move; the argument a reviewer needs to believe it cannot.
  • The headline scaling evidence. At least one clear speedup/throughput curve over core or thread count, with the baseline and machine named in the caption.
  • The baseline comparison that substantiates the delta over prior work.
  • The design insight that makes the parallelism work — the idea, not every implementation detail.

What can move out

  • Full proofs and case analyses — keep the argument in the body, push the exhaustive case split to an appendix or the artifact.
  • Complete sweeps — the body shows the representative curve; the artifact holds every thread count, socket configuration, input size, and GPU.
  • Additional workloads and sensitivity studies that confirm rather than establish the claim.
  • Reproduction machinery — Dockerfiles, scripts, raw data, and per-run numbers belong in the artifact (see ppopp-artifact-evaluation).
Show full SKILL.md (167 more words)Show less

Where "out" is at PPoPP

  • The artifact is the primary home for bulk evidence and is evaluated post-acceptance — reviewers of the paper are not obligated to run it, so it cannot carry a decision-critical claim at review time.
  • An appendix, if the call permits one within submission rules, is read at the reviewer's discretion — do not put anything acceptance-deciding there and assume it was read. Confirm the current appendix policy each cycle (待核实 if unstated).

Because the artifact is post-acceptance, the split at PPoPP is stricter than at venues that review the artifact alongside the paper: if the reviewer must see it to say yes, it is in the 10 pages.

Keeping the body legible under the page cap

  • Use small multiples to compress a core sweep into one figure rather than five.
  • Move exhaustive tables to the artifact and keep a summarizing plot in the body.
  • Cut prose before cutting evidence; the correctness argument and the scaling curve are the last things to shrink.

Output format

text
[Body (<=10pp)] correctness spine + headline curve + baseline + design insight all present?
[Moved out] proofs-detail / full sweeps / extra workloads / repro machinery -> artifact/appendix
[Decision-critical check] anything acceptance-deciding placed outside the body? (must be none)
[Appendix policy] permitted this cycle? confirmed / 待核实
[Space recovered] figures merged / tables moved to hit 10 pages

© brycewang-stanford, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in PPoPP-Skills/skills/ppopp-supplementary of brycewang-stanford/Awesome-Journal-Skills.

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Ppopp Supplementary next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Ppopp Supplementary compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Ppopp Supplementary this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.1kAutomated safety check: PassMIT
Icdm Supplementarybrycewang-stanford/Awesome-Journal-Skills1.2k—~1kAutomated safety check: PassMIT
Eccv Supplementarybrycewang-stanford/Awesome-Journal-Skills1.2k—~991Automated safety check: PassMIT
Sosp Supplementarybrycewang-stanford/Awesome-Journal-Skills1.2k—~1.3kAutomated safety check: PassMIT
Ase Supplementarybrycewang-stanford/Awesome-Journal-Skills1.2k—~987Automated safety check: PassMIT
Facct Supplementarybrycewang-stanford/Awesome-Journal-Skills1.2k—~1.3kAutomated safety check: PassMIT

Similar skills

  • Icdm Supplementary

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when organizing supplementary and appendix material for an ICDM (IEEE International Conference on Data Mining) paper - deciding what belongs in the body, in an appendix that…

    1.2k GitHub stars~1k tokensUpdated 13 days ago
    Auto-check passed
  • Eccv Supplementary

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when assembling ECCV supplementary material under its own deadline one week after the paper (March 12 in 2026) — deciding what belongs in the extra week's upload, video and…

    1.2k GitHub stars~991 tokensUpdated 13 days ago
    Auto-check passed
  • Sosp Supplementary

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when deciding what belongs in a SOSP supplementary document versus the 12-page paper, packaging proofs, extended analyses, and methodological detail as a separate anonymized…

    1.2k GitHub stars~1.3k tokensUpdated 13 days ago
    Research & ScienceAuto-check passed
  • Ase Supplementary

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when deciding what belongs in the 10-page ASE (IEEE/ACM Automated Software Engineering) paper body versus the artifact and supplementary material, splitting content by…

    1.2k GitHub stars~987 tokensUpdated 13 days ago
    Auto-check passed
  • Facct Supplementary

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when deciding what belongs in an ACM FAccT paper body versus its endmatter statements, appendices, and supplementary material — the 14-page acmart budget, the extra endmatter…

    1.2k GitHub stars~1.3k tokensUpdated 13 days ago
    Auto-check passed
  • Wacv Supplementary

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when organizing WACV supplementary material, covering what belongs in the anonymized supplement versus the 8-page body, packaging qualitative videos and extra results without…

    1.2k GitHub stars~947 tokensUpdated 13 days ago
    Auto-check passed

More from brycewang-stanford/Awesome-Journal-Skills

All 2,387 skills in this repo
  • Aaag Data Analysis

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when running and reporting the analysis for an Annals of the American Association of Geographers manuscript — spatial statistics and modeling, remote-sensing accuracy, or…

    1.2k GitHub stars~1.3k tokensUpdated 13 days ago
    Auto-check passed
  • Aaag Literature Positioning

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when positioning an Annals of the American Association of Geographers manuscript in the literature — engaging geographic scholarship across the relevant area and the…

    1.2k GitHub stars~1.3k tokensUpdated 13 days ago
    Auto-check passed
  • Aaag Rebuttal

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when responding to an Annals of the American Association of Geographers decision letter (major/minor revision) — building a point-by-point response to the subject editor and…

    1.2k GitHub stars~1.4k tokensUpdated 13 days ago
    Auto-check passed
  • Aaag Research Design

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when defending the research design of an Annals of the American Association of Geographers manuscript — spatial/quantitative analysis and GIScience, remote-sensing and…

    1.2k GitHub stars~1.4k tokensUpdated 13 days ago
    Auto-check passed
  • Aaag Review Process

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when you need to understand how the Annals of the American Association of Geographers evaluates a manuscript — double-anonymous review routed through a subject editor by…

    1.2k GitHub stars~1.3k tokensUpdated 13 days ago
    Auto-check passed
  • Aaag Submission

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when running the final pre-submission preflight for the Annals of the American Association of Geographers via ScholarOne Manuscripts — area/article-type selection…

    1.2k GitHub stars~1.6k tokensUpdated 13 days ago
    Auto-check passed

Questions about Ppopp Supplementary

What does Ppopp Supplementary do?

A skill your agent uses when deciding what belongs in a PPoPP paper's 10 reviewed pages versus the artifact or appendix, splitting content by decision-criticality so proofs, full core sweeps, and…. Ppopp Supplementary is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when deciding what belongs in a PPoPP paper's 10 reviewed pages versus the artifact or appendix, splitting content by decision-criticality so proofs, full core sweeps, and correctness arguments that determine acceptance stay legible in the body, while bulk data and extended runs move out.

When should I use Ppopp Supplementary?

Ppopp Supplementary fits situations like: deciding what belongs in a PPoPP papers 10 reviewed pages versus the artifact; splitting content by decision-criticality so proofs; full core sweeps; correctness arguments that determine acceptance stay legible in the body.

How do I install Ppopp Supplementary in Claude Code?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill ppopp-supplementary -a claude-code`. Or copy the skill folder (PPoPP-Skills/skills/ppopp-supplementary in brycewang-stanford/Awesome-Journal-Skills) into .claude/skills/ppopp-supplementary in your project. Claude Code loads it when a task matches its description.

How do I install Ppopp Supplementary in Codex?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill ppopp-supplementary -a codex`. Or copy the skill folder (PPoPP-Skills/skills/ppopp-supplementary in brycewang-stanford/Awesome-Journal-Skills) into .agents/skills/ppopp-supplementary in your project. Codex loads it when a task matches its description.

Can I use Ppopp Supplementary in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill ppopp-supplementary -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/ppopp-supplementary, .gemini/skills/ppopp-supplementary, .github/skills/ppopp-supplementary and .opencode/skills/ppopp-supplementary in your project.

What does Ppopp Supplementary need to run?

SKILL.md names no scripts, command-line tools or credentials: Ppopp Supplementary is instructions for the agent only.

Does Ppopp Supplementary access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Ppopp Supplementary safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Ppopp Supplementary use?

Ppopp Supplementary is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Ppopp Supplementary use?

About 1.1k tokens (SKILL.md is roughly 4.2k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Ppopp Supplementary?

Skills that share tags, products or a category with Ppopp Supplementary: Icdm Supplementary (brycewang-stanford/Awesome-Journal-Skills, 1.2k stars), Eccv Supplementary (brycewang-stanford/Awesome-Journal-Skills, 1.2k stars), Sosp Supplementary (brycewang-stanford/Awesome-Journal-Skills, 1.2k stars) and Ase Supplementary (brycewang-stanford/Awesome-Journal-Skills, 1.2k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Ppopp Supplementary?

brycewang-stanford (a GitHub user) maintains it in brycewang-stanford/Awesome-Journal-Skills, which has 1,231 GitHub stars. The repository holds 2,387 skills in this directory. The repository was last updated on September 27, 2026.

Source: brycewang-stanford/Awesome-Journal-Skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.