Author of the publication

Check before You Change: Preventing Correlated Failures in Service Updates.

, , , , , , and . NSDI, page 575-589. USENIX Association, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesizing configuration file specifications with association rule learning., , , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 64:1-64:20 (2017)Automated repair by example for firewalls., , and . Formal Methods Syst. Des., 56 (1): 127-153 (2020)Demo: Mobile Gaming on Personal Computers with Direct Android Emulation., , , , , , , , and . MobiCom, page 73:1-73:3. ACM, (2019)Boosting Large-scale Parallel Training Efficiency with C4: A Communication-Driven Approach., , , , , , , , , and 15 other author(s). CoRR, (2024)Aquila: a practically usable verification system for production-scale programmable data planes., , , , , , , , , and 6 other author(s). SIGCOMM, page 17-32. ACM, (2021)Safely and automatically updating in-network ACL configurations with intent language., , , , , , , , , and 4 other author(s). SIGCOMM, page 214-226. ACM, (2019)Alibaba HPN: A Data Center Network for Large Language Model Training., , , , , , , , , and 8 other author(s). SIGCOMM, page 691-706. ACM, (2024)A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures., , , , , , , , , and 2 other author(s). SIGCOMM, page 228-243. ACM, (2024)Reasoning about Network Traffic Load Property at Production Scale., , , , , , , , , and 4 other author(s). NSDI, USENIX Association, (2024)Learning CI Configuration Correctness for Early Build Feedback., , , , and . SANER, page 1006-1017. IEEE, (2022)