An Experimental Implementation of CSP. - Liuba Shrira; Nissim Francez (ICDCS, 1981)

Distributed k-Selection: From a Sequential to a Distributed Algorithm. - Liuba Shrira; Nissim Francez; Michael Rodeh (PODC, 1983)

On Proving Communication Closedness of Distributed Layers. - Rob Gerth; Liuba Shrira (FSTTCS, 1986)

The Effect of Link Failures on Computations in Asynchronous Rings. - Oded Goldreich 001; Liuba Shrira (PODC, 1986)

A Modular Proof of Correctness for a Network Synchronizer (Research Summary). - Alan D. Fekete; Nancy A. Lynch; Liuba Shrira (WDAG, 1987)

Electing a Leader in a Ring with Link Failures. - Oded Goldreich 001; Liuba Shrira (Acta Informatica, 1987)

Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. - Barbara Liskov; Liuba Shrira (PLDI, 1988)

A Technique for Constructing Highly Available Services. - Rivka Ladin; Barbara Liskov; Liuba Shrira (Algorithmica, 1988)

A Highly Available Object Repository for Use in a Heterogeneous Distributed System. - Barbara Liskov; Paul Johnson 001; Robert Gruber; Liuba Shrira (POS, 1990)

Lazy Replication: Exploiting the Semantics of Distributed Services. - Rivka Ladin; Barbara Liskov; Liuba Shrira (Workshop on the Management of Replicated Data, 1990)

A Replicated Unix File System. - Barbara Liskov; Robert Gruber; Paul Johnson 001; Liuba Shrira (Workshop on the Management of Replicated Data, 1990)

Replication in the Harp File System. - Barbara Liskov; Sanjay Ghemawat; Robert Gruber; Paul Johnson 001; Liuba Shrira; Michael Williams (SOSP, 1991)

On the Complexity of Computation in the Presence of Link Failures: The Case of a Ring. - Oded Goldreich 001; Liuba Shrira (Distributed Comput., 1991)

Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). - Rivka Ladin; Barbara Liskov; Liuba Shrira (ACM SIGOPS Oper. Syst. Rev., 1991)

A Replicated Unic File System. - Barbara Liskov; Robert Gruber; Paul Johnson 001; Liuba Shrira (ACM SIGOPS Oper. Syst. Rev., 1991)

Efficient At-Most-Once Messages Based on Synchronized Clocks. - Barbara Liskov; Liuba Shrira; John Wroclawski (ACM Trans. Comput. Syst., 1991)

Distributed Object Management in Thor. - Barbara Liskov; Mark Day; Liuba Shrira (IWDOM, 1992)

Efficient Recovery in Harp. - Barbara Liskov; Sanjay Ghemawat; Robert Gruber; Paul Johnson 001; Liuba Shrira (Workshop on the Management of Replicated Data, 1992)

Providing High Availability Using Lazy Replication. - Rivka Ladin; Barbara Liskov; Liuba Shrira; Sanjay Ghemawat (ACM Trans. Comput. Syst., 1992)

Opportunistic Log: Efficient Installation Reads in a Reliable Storage Server. - James W. O'Toole Jr.; Liuba Shrira (OSDI, 1994)

Hybrid Caching for Large-Scale Object Systems. - James W. O'Toole Jr.; Liuba Shrira (POS, 1994)

Applications of Persistent Object Systems 2. - Liuba Shrira (POS, 1994)

An Opportunistic Installation Service: Economy of Scale for Asynchronous Reads. - James W. O'Toole Jr.; Liuba Shrira (ACM SIGOPS European Workshop, 1994)

Disconnected Operation in the Thor Object-Oriented Database System. - Robert Gruber; M. Frans Kaashoek; Barbara Liskov; Liuba Shrira (WMCSA, 1994)

Shared data management needs adaptive methods. - James W. O'Toole Jr.; Liuba Shrira (HotOS, 1995)

Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. - Liuba Shrira; Barbara Liskov; Miguel Castro 001; Atul Adya (POS, 1996)

Safe and Efficient Sharing of Persistent Objects in Thor. - Barbara Liskov; Atul Adya; Miguel Castro 001; Mark Day; Sanjay Ghemawat; Robert Gruber; Umesh Maheshwari; Andrew C. Myers; Liuba Shrira (SIGMOD Conference, 1996)

How to scale transactional storage systems. - Liuba Shrira; Barbara Liskov; Miguel Castro 001; Atul Adya (ACM SIGOPS European Workshop, 1996)

Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. - Atul Adya; Miguel Castro 001; Barbara Liskov; Umesh Maheshwari; Liuba Shrira (ICDCS, 1997)

