Tianchen Guo

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Detect Anomalies

Mobile Platforms

Top Venues

Publications

Ruihan Li, Yifei Yuan, Fangdan Ye, Mengqi Liu, Ruizhen Yang, Yang Yu, Tianchen Guo, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai
A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures. SIGCOMM (2024)
Ruihan Li, Fangdan Ye, Yifei Yuan, Ruizhen Yang, Bingchuan Tian, Tianchen Guo, Hao Wu, Xiaobo Zhu, Zhongyu Guan, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai
Reasoning about Network Traffic Load Property at Production Scale. NSDI (2024)
Shidong Pan, Tianchen Guo, Lihong Zhang, Pei Liu, Zhenchang Xing, Xiaoyu Sun
A Large-scale Investigation of Semantically Incompatible APIs behind Compatibility Issues in Android Apps. CoRR (2024)
Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, Rodrigo Fonseca
Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. SIGCOMM (2020)