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

    TAPIR

    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

    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

    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

    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

    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.
Contact
  • irene.zhang @microsoft.com
  • Office 2724, Building 99
  • 14820 NE 36th St. Redmond, WA
  • iyzhang@github