domains / families / research / tacas-review-process

tacas-review-process

separate

Use when reasoning about how a TACAS (ETAPS) submission is evaluated, covering the per-category blind model (double-blind research vs single-blind tool/case-study), the single annual PC round with a rebuttal, the parallel mandatory artifact evaluation that feeds tool-paper acceptance, accept/reject decisions, and how TACAS's process differs from CAV's and from a journal's.

When to use

• reasoning about TACAS submission evaluation
• understanding per-category blind model
• analyzing single annual PC round with rebuttal
• evaluating parallel mandatory artifact evaluation
• comparing TACAS process to CAV
• comparing TACAS process to journals
• interpreting accept/reject decisions
• planning author leverage in TACAS

When not to use

• rolling or multi-round journal cycles
• SV-COMP leaderboard rankings
• CAV-specific deadlines or templates
• journal revise-and-resubmit processes

Skill page

Source