A Type System for Communication Safe Hardware Design

Aditya Ranjan Jha, Jason Zhijingcheng Yu, Umang Mathur, Prateek Saxena
January 2027
Cite

Type
Conference paper
Publication
Proceedings of the ACM on Programming Languages (POPL 2027)

Accepted to appear at POPL 2027.