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
9 results for Linghe Kong
Toward a Unified Framework for Verifying and Interpreting Learning-Based Networking Systems
- Yangfan Huang
- Yuling Lin
- et al.
- 2023
- IWQoS 2023
Conference paperReal-Time Decoding of Snapshot Compressive Imaging Using Tensor FISTA-Net
- Xiao-Yang Liu
- Qifan Huang
- et al.
- 2023
- IEEE TNNLS
PaperOptimizing in the dark: Learning optimal network resource reservation through a simple request interface
- Qiao Xiang
- Haitao Yu
- et al.
- 2021
- IEEE/ACM TON
PaperOptimizing in the dark: Learning an optimal solution through a simple request interface
- Qiao Xiang
- Haitao Yu
- et al.
- 2019
- AAAI 2019
Conference paperRAC: Reconfiguration-Assisted Charging in Large-Scale Lithium-Ion Battery Systems
- Liang He
- Linghe Kong
- et al.
- 2016
- IEEE Transactions on Smart Grid
PaperDeco: False data detection and correction framework for participatory sensing
- Long Cheng
- Linghe Kong
- et al.
- 2015
- IWQoS 2015
Conference paperEvaluating the On-Demand Mobile Charging in Wireless Sensor Networks
- Liang He
- Linghe Kong
- et al.
- 2015
- IEEE TMC
PaperPrivacy-Preserving Compressive Sensing for Crowdsensing Based Trajectory Recovery
- Linghe Kong
- Liang He
- et al.
- 2015
- ICDCS 2015
Conference paper