Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification
- Qiao Xiang
- Chenyang Huang
- et al.
- 2023
- SIGCOMM 2023
Conference paper
Publications
48 results for Franck Le
Toward a Unified Framework for Verifying and Interpreting Learning-Based Networking Systems
- Yangfan Huang
- Yuling Lin
- et al.
- 2023
- IWQoS 2023
Conference paperRethinking Data-driven Networking with Foundation Models: Challenges and Opportunities
- Franck Le
- Mudhakar Srivatsa
- et al.
- 2022
- HotNets 2022
Conference paperNetwork Can Check Itself: Scaling Data Plane Checking via Distributed, On-Device Verification
- Qiao Xiang
- Ridi Wen
- et al.
- 2022
- HotNets 2022
Conference paperMore Is Not Always Better: An Analytical Study of Controller Synchronizations in Distributed SDN
- Ziyao Zhang
- Liang Ma
- et al.
- 2021
- IEEE/ACM TON
PaperOptimizing in the dark: Learning optimal network resource reservation through a simple request interface
- Qiao Xiang
- Haitao Yu
- et al.
- 2021
- IEEE/ACM TON
PaperNetwork Scheduling and Compute Resource Aware Task Placement in Datacenters
- Ali Munir
- Ting He
- et al.
- 2020
- IEEE/ACM TON
PaperToward Optimal Software-Defined Interdomain Routing
- Qiao Xiang
- Jingxuan Zhang
- et al.
- 2020
- INFOCOM 2020
Conference paperImproving inter-domain routing through multi-agent reinforcement learning
- Xiaoyang Zhao
- Chuan Wu
- et al.
- 2020
- INFOCOM WKSHPS 2020
Conference paperCounting Devices: Revisiting Existing Approaches in Today's Settings
- Franck Le
- Enriquillo Valdez
- et al.
- 2019
- Big Data 2019
Conference paper