Cheng Tan

(he/him/his)

Assistant Professor

Cheng Tan
  • Computer systems
  • Systems and networking
  • Security
  • Operating systems
  • PhD in Computer Science, New York University
  • MS in Software Engineering, Fudan University — China
  • BE in Software Engineering, Nanjing University — China

Cheng Tan is an assistant professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston.

Tan's research interests are in systems and security, with a focus on building verifiable outsourced services and certified neural networks for systems. His work has earned him the SOSP Best Paper Award and the Janet Fabri Prize for Outstanding Dissertation.

Before joining Khoury College in 2021, Tan was a research scientist at ByteDance Inc.'s AI Lab.

  • Building verified neural networks with specifications for systems

    Citation: Cheng Tan, Yibo Zhu, and Chuanxiong Guo. 2021. Building verified neural networks with specifications for systems. Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems. Association for Computing Machinery, New York, NY, USA, 42–47. DOI:https://doi.org/10.1145/3476886.3477508

  • Bringing Decentralized Search to Decentralized Services

    Citation: Mingyu Li and Jinhao Zhu and Tianxu Zhang and Cheng Tan and Yubin Xia and Sebastian Angel and Haibo Chen, "Bringing Decentralized Search to Decentralized Services", 15th {USENIX} Symposium on Operating Systems Design and Implementation , 2021, i USENIX Association

  • Cobra: Making transactional key-value stores verifiably serializable

    Citation: Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. 2020. COBRA: making transactional key-value stores verifiably serializable. Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation. Article 4, 63–80.