Trust but Check: Mutable Objects in Untrusted Cooperative Caches. - Liuba Shrira; Ben Yoder (POS/PJW, 1998)

Providing Persistent Objects in Distributed Systems. - Barbara Liskov; Miguel Castro 001; Liuba Shrira; Atul Adya (ECOOP, 1999)

Transactional Remote Group Caching in Distributed Object Systems. - Magnus E. Bjornsson; Liuba Shrira (POS, 2000)

Session 5: Overview. - Liuba Shrira (POS, 2000)

BuddyCache: high-performance object storage for collaborative strong-consistency applications in a WAN. - Magnus E. Bjornsson; Liuba Shrira (OOPSLA, 2002)

The design of a robust peer-to-peer system. - Rodrigo Rodrigues 001; Barbara Liskov; Liuba Shrira (ACM SIGOPS European Workshop, 2002)

MX: Mobile Object Exchange for Collaborative Applications. - Liuba Shrira; Hong Tian (ECOOP, 2003)

Scheduling and Simulation: How to Upgrade Distributed Systems. - Sameer Ajmani; Barbara Liskov; Liuba Shrira (HotOS, 2003)

Lazy modular upgrades in persistent object stores. - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira; Chuang-Hue Moh; Steven Richman (OOPSLA, 2003)

Ownership types for object encapsulation. - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira (POPL, 2003)

SNAP: Efficient Snapshots for Back-in-Time Execution. - Liuba Shrira; Hao Xu (ICDE, 2005)

Modular Software Upgrades for Distributed Systems. - Sameer Ajmani; Barbara Liskov; Liuba Shrira (ECOOP, 2006)

HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. - James A. Cowling; Daniel S. Myers; Barbara Liskov; Rodrigo Rodrigues 001; Liuba Shrira (OSDI, 2006)

Thresher: An Efficient Storage Manager for Copy-on-write Snapshots. - Liuba Shrira; Hao Xu (USENIX ATC, General Track, 2006)

ExoSnap: a modular approach to semantic synchronization and snapshots. - Liuba Shrira; Siying Dong (WDDDM@EuroSys, 2008)

Skippy: Enabling Long-Lived Snapshots of the Long-Lived Past. - Ross Shaull; Liuba Shrira; Hao Xu (ICDE, 2008)

Exo-Leasing: Escrow Synchronization for Mobile Clients of Commodity Storage Servers. - Liuba Shrira; Hong Tian; Douglas B. Terry (Middleware, 2008)

Skippy: a new snapshot indexing method for time travel in the storage manager. - Ross Shaull; Liuba Shrira; Hao Xu (SIGMOD Conference, 2008)

Abstractions for Usable Information Flow Control in Aeolus. - Winnie Cheng; Dan R. K. Ports; David A. Schultz; Victoria Popic; Aaron Blankstein; James A. Cowling; Dorothy Curtis; Liuba Shrira; Barbara Liskov (USENIX ATC, 2012)

A Modular and Efficient Past State System for Berkeley DB. - Ross Shaull; Liuba Shrira; Barbara Liskov (USENIX ATC, 2014)

Type-aware transactions for faster concurrent code. - Nathaniel Herman; Jeevana Priya Inala; Yihe Huang; Lillian L. Tsai; Eddie Kohler; Barbara Liskov; Liuba Shrira (EuroSys, 2016)

Flexible navigation through a multi-dimensional parameter space using Berkeley DB snapshots. - Dimokritos Stamatakis; Werner Benger; Liuba Shrira (J. WSCG, 2017)

RQL: Retrospective Computations over Snapshot Sets. - Nikos Tsikoudis; Liuba Shrira; Sara Cohen (EDBT, 2018)

The Impact of Timestamp Granularity in Optimistic Concurrency Control. - Yihe Huang; Hao Bai; Eddie Kohler; Barbara Liskov; Liuba Shrira (CoRR, 2018)

Cross-chain Deals and Adversarial Commerce. - Maurice Herlihy; Liuba Shrira; Barbara Liskov (Proc. VLDB Endow., 2019)

RID: Deduplicating Snapshot Computations. - Nikos Tsikoudis; Liuba Shrira (SIGMOD Conference, 2020)

Opportunities for Optimism in Contended Main-Memory Multicore Transactions. - Yihe Huang; William Qian 001; Eddie Kohler; Barbara Liskov; Liuba Shrira (Proc. VLDB Endow., 2020)