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

FP4: Line-rate Greybox Fuzz Testing for P4 Switches., , , , and . CoRR, (2022)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)Lightyear: Using Modularity to Scale BGP Control Plane Verification., , , , , , and . SIGCOMM, page 94-107. ACM, (2023)PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks., , , , and . SIGCOMM, page 360-377. ACM, (2023)Synthesizing Runtime Programmable Switch Updates., , and . NSDI, page 613-628. USENIX Association, (2023)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)Abstract interpretation of distributed network control planes., , , and . Proc. ACM Program. Lang., 4 (POPL): 42:1-42:27 (2020)Modular Control Plane Verification via Temporal Invariants., , , and . Proc. ACM Program. Lang., 7 (PLDI): 50-75 (2023)