iCellular: Define Your Own Cellular Network Access on Commodity Smartphones. - Yuanjie Li; Haotian Deng 001; Chunyi Peng 001; Guan-Hua Tu; Jiayao Li; Zengwen Yuan; Songwu Lu (CoRR, 2015)

In-device, runtime cellular network information extraction and analysis: demo. - Yuanjie Li; Haotian Deng 001; Yuanbo Xiangli; Zengwen Yuan; Chunyi Peng 001; Songwu Lu (MobiCom, 2016)

Mobileinsight: extracting and analyzing cellular network information on smartphones. - Yuanjie Li; Chunyi Peng 001; Zengwen Yuan; Jiayao Li; Haotian Deng 001; Tao Wang 004 (MobiCom, 2016)

iCellular: Device-Customized Cellular Network Access on Commodity Smartphones. - Yuanjie Li; Haotian Deng 001; Chunyi Peng 001; Zengwen Yuan; Guan-Hua Tu; Jiayao Li; Songwu Lu (NSDI, 2016)

Instability in Distributed Mobility Management: Revisiting Configuration Management in 3G/4G Mobile Networks. - Yuanjie Li; Haotian Deng 001; Jiayao Li; Chunyi Peng 001; Songwu Lu (SIGMETRICS, 2016)

Towards Automated Intelligence in 5G Systems. - Haotian Deng 001; Qianru Li; Yuanjie Li; Songwu Lu; Chunyi Peng 001; Taqi Raza; Zhaowei Tan; Zengwen Yuan; Zhehui Zhang (ICCCN, 2017)

MobileInsight: Analyzing Cellular Network Information on Smartphones. - Yuanjie Li; Chunyi Peng 001; Zengwen Yuan; Haotian Deng 001; Jiayao Li; Tao Wang 004 (GetMobile Mob. Comput. Commun., 2017)

Experimental Evaluation of WiFi Active Power/Energy Consumption Models for Smartphones. - Li Sun 003; Haotian Deng 001; Ramanujan K. Sheshadri; Wei Zheng 010; Dimitrios Koutsonikolas (IEEE Trans. Mob. Comput., 2017)

A Machine Learning Based Approach to Mobile Network Analysis. - Zengwen Yuan; Yuanjie Li; Chunyi Peng 001; Songwu Lu; Haotian Deng 001; Zhaowei Tan; Taqi Raza (ICCCN, 2018)

Mobility Support in Cellular Networks: A Measurement Study on Its Configurations and Implications. - Haotian Deng 001; Chunyi Peng 001; Ans Fida; Jiayi Meng; Y. Charlie Hu (Internet Measurement Conference, 2018)

Demo: Combating Caller ID Spoofing on 4G Phones Via CEIVE. - Haotian Deng 001; Chunyi Peng 001 (MobiCom, 2018)

CEIVE: Combating Caller ID Spoofing on 4G Mobile Phones Via Callee-Only Inference and Verification. - Haotian Deng 001; Weicheng Wang; Chunyi Peng 001 (MobiCom, 2018)

Device-Customized Multi-Carrier Network Access on Commodity Smartphones. - Yuanjie Li; Chunyi Peng 001; Haotian Deng 001; Zengwen Yuan; Guan-Hua Tu; Jiayao Li; Songwu Lu; Xi Li 003 (IEEE/ACM Trans. Netw., 2018)

iCellSpeed: increasing cellular data speed with device-assisted cell selection. - Haotian Deng 001; Qianru Li; Jingqi Huang; Chunyi Peng 001 (MobiCom, 2020)

Unveiling the Missed 4.5G Performance In the Wild. - Haotian Deng 001; Kai Ling; Junpeng Guo; Chunyi Peng 001 (HotMobile, 2020)

Experience: a five-year retrospective of MobileInsight. - Yuanjie Li; Chunyi Peng 001; Zhehui Zhang; Zhaowei Tan; Haotian Deng 001; Jinghao Zhao; Qianru Li; Yunqi Guo; Kai Ling; Boyan Ding; Hewu Li; Songwu Lu (MobiCom, 2021)

Compiling Parallel Symbolic Execution with Continuations. - Guannan Wei 001; Songlin Jia; Ruiqi Gao; Haotian Deng 001; Shangyin Tan; Oliver Bracevac; Tiark Rompf (ICSE, 2023)

Complete the Cycle: Reachability Types with Expressive Cyclic References. - Haotian Deng 001; Siyuan He; Songlin Jia; Yuyan Bao; Tiark Rompf (CoRR, 2025)