Liuba Shrira
机构: Professor of Computer Science, Brandeis University
每年引用次数
引用次数
引用: 5,071
H-指数: 26
I10-指数 : 45
出版物: 103
CORRECTNESS PROOF FOR A NETWORK SYNCHRONIZER
A. Fekete , N. Lynch , H. Devarajan , L. Shrira
Massachusetts Institute of Technology
1
1993
Escaping the disk bottleneck in fast transaction processing
B. Liskov , L. Shrira
[1992] Proceedings Third Workshop on Workstation Operating Systems 118 -121
1
1992
BuddyCache: cache coherence for transactional peer group applications
M.E. Bjornsson , L. Shrira
Proceedings. The Second IEEE Workshop on Internet Applications. WIAPP 2001 57 -64
2
2001
SNAP: efficient snapshots for back-in-time execution
L. Shrira , Hao Xu
international conference on data engineering 434 -445
25
2005
Fragment reconstruction: providing global cache coherence in a transactional storage system
A. Adya , M. Castro , B. Liskov , U. Maheshwari
international conference on distributed computing systems 2 -11
11
1997
Shared data management needs adaptive methods
J. O'Toole , L. Shrira
Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V) 129 -135
6
1995
Disconnected Operation in the Thor Object-Oriented Database System
R. Gruber , F. Kaashoek , B. Liskov , L. Shrira
workshop on mobile computing systems and applications 51 -56
36
1994
A modular proof of correctness for a network synchronizer
A. Fekete , N. Lynch , L. Shrira
international workshop on distributed algorithms 219 -256
17
1987
Safe and efficient sharing of persistent objects in Thor
B. Liskov , A. Adya , M. Castro , S. Ghemawat
ACM SIGMOD Record 25 ( 2) 318 -329
1996
Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases
Chandrasekhar Boyapati , Liuba Shrira , Barbara Liskov
10
2002
A Highly Available Object Repository for Use in a Heterogeneous Distributed System.
Liuba Shrira , Barbara Liskov , Paul Johnson , Robert Gruber
POS 255 -266
14
1990
Abstractions for usable information flow control in Aeolus
Dan R. K. Ports , Liuba Shrira , David Schultz , Aaron Blankstein
usenix annual technical conference 12 -12
59
2012
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems.
Liuba Shrira , Atul Adya , Barbara Liskov , Miguel Castro
POS 128 -139
1996
HQ Replication: Properties and Optimizations
Liuba Shrira , Barbara Liskov , James Cowling , Rodrigo Rodrigues
1
2007
Exo-leasing: escrow synchronization for mobile clients of commodity storage servers
Liuba Shrira , Hong Tian , Doug Terry ,
acm ifip usenix international conference on middleware 42 -61
17
2008
Safe Lazy Software Upgrades in Object-Oriented Databases
Chandrasekhar Boyapati , Liuba Shrira , Chuang-Hue Moh , Barbara Liskov
5
2002
A modular and efficient past state system for Berkeley DB
Liuba Shrira , Ross Shaull , Barbara Liskov
usenix annual technical conference 157 -168
10
2014
Distributed Object Management in Thor.
Liuba Shrira , Barbara Liskov , Mark Day
IWDOM 79 -91
114
1992
Thresher: an efficient storage manager for copy-on-write snapshots
Liuba Shrira , Hao Xu
usenix annual technical conference 5 -5
17
2006