1. Modular Data Plane Verification for Compositional Networks;Proceedings of the ACM on Networking;2023-11-27
2. dot2net: A Labeled Graph Approach for Template-Based Configuration of Emulation Networks;2023 19th International Conference on Network and Service Management (CNSM);2023-10-30
3. BGP Control Plane Overhead in Fat-Trees: An Analytical Approach;2023 19th International Conference on Network and Service Management (CNSM);2023-10-30
4. Dependable Virtualized Fabric on Programmable Data Plane;IEEE/ACM Transactions on Networking;2023-08
5. QoE-Aware Content Oriented Path Optimization Framework with Egress Peer Engineering;2022 Tenth International Symposium on Computing and Networking (CANDAR);2022-11