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)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)Synthesizing Runtime Programmable Switch Updates., , and . NSDI, page 613-628. USENIX Association, (2023)Test coverage metrics for the network., , , , and . SIGCOMM, page 775-787. ACM, (2021)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)Diffy: Data-Driven Bug Finding for Configurations., , and . Proc. ACM Program. Lang., 8 (PLDI): 199-222 (2024)TIPSY: predicting where traffic will ingress a WAN., , , , , , and . SIGCOMM, page 233-249. ACM, (2022)An assertion language for debugging SDN applications., , , , , and . HotSDN, page 91-96. ACM, (2014)