Cheng Tan

According to our database, Cheng Tan authored at least 19 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking.

Jian Zhang, Cheng Tan

Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 2024

2023

Predicting GPU Failures With High Precision Under Deep Learning Workloads.

Heting Liu, Zhichao Li, Cheng Tan, Rongqiu Yang, Guohong Cao, Zherui Liu, Chuanxiong Guo

Proceedings of the 16th ACM International Conference on Systems and Storage, 2023

Encrypted Databases Made Secure Yet Maintainable.

Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Viper: A Fast Snapshot Isolation Checker.

Jian Zhang, Ye Ji, Shuai Mu, Cheng Tan

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers.

Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Finding Deep-Learning Compilation Bugs with NNSmith.

Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang

CoRR, 2022

Prediction of GPU Failures Under Deep Learning Workloads.

Heting Liu, Zhichao Li, Cheng Tan, Rongqiu Yang, Guohong Cao, Zherui Liu, Chuanxiong Guo

CoRR, 2022

2021

Serving DNN Models with Multi-Instance GPUs: A Case of the Reconfigurable Machine Scheduling Problem.

Cheng Tan, Zhichao Li, Jian Zhang, Yu Cao, Sikai Qi, Zherui Liu, Yibo Zhu, Chuanxiong Guo

CoRR, 2021

Bringing Decentralized Search to Decentralized Services.

Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Building verified neural networks with specifications for systems.

Cheng Tan, Yibo Zhu, Chuanxiong Guo

Proceedings of the APSys '21: 12th ACM SIGOPS Asia-Pacific Workshop on Systems, 2021

2020

Auditing Outsourced Services.

Cheng Tan

PhD thesis, 2020

Cobra: Making Transactional Key-Value Stores Verifiably Serializable.

Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Detecting Incorrect Behavior of Cloud Databases as an Outsider.

Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish

CoRR, 2019

Taming Distrust in the Decentralized Internet with PIXIU.

Yubin Xia, Qingyuan Liu, Cheng Tan, Jing Leng, Shangning Xu, Binyu Zang, Haibo Chen

CoRR, 2019

NetBouncer: Active Device and Link Failure Localization in Data Center Networks.

Cheng Tan, Ze Jin, Chuanxiong Guo, Tianrong Zhang, Haitao Wu, Karl Deng, Dongming Bi, Dong Xiang

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2017

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web.

Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2015

<i>TinMan</i>: eliminating confidential mobile data exposure with security oriented offloading.

Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen

Proceedings of the Tenth European Conference on Computer Systems, 2015

2014

PreCrime to the rescue: defeating mobile malware one-step ahead.

Cheng Tan, Haibo Li, Yubin Xia, Binyu Zang, Cheng-Kang Chu, Tieyan Li

Proceedings of the Asia-Pacific Workshop on Systems, 2014

2012

TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization.

Cheng Tan, Yubin Xia, Haibo Chen, Binyu Zang

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012