Haotian Deng

22 papers A* 8A 1B 2Misc 3Journal 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Complete the Cycle: Reachability Types with Expressive Cyclic References.
CoRR
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025 J jnl
Complete the Cycle: Reachability Types with Expressive Cyclic References.
Proc. ACM Program. Lang.
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025 J jnl
Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer.
CoRR
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025 J jnl
Typestate via Revocable Capabilities.
CoRR
Songlin Jia, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao, Tiark Rompf
2023 A* conf
Compiling Parallel Symbolic Execution with Continuations.
ICSE
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2021 A* conf
Experience: a five-year retrospective of MobileInsight.
MobiCom
Yuanjie Li, Chunyi Peng, Zhehui Zhang, Zhaowei Tan, Haotian Deng, Jinghao Zhao, Qianru Li, Yunqi Guo, Kai Ling, Boyan Ding, Hewu Li, Songwu Lu
2020 Misc conf
Unveiling the Missed 4.5G Performance In the Wild.
HotMobile
Haotian Deng, Kai Ling, Junpeng Guo, Chunyi Peng
2020 Misc conf
Unveiling the Missed 4.5G Performance In the Wild.
HotMobile
Kai Ling, Haotian Deng, Junpeng Guo, Chunyi Peng
2020 A* conf
iCellSpeed: increasing cellular data speed with device-assisted cell selection.
MobiCom
Haotian Deng, Qianru Li, Jingqi Huang, Chunyi Peng
2018 B conf
A Machine Learning Based Approach to Mobile Network Analysis.
ICCCN
Zengwen Yuan, Yuanjie Li, Chunyi Peng, Songwu Lu, Haotian Deng, Zhaowei Tan, Taqi Raza
2018 A* conf
CEIVE: Combating Caller ID Spoofing on 4G Mobile Phones Via Callee-Only Inference and Verification.
MobiCom
Haotian Deng, Weicheng Wang, Chunyi Peng
2018 A* conf
Demo: Combating Caller ID Spoofing on 4G Phones Via CEIVE.
MobiCom
Haotian Deng, Chunyi Peng
2018 J jnl
Device-Customized Multi-Carrier Network Access on Commodity Smartphones.
IEEE/ACM Trans. Netw.
Yuanjie Li, Chunyi Peng, Haotian Deng, Zengwen Yuan, Guan-Hua Tu, Jiayao Li, Songwu Lu, Xi Li
2018 A conf
Mobility Support in Cellular Networks: A Measurement Study on Its Configurations and Implications.
Internet Measurement Conference
Haotian Deng, Chunyi Peng, Ans Fida, Jiayi Meng, Y. Charlie Hu
2017 J jnl
Experimental Evaluation of WiFi Active Power/Energy Consumption Models for Smartphones.
IEEE Trans. Mob. Comput.
Li Sun, Haotian Deng, Ramanujan K. Sheshadri, Wei Zheng, Dimitrios Koutsonikolas
2017 J jnl
MobileInsight: Analyzing Cellular Network Information on Smartphones.
GetMobile Mob. Comput. Commun.
Yuanjie Li, Chunyi Peng, Zengwen Yuan, Haotian Deng, Jiayao Li, Tao Wang
2017 B conf
Towards Automated Intelligence in 5G Systems.
ICCCN
Haotian Deng, Qianru Li, Yuanjie Li, Songwu Lu, Chunyi Peng, Taqi Raza, Zhaowei Tan, Zengwen Yuan, Zhehui Zhang
2016 A* conf
In-device, runtime cellular network information extraction and analysis: demo.
MobiCom
Yuanjie Li, Haotian Deng, Yuanbo Xiangli, Zengwen Yuan, Chunyi Peng, Songwu Lu
2016 A* conf
Instability in Distributed Mobility Management: Revisiting Configuration Management in 3G/4G Mobile Networks.
SIGMETRICS
Yuanjie Li, Haotian Deng, Jiayao Li, Chunyi Peng, Songwu Lu
2016 A* conf
Mobileinsight: extracting and analyzing cellular network information on smartphones.
MobiCom
Yuanjie Li, Chunyi Peng, Zengwen Yuan, Jiayao Li, Haotian Deng, Tao Wang
2016 Misc conf
iCellular: Device-Customized Cellular Network Access on Commodity Smartphones.
NSDI
Yuanjie Li, Haotian Deng, Chunyi Peng, Zengwen Yuan, Guan-Hua Tu, Jiayao Li, Songwu Lu
2015 J jnl
iCellular: Define Your Own Cellular Network Access on Commodity Smartphones.
CoRR
Yuanjie Li, Haotian Deng, Chunyi Peng, Guan-Hua Tu, Jiayao Li, Zengwen Yuan, Songwu Lu