Irene Y. Zhang

Research Projects

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.

  • Paper Talk Code More


    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.
  • Paper Talk Code More


    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.
  • Code More


    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 application programmer.
  • Paper Talk Code More


    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 performance trade-offs.
  • Paper Talk Code More


    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.