TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization. - Cheng Tan 005; Yubin Xia; Haibo Chen 001; Binyu Zang (DSN Workshops, 2012)

PreCrime to the rescue: defeating mobile malware one-step ahead. - Cheng Tan 005; Haibo Li; Yubin Xia; Binyu Zang; Cheng-Kang Chu; Tieyan Li (APSys, 2014)

TinMan: eliminating confidential mobile data exposure with security oriented offloading. - Yubin Xia; Yutao Liu; Cheng Tan 005; Mingyang Ma; Haibing Guan; Binyu Zang; Haibo Chen 001 (EuroSys, 2015)

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. - Cheng Tan 005; Lingfan Yu; Joshua B. Leners; Michael Walfish (SOSP, 2017)

NetBouncer: Active Device and Link Failure Localization in Data Center Networks. - Cheng Tan 005; Ze Jin; Chuanxiong Guo; Tianrong Zhang; Haitao Wu; Karl Deng; Dongming Bi; Dong Xiang (NSDI, 2019)

Taming Distrust in the Decentralized Internet with PIXIU. - Yubin Xia; Qingyuan Liu; Cheng Tan 005; Jing Leng; Shangning Xu; Binyu Zang; Haibo Chen 001 (CoRR, 2019)

Detecting Incorrect Behavior of Cloud Databases as an Outsider. - Cheng Tan 005; Changgeng Zhao; Shuai Mu 001; Michael Walfish (CoRR, 2019)

Cobra: Making Transactional Key-Value Stores Verifiably Serializable. - Cheng Tan 005; Changgeng Zhao; Shuai Mu 001; Michael Walfish (OSDI, 2020)

Auditing Outsourced Services. - Cheng Tan 005 (2020)

Building verified neural networks with specifications for systems. - Cheng Tan 005; Yibo Zhu; Chuanxiong Guo (APSys, 2021)

Bringing Decentralized Search to Decentralized Services. - Mingyu Li; Jinhao Zhu; Tianxu Zhang; Cheng Tan 005; Yubin Xia; Sebastian Angel; Haibo Chen 001 (OSDI, 2021)

Serving DNN Models with Multi-Instance GPUs: A Case of the Reconfigurable Machine Scheduling Problem. - Cheng Tan 005; Zhichao Li; Jian Zhang; Yu Cao; Sikai Qi; Zherui Liu; Yibo Zhu; Chuanxiong Guo (CoRR, 2021)

Prediction of GPU Failures Under Deep Learning Workloads. - Heting Liu; Zhichao Li; Cheng Tan 005; Rongqiu Yang; Guohong Cao; Zherui Liu; Chuanxiong Guo (CoRR, 2022)

Finding Deep-Learning Compilation Bugs with NNSmith. - Jiawei Liu 004; Jinkun Lin; Fabian Ruffy; Cheng Tan 005; Jinyang Li 001; Aurojit Panda; Lingming Zhang 001 (CoRR, 2022)

NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers. - Jiawei Liu 004; Jinkun Lin; Fabian Ruffy; Cheng Tan 005; Jinyang Li 001; Aurojit Panda; Lingming Zhang 001 (ASPLOS (2), 2023)

Viper: A Fast Snapshot Isolation Checker. - Jian Zhang; Ye Ji; Shuai Mu 001; Cheng Tan 005 (EuroSys, 2023)

Encrypted Databases Made Secure Yet Maintainable. - Mingyu Li; Xuyang Zhao; Le Chen; Cheng Tan 005; Huorong Li; Sheng Wang 011; Zeyu Mi; Yubin Xia; Feifei Li 001; Haibo Chen 001 (OSDI, 2023)

Predicting GPU Failures With High Precision Under Deep Learning Workloads. - Heting Liu; Zhichao Li; Cheng Tan 005; Rongqiu Yang; Guohong Cao; Zherui Liu; Chuanxiong Guo (SYSTOR, 2023)

Scheduling Splittable Jobs on Configurable Machines. - Matthew Casey 002; Rajmohan Rajaraman; David Stalfa; Cheng Tan 005 (APPROX/RANDOM, 2024)

Instance-Optimized Mapping with Portfolio Methods. - Yibo Zhao; Panagiotis Manolios; Cheng Tan 005 (PACMI@SOSP, 2024)

Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking. - Jian Zhang; Cheng Tan 005 (PaPoC@EuroSys, 2024)

PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption. - Yifan Tan; Cheng Tan 005; Zeyu Mi; Haibo Chen 001 (ASPLOS (1), 2025)