Relational Network Verification. In SIGCOMM 2024
Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai.
[PDF] [Code]

Test Coverage for Network Configurations. In NSDI 2023
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker.
[PDF] [Code] [Demo] [Talk]

Test coverage metrics for the network. In SIGCOMM 2021
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker.
[PDF] [Talk]

PassiveVLC: Enabling practical visible light backscatter communication for battery-free IoT applications. In MobiCom 2017
Xieyang Xu, Yang Shen, Junrui Yang, Chenre Xu, Guobin Shen, Guojun Chen, Yunzhe Ni.
[PDF] [Intro Video]