TY  - RPRT
TI  - Specifying Hardware Communication as Programs
AU  - Ernest Ng
AU  - Nikil Shyamsunder
AU  - Francis Pham
AU  - Adrian Sampson
AU  - Kevin Laeufer
PY  - 2026
UR  - https://arxiv.org/abs/2606.13659
ID  - 2606.13659
ER  -