Connect

TACAS Submission & Review Strategy

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Guides authors through the TACAS (ETAPS) review pipeline, artifact evaluation requirements, and strategic author rebuttals across all submission categories.

The TACAS Review Process skill provides domain-specific guidance for navigating the unique peer-review lifecycle of the TACAS (ETAPS) conference. It models category-specific evaluation criteria across regular research, tool, case study, and tool-demonstration papers, explaining the distinction between double-blind and single-blind tracks. It also details the critical role of the parallel Artifact Evaluation Committee (AEC), contrasts TACAS against sister venues like CAV and journals, and helps researchers craft targeted author rebuttals to address reviewer concerns and maximize acceptance odds.

Key Features

01Clarifies per-category review models (double-blind research vs. single-blind tool and case-study papers)
02Guides parallel Artifact Evaluation Committee (AEC) preparation and VM reproducibility standards
03Provides actionable response strategies for the short ETAPS author rebuttal window
04Benchmarks paper positioning against alternative venues like CAV, SV-COMP, and STTT/FMSD journals
05Identifies high-leverage submission moves and common pitfalls across all TACAS paper categories
061,090 GitHub stars

Use Cases

01Determining the optimal submission track and anonymity setup for formal methods research
02Preparing tool or case-study submissions and ensuring parallel artifact evaluation compliance
03Drafting focused, evidence-backed rebuttals to address reviewer criticisms during the ETAPS PC cycle