Poster: A VLC Solution for Smart Parking. - Yang Shen; Guojun Chen; Xieyang Xu; Chenren Xu; Guobin Shen; Jiaji Li (MobiCom, 2017)

PassiveVLC: Enabling Practical Visible Light Backscatter Communication for Battery-free IoT Applications. - Xieyang Xu; Yang Shen; Junrui Yang 001; Chenren Xu; Guobin Shen; Guojun Chen; Yunzhe Ni (MobiCom, 2017)

A Visible Light Backscatter Communication Solution for Low-cost Parking Space Detection. - Lilei Feng; Yang Shen; Guojun Chen; Xieyang Xu; Purui Wang; Chenren Xu (UbiComp/ISWC Adjunct, 2018)

Software-defined Visible Light Backscatter Network. - Xieyang Xu; Yang Shen; Guojun Chen; Yue Wu; Lilei Feng; Qing Wang 007; Chenren Xu (MobiSys, 2018)

Long Range Retroreflective V2X Communication with Polarization-based Differential Reception. - Guojun Chen; Purui Wang; Lilei Feng; Yue Wu; Xieyang Xu; Yang Shen; Chenren Xu (SenSys, 2018)

Test coverage metrics for the network. - Xieyang Xu; Ryan Beckett; Karthick Jayaraman; Ratul Mahajan; David Walker 001 (SIGCOMM, 2021)

Test Coverage for Network Configurations. - Xieyang Xu; Weixin Deng; Ryan Beckett; Ratul Mahajan; David Walker 001 (NSDI, 2023)

Relational Network Verification. - Xieyang Xu; Yifei Yuan 001; Zachary Kincaid; Arvind Krishnamurthy; Ratul Mahajan; David Walker 001; Ennan Zhai (SIGCOMM, 2024)

High-Quality Network Specifications via Coverage Analysis and Relational Abstractions - Xieyang Xu (2024)