Cheng Tan

发表

Analysis of Pedestrians' Safety in Urban Signal Intersections

Cheng Tan, 2009 .

Cobra: Making Transactional Key-Value Stores Verifiably Serializable

Michael Walfish, Cheng Tan, Changgeng Zhao, 2020, OSDI.