• CapCloud
  This research project in MSR SVC aims to answer the following question: Can we allow programmers to write cloud applications as though they are accessing centralized, strongly consistent data while at the same time allowing them to specify their consistency/availability/performance (CAP) requirements in terms of service-level agreements (SLAs) that are enforced by the cloud storage system at runtime?
• XCG Lab Security and Cryptography Groups
  The XCG Lab Security and Cryptography teams do development, applied research, and theoretical research in the fields of systems security and cryptography. These teams include the Cryptography Research team, the Security & Cryptography team, and the Systems Incubation team.
• Optimus
  Optimus is a framework for dynamically rewriting an execution plan graph in distributed data-parallel computing at runtime. It enables optimizations that require knowledge of the semantics of the computation, such as language customizations for domain-specific computations including matrix algebra. We address several problems arising in distributed execution including data skew, dynamic data re-partitioning, unbounded iterative computations, and fault tolerance.
• BingNow 2.0: Real-Time Business Metadata Extraction
  Real-time information about businesses such as, the current occupancy and music levels, as well as the type or exact song playing now, can be important factors in the local search decision process. In this work, we propose to automatically crowdsource such rich, real time business metadata through user check-in events.

More projects...