Cheng Li

Latest

• Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services
• Noctua: Towards Automated and Practical Fine-grained Consistency Analysis