cav-topic-selection
Use when deciding whether a formal-methods project belongs at CAV (Computer Aided Verification) or should be routed to TACAS, FMCAD, VMCAI, LPAR/IJCAR, POPL/PLDI/OOPSLA, or a journal (FMSD/JAR/TOCL), and when choosing the right CAV category — Regular, Short Tool, Short Application, or Industrial Experience & Case Study.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-topic-selection --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.
# CAV Topic Selection Decide the venue and the category before drafting. CAV — the International Conference on Computer Aided Verification — is the **flagship** venue for computer-aided formal analysis of hardware and software systems: model checking, SMT and theorem proving, program analysis and synthesis, and their tools. Its papers are Springer LNCS chapters read by verification researchers, so reviewers reward a **durable verification contribution with a stated guarantee**, not a systems demo or an ML result with a verification label attached. ## Two decisions, not one At CAV you choose both a **venue** (CAV vs. its siblings) and a **category** (Regular vs. Tool vs. Application vs. Industrial). Get the venue right first, then the category — a strong tool filed as a Regular Paper, or a technique squeezed into a 10-page tool paper, wastes the fit. ## Sibling-venue routing table | Signal in your project | Better home | Why | |---|---|---| | A general verification technique/algorithm with a soundness/completeness result, mature enough for the flagship | **CAV** | Flagship scope; the Regular-Paper archetype | | Emphasis on tools, algorithms, and their construction/analysis, or you w
- Two decisions, not one
- Sibling-venue routing table
- Contribution shapes CAV rewards
- The re-label and swap tests
- Category-selection cues (once CAV is chosen)
- Cheap reconnaissance before committing
- Decision procedure
What does the cav-topic-selection skill do?
Use when deciding whether a formal-methods project belongs at CAV (Computer Aided Verification) or should be routed to TACAS, FMCAD, VMCAI, LPAR/IJCAR, POPL/PLDI/OOPSLA, or a journal (FMSD/JAR/TOCL), and when choosing the right CAV category — Regular, Short Tool, Short Application, or Industrial Experience & Case Study.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-topic-selection --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.