My research currently focuses on the current three topics:

Geo-replicated systems

  • How do we design efficient concurrency control mechanisms for geo-replicated systems?
  • What are the right abstractions to program weakly consistent storage systems?

Privacy-Preserving Systems

  • How do design privacy-preserving transactional key-value stores?
  • How do we design concurrency control mechanisms between mutually distrustful parties?

Theory of Consistency

  • What is the right formalism for weak isolation and weak consistency?