My research currently focuses on the current three topics:
- How do we design efficient concurrency control mechanisms for geo-replicated systems?
- What are the right abstractions to program weakly consistent storage 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?