Accepted to appear at POPL 2027.
A Type System for Communication Safe Hardware Design Aditya Ranjan Jha, Jason Zhijingcheng Yu, Umang Mathur, Prateek Saxena POPL 2027 Safe, Reliable and Secure Hardware Download BibTeX Accepted to appear at POPL 2027.