domains / research / academic-publishing / ppopp-related-work
Skill card
separate
This skill name occurs once, so it stays a separate skill.
PPoPP-Skills/skills/ppopp-related-work/SKILL.md