Cheng Tan

26 papers A* 5A 2Misc 3Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Can LLMs Replace Time-Tested System Policies? Perhaps.
APSys
Yibo Zhao, Cheng Tan
2025 — conf
PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption.
ASPLOS (1)
Yifan Tan, Cheng Tan, Zeyu Mi, Haibo Chen
2025 A* conf
TrainVerify: Equivalence-Based Verification for Distributed LLM Training.
SOSP
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
2024 — conf
Instance-Optimized Mapping with Portfolio Methods.
PACMI@SOSP
Yibo Zhao, Panagiotis Manolios, Cheng Tan
2024 Misc conf
Optimizing GPU Sharing for Container-Based DNN Serving with Multi-Instance GPUs.
SYSTOR
Xinpeng Wei, Zhichao Li, Cheng Tan
2024 J jnl
PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption.
CoRR
Yifan Tan, Cheng Tan, Zeyu Mi, Haibo Chen
2024 A conf
Scheduling Splittable Jobs on Configurable Machines.
APPROX/RANDOM
Matthew Casey, Rajmohan Rajaraman, David Stalfa, Cheng Tan
2024 — conf
Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking.
PaPoC@EuroSys
Jian Zhang, Cheng Tan
2023 A* conf
Encrypted Databases Made Secure Yet Maintainable.
OSDI
Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen
2023 — conf
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers.
ASPLOS (2)
Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang
2023 Misc conf
Predicting GPU Failures With High Precision Under Deep Learning Workloads.
SYSTOR
Heting Liu, Zhichao Li, Cheng Tan, Rongqiu Yang, Guohong Cao, Zherui Liu, Chuanxiong Guo
2023 A conf
Viper: A Fast Snapshot Isolation Checker.
EuroSys
Jian Zhang, Ye Ji, Shuai Mu, Cheng Tan
2022 J jnl
Finding Deep-Learning Compilation Bugs with NNSmith.
CoRR
Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang
2022 J jnl
Prediction of GPU Failures Under Deep Learning Workloads.
CoRR
Heting Liu, Zhichao Li, Cheng Tan, Rongqiu Yang, Guohong Cao, Zherui Liu, Chuanxiong Guo
2021 A* conf
Bringing Decentralized Search to Decentralized Services.
OSDI
Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen
2021 — conf
Building verified neural networks with specifications for systems.
APSys
Cheng Tan, Yibo Zhu, Chuanxiong Guo
2021 J jnl
Serving DNN Models with Multi-Instance GPUs: A Case of the Reconfigurable Machine Scheduling Problem.
CoRR
Cheng Tan, Zhichao Li, Jian Zhang, Yu Cao, Sikai Qi, Zherui Liu, Yibo Zhu, Chuanxiong Guo
2020 — —
Auditing Outsourced Services.
Cheng Tan
2020 A* conf
Cobra: Making Transactional Key-Value Stores Verifiably Serializable.
OSDI
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
2019 J jnl
Detecting Incorrect Behavior of Cloud Databases as an Outsider.
CoRR
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
2019 Misc conf
NetBouncer: Active Device and Link Failure Localization in Data Center Networks.
NSDI
Cheng Tan, Ze Jin, Chuanxiong Guo, Tianrong Zhang, Haitao Wu, Karl Deng, Dongming Bi, Dong Xiang
2019 J jnl
Taming Distrust in the Decentralized Internet with PIXIU.
CoRR
Yubin Xia, Qingyuan Liu, Cheng Tan, Jing Leng, Shangning Xu, Binyu Zang, Haibo Chen
2017 A* conf
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web.
SOSP
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
2017 J jnl
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web.
CoRR
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
2014 — conf
PreCrime to the rescue: defeating mobile malware one-step ahead.
APSys
Cheng Tan, Haibo Li, Yubin Xia, Binyu Zang, Cheng-Kang Chu, Tieyan Li
2012 — conf
TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization.
DSN Workshops
Cheng Tan, Yubin Xia, Haibo Chen, Binyu Zang