TY  - RPRT
TI  - AccelSync: Verifying Synchronization Coverage in Accelerator Pipeline Programs
AU  - Hangcheng An
AU  - Rui Wang
AU  - Depei Qian
PY  - 2026
UR  - https://arxiv.org/abs/2605.07881
ID  - 2605.07881
ER  -