Author of the publication

SLA-verifier: Stateful and quantitative verification for service chaining.

, , , , and . INFOCOM, page 1-9. IEEE, (2017)

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

Simultaneously Achieving Sublinear Regret and Constraint Violations for Online Convex Optimization with Time-varying Constraints., , , and . SIGMETRICS Perform. Evaluation Rev., 49 (3): 4-5 (2022)Sphinx: A transport protocol for high-speed and lossy mobile networks., , , , , , and . Comput. Networks, (2021)Efficient Data-Plane Memory Scheduling for In-Network Aggregation., , , , , and . CoRR, (2022)Preemptive Switch Memory Usage to Accelerate Training Jobs with Shared In-Network Aggregation., , , , , and . ICNP, page 1-12. IEEE, (2023)RateSheriff: Multipath Flow-aware and Resource Efficient Rate Limiter Placement for Data Center Networks., , , , and . IWQoS, page 1-10. IEEE, (2023)Scalable On-Switch Rate Limiters for the Cloud., , , , and . INFOCOM, page 1-10. IEEE, (2021)T2DNS: A Third-Party DNS Service with Privacy Preservation and Trustworthiness., , , and . ICCCN, page 1-11. IEEE, (2020)P5: Policy-driven optimization of P4 pipeline., , , , , , and . SOSR, page 136-142. ACM, (2017)In-Network Key-Value Cache with Linearizability., , , , and . ICPADS, page 1935-1942. IEEE, (2023)Virtual network diagnosis as a service., , , and . SoCC, page 9:1-9:15. ACM, (2013)