My research broadly covers operating systems and distributed systems
for large-scale, distributed applications. Before starting my PhD, I
worked on several research projects at VMware and MIT. You can find
out more about my past projects.
The Transactional Application Protocol for Inconsistent Replication
(TAPIR) is a new protocol for linearizable distributed transactions
built using replication with no consistency guarantees. By
enforcing consistency only at the transaction layer, TAPIR
eliminates coordination at the replication layer, enabling TAPIR to
provide the same transaction model and consistency guarantees as
existing systems like Spanner with better latency and throughput.
Diamond is a new data management system for wide-area, reactive
applications. Reactive applications give users the illusion of
continuous synchronization across mobile devices and the cloud server.
Diamond simplifies this task by providing applications with persistent
cloud storage, reliable synchronization between storage and mobile
devices, and automated execution of application code in response to
shared data updates.
Agate is a new trusted distributed runtime system that gives users
control over how mobile/cloud applications share sensitive user data
collected on mobile devices (e.g., photos, GPS location). Agate
combines aspects of access control and information flow control to
allow applications to share user data in application-specific ways,
while enforcing user policies without trusting the application or the
Sapphire is a new distributed programming platform that provides
customizable and extensible deployment of mobile/cloud applications.
This flexibility enables programmers to separate deployment logic from
their application, while maintaining fine-grained control over
Arrakis is a new operating system that takes advantage of hardware
virtualization technology to eliminate the operating system from
fast-path I/O operations. Arrakis allows applications to directly
access the hardware during normal execution, providing significantly
better performance, reliability and customizability.