Liuba Shrira

According to our database1, Liuba Shrira
  • authored at least 53 papers between 1981 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Type-aware transactions for faster concurrent code.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

2014
A Modular and Efficient Past State System for Berkeley DB.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

2012
Abstractions for Usable Information Flow Control in Aeolus.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

2008
Skippy: a new snapshot indexing method for time travel in the storage manager.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Exo-Leasing: Escrow Synchronization for Mobile Clients of Commodity Storage Servers.
Proceedings of the Middleware 2008, 2008

Skippy: Enabling Long-Lived Snapshots of the Long-Lived Past.
Proceedings of the 24th International Conference on Data Engineering, 2008

2006
Thresher: An Efficient Storage Manager for Copy-on-write Snapshots.
Proceedings of the 2006 USENIX Annual Technical Conference, Boston, MA, USA, May 30, 2006

HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Modular Software Upgrades for Distributed Systems.
Proceedings of the ECOOP 2006, 2006

2005
SNAP: Efficient Snapshots for Back-in-Time Execution.
Proceedings of the 21st International Conference on Data Engineering, 2005

2003
Ownership types for object encapsulation.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Lazy modular upgrades in persistent object stores.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Scheduling and Simulation: How to Upgrade Distributed Systems.
Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

MX: Mobile Object Exchange for Collaborative Applications.
Proceedings of the ECOOP 2003, 2003

2002
The design of a robust peer-to-peer system.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

BuddyCache: high-performance object storage for collaborative strong-consistency applications in a WAN.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

2000
Session 5: Overview.
Proceedings of the Persistent Object Systems, 9th International Workshop, 2000

Transactional Remote Group Caching in Distributed Object Systems.
Proceedings of the Persistent Object Systems, 9th International Workshop, 2000

1999
Providing Persistent Objects in Distributed Systems.
Proceedings of the ECOOP'99, 1999

1998
Trust but Check: Mutable Objects in Untrusted Cooperative Caches.
Proceedings of the Advances in Persistent Object Systems, 1998

1997
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996
How to scale transactional storage systems.
Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Safe and Efficient Sharing of Persistent Objects in Thor.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems.
Proceedings of the 7th Workshop on Persistent Object Systems, 1996

1995
Shared data management needs adaptive methods.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994
Disconnected Operation in the Thor Object-Oriented Database System.
Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994

An Opportunistic Installation Service: Economy of Scale for Asynchronous Reads.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

Applications of Persistent Object Systems 2.
Proceedings of the Persistent Object Systems, 1994

Hybrid Caching for Large-Scale Object Systems.
Proceedings of the Persistent Object Systems, 1994

Opportunistic Log: Efficient Installation Reads in a Reliable Storage Server.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

1992
Providing High Availability Using Lazy Replication.
ACM Trans. Comput. Syst., 1992

Efficient Recovery in Harp.
Workshop on the Management of Replicated Data, 1992

Distributed Object Management in Thor.
Proceedings of the Distributed Object Management, 1992

1991
Efficient At-Most-Once Messages Based on Synchronized Clocks.
ACM Trans. Comput. Syst., 1991

A Replicated Unic File System.
Operating Systems Review, 1991

Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract).
Operating Systems Review, 1991

On the Complexity of Computation in the Presence of Link Failures: The Case of a Ring.
Distributed Computing, 1991

Replication in the Harp File System.
Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

1990
A Replicated Unix File System.
Workshop on the Management of Replicated Data, 1990

Lazy Replication: Exploiting the Semantics of Distributed Services.
Workshop on the Management of Replicated Data, 1990

A replicated Unix file system.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

Lazy replication: exploiting the semantics of distributed services.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

Efficient At-Most-Once Messages Based on Synchronized Clocks.
Proceedings of the SIGCOMM '90, 1990

A Highly Available Object Repository for Use in a Heterogeneous Distributed System.
Proceedings of the Implementing Persistent Object Bases, 1990

Lazy Replication: Exploiting the Semantics of Distributed Services.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1988
A Technique for Constructing Highly Available Services.
Algorithmica, 1988

Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1987
Electing a Leader in a Ring with Link Failures.
Acta Inf., 1987

A Modular Proof of Correctness for a Network Synchronizer (Research Summary).
Proceedings of the Distributed Algorithms, 1987

1986
The Effect of Link Failures on Computations in Asynchronous Rings.
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

On Proving Communication Closedness of Distributed Layers.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1983
Distributed k-Selection: From a Sequential to a Distributed Algorithm.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

1981
An Experimental Implementation of CSP.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981


  Loading...