Cited By
View all- Fang XDing FHuang BWang ZHan GYang RYou LXiang QKong LLiu YShu J(2024)Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain KnowledgeIEEE INFOCOM 2024 - IEEE Conference on Computer Communications10.1109/INFOCOM52122.2024.10621215(2119-2128)Online publication date: 20-May-2024
- Mike Liang CXue HYang MZhou L(2019)The Case for Learning-and-System Co-designACM SIGOPS Operating Systems Review10.1145/3352020.335203153:1(68-74)Online publication date: 25-Jul-2019
- Aydeger ASaputro NAkkaya K(2019)A moving target defense and network forensics framework for ISP networks using SDN and NFVFuture Generation Computer Systems10.1016/j.future.2018.11.04594(496-509)Online publication date: May-2019
- Show More Cited By