@inproceedings{wang:hotnets:26,
  author = {Jinlang Wang and Jiawei Tyler Gu and Ruize Tang and Tej Chajed and Tianyin Xu and Xudong Sun},
  title = "{Formal operations specifications for reliable system management}",
  booktitle = {Proceedings of the 25th ACM Workshop on Hot Topics in Networks (HotNets'26)},
  address = {Salt Lake City, UT},
  month = NOV,
  year = 2026,
}