Causal network telemetry. - Yunhe Liu 002; Nate Foster; Fred B. Schneider (EuroP4@CoNEXT, 2022)

Formal Abstractions for Packet Scheduling. - Anshuman Mohan; Yunhe Liu 002; Nate Foster; Tobias Kappé; Dexter Kozen (Zenodo, 2023)

Formal Abstractions for Packet Scheduling. - Anshuman Mohan; Yunhe Liu 002; Nate Foster; Tobias Kappé; Dexter Kozen (Proc. ACM Program. Lang., 2023)