@article{Jhacommunicationsafehardware2027,
  title = {A Type System for Communication Safe Hardware Design},
  author = {Jha, Aditya Ranjan and Yu, Jason Zhijingcheng and Mathur, Umang and Saxena, Prateek},
  journal = {Proceedings of the ACM on Programming Languages},
  year = {2027},
  number = {POPL},
  note = {To appear}
}