Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification
- Qiao Xiang
- Chenyang Huang
- et al.
- 2023
- SIGCOMM 2023
Publications
Date
Featured collections
Popular topics
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
Network Can Check Itself: Scaling Data Plane Checking via Distributed, On-Device Verification
- Qiao Xiang
- Ridi Wen
- et al.
- 2022
- HotNets 2022
Rethinking Data-driven Networking with Foundation Models: Challenges and Opportunities
- Franck Le
- Mudhakar Srivatsa
- et al.
- 2022
- HotNets 2022
More Is Not Always Better: An Analytical Study of Controller Synchronizations in Distributed SDN
- Ziyao Zhang
- Liang Ma
- et al.
- 2021
- IEEE/ACM TON
Optimizing in the dark: Learning optimal network resource reservation through a simple request interface
- Qiao Xiang
- Haitao Yu
- et al.
- 2021
- IEEE/ACM TON
Network Scheduling and Compute Resource Aware Task Placement in Datacenters
- Ali Munir
- Ting He
- et al.
- 2020
- IEEE/ACM TON
Toward Optimal Software-Defined Interdomain Routing
- Qiao Xiang
- Jingxuan Zhang
- et al.
- 2020
- INFOCOM 2020
Improving inter-domain routing through multi-agent reinforcement learning
- Xiaoyang Zhao
- Chuan Wu
- et al.
- 2020
- INFOCOM WKSHPS 2020
Counting Devices: Revisiting Existing Approaches in Today's Settings
- Franck Le
- Enriquillo Valdez
- et al.
- 2019
- Big Data 2019