tacas-author-response

在撰写TACAS（ETAPS）作者回复（ rebuttal window 期间）时，请遵循以下要点：针对简短单轮回复，提供可验证的证据以回应关于正确性（soundness）和基准公平性（benchmark-fairness）的质疑；对于工具类论文，需妥善处理关于研究工件的关切；若适用，应遵守按类别盲审（per-category blind model）的要求；同时明确哪些质疑可以通过回复有效回应，哪些则无法通过回复改变评审意见。

存档时间线

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本