Publications
The networked, robotic home furniture suite: A distributed, assistive technology facilitating aging in place
The SCION Internet Architecture
Thinking Fast and Slow: Optimization Decomposition Across Timescales
Throughput and Fairness Analysis of Wi-Fi and LTE-U in Unlicensed Band
Topical Coherence in LDA-based Models through Induced Segmentation
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Towards Next Generation Touring: Personalized Group Tours
Towards optimal concolic testing
Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, https://dl.acm.org/doi/10.1145/3180155.3180177