Author of the publication

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

PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks., , , , and . SIGCOMM, page 360-377. ACM, (2023)Lightyear: Using Modularity to Scale BGP Control Plane Verification., , , , , , and . SIGCOMM, page 94-107. ACM, (2023)Synthesizing Runtime Programmable Switch Updates., , and . NSDI, page 613-628. USENIX Association, (2023)Minding the gap between fast heuristics and their optimal counterparts., , , , , and . HotNets, page 138-144. ACM, (2022)How Complex is DNS?, , , and . HotNets, page 116-122. ACM, (2021)Diffy: Data-Driven Bug Finding for Configurations., , and . Proc. ACM Program. Lang., 8 (PLDI): 199-222 (2024)Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement., , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 305-323. Springer, (2019)Test coverage metrics for the network., , , , and . SIGCOMM, page 775-787. ACM, (2021)TIPSY: predicting where traffic will ingress a WAN., , , , , , and . SIGCOMM, page 233-249. ACM, (2022)Kirigami, the Verifiable Art of Network Cutting., , , and . ICNP, page 1-12. IEEE, (2022)