TACAS Author Response

Use this after TACAS reviews are released in the rebuttal window. TACAS has one speaking turn: a short, targeted author response before the PC finalizes decisions — not a journal-style revise-and-resubmit. The job is to correct misreadings and supply the one or two checkable facts that move a borderline paper, not to rewrite the paper.

Triage

• Answer what affects the decision: soundness of the algorithm, fairness and reproducibility of the evaluation, artifact function (for tool papers), correctness of a proof step, and genuine misreadings.
• Use evidence that already exists in the submitted paper or artifact, or a number you can state now — never a vague promise of future work.
• Correct factual misreadings first; a reviewer who misread a theorem or a benchmark table is often persuadable.
• Respect anonymity where it applies: for a double-blind research paper the rebuttal must not reveal authors, institutions, tool identity, or a repository owner; for a single-blind tool / case-study paper this constraint does not apply.

The rebuttal shape

Short and decision-focused. One or two decision-critical points per reviewer beats an exhaustive reply. Concede what is true, correct what is misread, and point to exactly where the answer lives in the submitted paper or artifact. Do not paste large new results the reviewers cannot verify in the window.

[R1.1] Reviewer concern (quoted briefly)
       -> Response: the soundness objection assumes X; Theorem 1 handles it via Y (see §3.2)
       -> Evidence: already in the submitted proof / artifact script reproduce/rq1.sh
[R2.1] Reviewer concern
       -> Response: the baseline was configured with an equal 900s timeout on the same machine
          (§4.1); the per-category table shows the comparison is fair, not cherry-picked
[R3.1] Reviewer concern (artifact)
       -> Response: the artifact builds offline on the VM; the smoke run is `smoke.sh`; we will
          clarify the one missing dependency note in the README

Reviewer pushback patterns

What a rebuttal can and cannot move

• Can move: a misread proof, a baseline the reviewer thought was untuned but was not, a "not reproducible" that a pointer to the right script resolves, a novelty doubt a crisp delta answers.
• Cannot move: a genuinely broken artifact for a tool paper, an unsound core, an evaluation that really is cherry-picked. Do not argue taste; the PC discussion decides, and your response is evidence for an advocate, not a closing argument.

Anonymity check (research papers only)

• Refer to your own prior work in the third person, as in the paper.
• Do not name your tool's identifying name, institution, grant, or a private repository in the response.
• For a single-blind tool/case-study paper, none of this applies — answer plainly.

Calibration

• The rebuttal is short and single-round; do not treat it as a revision.
• Length and format norms vary by cycle; confirm the current ETAPS instructions before sending.
• Answer the criterion the reviewer actually raised (soundness vs fairness vs artifact), not the one you would rather defend.

Output format

[Rebuttal focus] soundness / benchmark-fairness / reproducibility / artifact / novelty
[Category + blind mode] research (anonymous rebuttal) / tool|case-study (named)
[Point ledger] <reviewer concern -> response -> where the evidence already lives>
[Concessions] <what you concede + how you scope the claim>
[Anonymity check] (research only) <no identity leak in the response: passed/issues>