摘要富化未成功（S2/OpenAlex 都没返回摘要），下次运行会自动重试；也可在本地跑
paperbot doctor 检查来源连通性。
@inproceedings{paperbot10552,
title = {Anvil: A General-Purpose Timing-Safe Hardware Description Language},
author = {Jason Zhijingcheng Yu and Aditya Ranjan Jha and Umang Mathur and Trevor E. Carlson and Prateek Saxena},
booktitle = {ASPLOS},
year = {2026},
doi = {10.1145/3779212.3790125}
}