2008 |
109 | EE | David A. Schultz,
Barbara Liskov,
Moses Liskov:
Mobile proactive secret sharing.
PODC 2008: 458 |
2007 |
108 | EE | Ben Leong,
Barbara Liskov,
Robert Morris:
Greedy Virtual Coordinates for Geographic Routing.
ICNP 2007: 71-80 |
107 | EE | Ben Vandiver,
Hari Balakrishnan,
Barbara Liskov,
Samuel Madden:
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling.
SOSP 2007: 59-72 |
106 | EE | Daniel S. Myers,
Jennifer N. Carlisle,
James A. Cowling,
Barbara Liskov:
MapJAX: Data Structure Abstractions for Asynchronous Web Applications.
USENIX Annual Technical Conference 2007: 101-114 |
2006 |
105 | EE | Sameer Ajmani,
Barbara Liskov,
Liuba Shrira:
Modular Software Upgrades for Distributed Systems.
ECOOP 2006: 452-476 |
104 | EE | Barbara Liskov,
Rodrigo Rodrigues:
Tolerating Byzantine Faulty Clients in a Quorum System.
ICDCS 2006: 34 |
103 | EE | Ben Leong,
Barbara Liskov,
Robert Morris:
Geographic Routing Without Planarization.
NSDI 2006 |
102 | EE | James A. Cowling,
Daniel S. Myers,
Barbara Liskov,
Rodrigo Rodrigues,
Liuba Shrira:
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance.
OSDI 2006: 177-190 |
101 | EE | Ben Leong,
Barbara Liskov,
Erik D. Demaine:
EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management.
Computer Communications 29(9): 1243-1259 (2006) |
2005 |
100 | EE | Barbara Liskov,
Rodrigo Rodrigues:
Byzantine Clients Rendered Harmless.
DISC 2005: 487-489 |
99 | EE | Ben Leong,
Sayan Mitra,
Barbara Liskov:
Path Vector Face Routing: Geographic Routing with Local Face Information.
ICNP 2005: 147-158 |
98 | EE | Rodrigo Rodrigues,
Barbara Liskov:
High Availability in DHTs: Erasure Coding vs. Replication.
IPTPS 2005: 226-239 |
2004 |
97 | EE | Barbara Liskov,
Rodrigo Rodrigues:
Transactional file systems can be fast.
ACM SIGOPS European Workshop 2004: 5 |
96 | EE | Anjali Gupta,
Barbara Liskov,
Rodrigo Rodrigues:
Efficient Routing for Peer-to-Peer Overlays.
NSDI 2004: 113-126 |
95 | EE | Chuang-Hue Moh,
Barbara Liskov:
TimeLine: A High Performance Archive for a Distributed Object Store.
NSDI 2004: 351-364 |
94 | EE | Rodrigo Rodrigues,
Barbara Liskov:
Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory.
PODC 2004: 386 |
2003 |
93 | | Sameer Ajmani,
Barbara Liskov,
Liuba Shrira:
Scheduling and Simulation: How to Upgrade Distributed Systems.
HotOS 2003: 43-48 |
92 | | Anjali Gupta,
Barbara Liskov,
Rodrigo Rodrigues:
One Hop Lookups for Peer-to-Peer Overlays.
HotOS 2003: 7-12 |
91 | EE | Chandrasekhar Boyapati,
Barbara Liskov,
Liuba Shrira,
Chuang-Hue Moh,
Steven Richman:
Lazy modular upgrades in persistent object stores.
OOPSLA 2003: 403-417 |
90 | EE | Chandrasekhar Boyapati,
Barbara Liskov,
Liuba Shrira:
Ownership types for object encapsulation.
POPL 2003: 213-223 |
89 | EE | Miguel Castro,
Rodrigo Rodrigues,
Barbara Liskov:
BASE: Using abstraction to improve fault tolerance.
ACM Trans. Comput. Syst. 21(3): 236-269 (2003) |
2002 |
88 | EE | Rodrigo Rodrigues,
Barbara Liskov,
Liuba Shrira:
The design of a robust peer-to-peer system.
ACM SIGOPS European Workshop 2002: 117-124 |
87 | EE | Miguel Castro,
Barbara Liskov:
Practical byzantine fault tolerance and proactive recovery.
ACM Trans. Comput. Syst. 20(4): 398-461 (2002) |
2001 |
86 | EE | Miguel Castro,
Barbara Liskov:
Byzantine Fault Tolerance Can Be Fast.
DSN 2001: 513-518 |
85 | EE | Miguel Castro,
Rodrigo Rodrigues,
Barbara Liskov:
Using Abstraction To Improve Fault Tolerance.
HotOS 2001: 27-32 |
84 | EE | Rodrigo Rodrigues,
Miguel Castro,
Barbara Liskov:
BASE: Using Abstraction to Improve Fault Tolerance.
SOSP 2001: 15-28 |
2000 |
83 | EE | Atul Adya,
Barbara Liskov,
Patrick E. O'Neil:
Generalized Isolation Level Definitions.
ICDE 2000: 67-78 |
82 | | Miguel Castro,
Barbara Liskov:
Proactive Recovery in a Byzantine-Fault-Tolerant System.
OSDI 2000: 273-288 |
81 | EE | Andrew C. Myers,
Barbara Liskov:
Protecting privacy using the decentralized label model.
ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000) |
1999 |
80 | EE | Barbara Liskov,
Miguel Castro,
Liuba Shrira,
Atul Adya:
Providing Persistent Objects in Distributed Systems.
ECOOP 1999: 230-257 |
79 | EE | Miguel Castro,
Barbara Liskov:
Practical Byzantine Fault Tolerance.
OSDI 1999: 173-186 |
1998 |
78 | EE | Andrew C. Myers,
Barbara Liskov:
Complete, Safe Information Flow with Decentralized Labels.
IEEE Symposium on Security and Privacy 1998: 186-197 |
1997 |
77 | | Atul Adya,
Miguel Castro,
Barbara Liskov,
Umesh Maheshwari,
Liuba Shrira:
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System.
ICDCS 1997: 0- |
76 | | Umesh Maheshwari,
Barbara Liskov:
Collecting Distributed Garbage Cycles by Back Tracing.
PODC 1997: 239-248 |
75 | | Atul Adya,
Barbara Liskov:
Lazy Consistency Using Loosely Synchronized Clocks.
PODC 1997: 73-82 |
74 | EE | Andrew C. Myers,
Joseph A. Bank,
Barbara Liskov:
Parameterized Types for Java.
POPL 1997: 132-145 |
73 | EE | Umesh Maheshwari,
Barbara Liskov:
Partitioned Garbage Collection of Large Object Store.
SIGMOD Conference 1997: 313-323 |
72 | | Miguel Castro,
Atul Adya,
Barbara Liskov,
Andrew C. Myers:
HAC: Hybrid Adaptive Caching for Distributed Storage Systems.
SOSP 1997: 102-115 |
71 | | Andrew C. Myers,
Barbara Liskov:
A Decentralized Model for Information Flow Control.
SOSP 1997: 129-142 |
70 | | Umesh Maheshwari,
Barbara Liskov:
Collecting Cyclic Distributed Garbage by Controlled Migration.
Distributed Computing 10(2): 79-86 (1997) |
1996 |
69 | EE | Liuba Shrira,
Barbara Liskov,
Miguel Castro,
Atul Adya:
How to scale transactional storage systems.
ACM SIGOPS European Workshop 1996: 121-127 |
68 | EE | Barbara Liskov,
Atul Adya,
Miguel Castro,
Quinton Zondervan:
Type-Safe Heterogeneous Sharing can be Fast.
POS 1996: 1-10 |
67 | EE | Liuba Shrira,
Barbara Liskov,
Miguel Castro,
Atul Adya:
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems.
POS 1996: 128-139 |
66 | EE | Barbara Liskov,
Atul Adya,
Miguel Castro,
Mark Day,
Sanjay Ghemawat,
Robert Gruber,
Umesh Maheshwari,
Andrew C. Myers,
Liuba Shrira:
Safe and Efficient Sharing of Persistent Objects in Thor.
SIGMOD Conference 1996: 318-329 |
1995 |
65 | | Mark Day,
Robert Gruber,
Barbara Liskov,
Andrew C. Myers:
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.
OOPSLA 1995: 156-168 |
64 | | Umesh Maheshwari,
Barbara Liskov:
Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration.
PODC 1995: 57-63 |
63 | EE | Atul Adya,
Robert Gruber,
Barbara Liskov,
Umesh Maheshwari:
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks.
SIGMOD Conference 1995: 23-34 |
62 | | Sanjay Ghemawat,
M. Frans Kaashoek,
Barbara Liskov:
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database.
SOSP 1995: 235 |
61 | | Barbara Liskov,
Jeannette M. Wing:
Specifications and Their Use in Defining Subtypes.
ZUM 1995: 245-263 |
1994 |
60 | | Phillip Bogle,
Barbara Liskov:
Reducing Cross Domain Call Overhead using Batched Futures.
OOPSLA 1994: 341-354 |
59 | EE | Umesh Maheshwari,
Barbara Liskov:
Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database.
PDIS 1994: 239-248 |
58 | EE | Barbara Liskov,
Jeannette M. Wing:
A Behavioral Notion of Subtyping.
ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994) |
1993 |
57 | EE | Barbara Liskov,
Jeannette M. Wing:
A New Definition of the Subtype Relation.
ECOOP 1993: 118-141 |
56 | | Barbara Liskov:
A History of CLU.
HOPL Preprints 1993: 133-147 |
55 | | Barbara Liskov,
Jeannette M. Wing:
Specifications and Their Use in Defining Subtypes.
OOPSLA 1993: 16-28 |
54 | | Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems.
Distributed Computing 6(4): 211-219 (1993) |
53 | EE | Mark Day,
Barbara Liskov,
Umesh Maheshwari,
Andrew C. Myers:
References to Remote Mobile Objects in Thor.
LOPLAS 2(1-4): 115-126 (1993) |
1992 |
52 | | Rivka Ladin,
Barbara Liskov:
Garbage Collection of a Distributed Heap.
ICDCS 1992: 708-715 |
51 | | Barbara Liskov,
Mark Day,
Liuba Shrira:
Distributed Object Management in Thor.
IWDOM 1992: 79-91 |
50 | | Barbara Liskov,
Sanjay Ghemawat,
Robert Gruber,
Paul Johnson,
Liuba Shrira:
Efficient Recovery in Harp.
Workshop on the Management of Replicated Data 1992: 104-106 |
49 | EE | Rivka Ladin,
Barbara Liskov,
Liuba Shrira,
Sanjay Ghemawat:
Providing High Availability Using Lazy Replication.
ACM Trans. Comput. Syst. 10(4): 360-391 (1992) |
1991 |
48 | | Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems.
PODC 1991: 1-9 |
47 | | Barbara Liskov,
Sanjay Ghemawat,
Robert Gruber,
Paul Johnson,
Liuba Shrira,
Michael Williams:
Replication in the Harp File System.
SOSP 1991: 226-238 |
46 | EE | Barbara Liskov,
Liuba Shrira,
John Wroclawski:
Efficient At-Most-Once Messages Based on Synchronized Clocks.
ACM Trans. Comput. Syst. 9(2): 125-142 (1991) |
45 | | Rivka Ladin,
Barbara Liskov,
Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract).
Operating Systems Review 25(1): 49-55 (1991) |
44 | | Barbara Liskov,
Robert Gruber,
Paul Johnson,
Liuba Shrira:
A Replicated Unic File System.
Operating Systems Review 25(1): 60-64 (1991) |
1990 |
43 | EE | Barbara Liskov,
Robert Gruber,
Paul Johnson,
Liuba Shrira:
A replicated Unix file system.
ACM SIGOPS European Workshop 1990 |
42 | EE | Rivka Ladin,
Barbara Liskov,
Liuba Shrira:
Lazy replication: exploiting the semantics of distributed services.
ACM SIGOPS European Workshop 1990 |
41 | EE | Rivka Ladin,
Barbara Liskov,
Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services.
PODC 1990: 43-57 |
40 | EE | Barbara Liskov,
Paul Johnson,
Robert Gruber,
Liuba Shrira:
A Highly Available Object Repository for Use in a Heterogeneous Distributed System.
POS 1990: 255-266 |
39 | EE | Barbara Liskov:
System Implementation I - Introduction.
POS 1990: 87-88 |
38 | EE | Barbara Liskov,
Liuba Shrira,
John Wroclawski:
Efficient At-Most-Once Messages Based on Synchronized Clocks.
SIGCOMM 1990: 41-49 |
37 | | Barbara Liskov,
Robert Gruber,
Paul Johnson,
Liuba Shrira:
A Replicated Unix File System.
Workshop on the Management of Replicated Data 1990: 11-14 |
36 | | Rivka Ladin,
Barbara Liskov,
Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services.
Workshop on the Management of Replicated Data 1990: 31-34 |
1989 |
35 | EE | Elliot K. Kolodner,
Barbara Liskov,
William E. Weihl:
Atomic Garbage Collection: Managing a Stable Heap.
SIGMOD Conference 1989: 15-25 |
1988 |
34 | | Barbara Liskov,
Liuba Shrira:
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems.
PLDI 1988: 260-267 |
33 | EE | Brian M. Oki,
Barbara Liskov:
Viewstamped Replication: A General Primary Copy.
PODC 1988: 8-17 |
32 | | Rivka Ladin,
Barbara Liskov,
Liuba Shrira:
A Technique for Constructing Highly Available Services.
Algorithmica 3: 393-420 (1988) |
31 | | Barbara Liskov:
Distributed Programming in Argus.
Commun. ACM 31(3): 300-312 (1988) |
1987 |
30 | | Barbara Liskov,
Dorothy Curtis,
Paul Johnson,
Robert Scheifler:
Implementation of Argus.
SOSP 1987: 111-122 |
1986 |
29 | | Barbara Liskov:
Argus.
Fault-Tolerant Distributed Computing 1986: 108-114 |
28 | | Barbara Liskov,
Rivka Ladin:
Highly-Available Distributed Service and Fault-Tolerant Distributed Garbage Collection.
PODC 1986: 29-39 |
27 | | Barbara Liskov,
Maurice Herlihy,
Lucy Gilbert:
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing.
POPL 1986: 150-159 |
26 | | Barbara Liskov,
William E. Weihl:
Specifications of Distributed Programs.
Distributed Computing 1(2): 102-118 (1986) |
1985 |
25 | | Mack W. Alford,
Jean-Pierre Ansart,
Günter Hommel,
Leslie Lamport,
Barbara Liskov,
Geoff P. Mullery,
Fred B. Schneider:
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
Springer 1985 |
24 | | Brian M. Oki,
Barbara Liskov,
Robert Scheifler:
Reliable Object Storage to Support Atomic Actions.
SOSP 1985: 147-159 |
23 | EE | William E. Weihl,
Barbara Liskov:
Implementation of Resilient, Atomic Data Types.
ACM Trans. Program. Lang. Syst. 7(2): 244-269 (1985) |
1984 |
22 | | Barbara Liskov:
The Argus Language and System.
Advanced Course: Distributed Systems 1984: 343-430 |
1983 |
21 | | Barbara Liskov,
Maurice Herlihy:
Issues Process and Communication Structure for Distributed Programs.
Symposium on Reliability in Distributed Software and Database Systems 1983: 123-132 |
20 | EE | Barbara Liskov,
Robert Scheifler:
Guardians and Actions: Linguistic Support for Robust, Distributed Programs.
ACM Trans. Program. Lang. Syst. 5(3): 381-404 (1983) |
1982 |
19 | | Barbara Liskov,
Robert Scheifler:
Guardians and Actions: Linguistic Support for Robust, Distributed Programs.
POPL 1982: 7-19 |
18 | EE | Maurice Herlihy,
Barbara Liskov:
A Value Transmission Method for Abstract Data Types.
ACM Trans. Program. Lang. Syst. 4(4): 527-551 (1982) |
17 | | Barbara Liskov:
On Linguistic Support for Distributed Programs.
IEEE Trans. Software Eng. 8(3): 203-210 (1982) |
1981 |
16 | | Barbara Liskov,
Russell R. Atkinson,
Toby Bloom,
J. Eliot B. Moss,
Craig Schaffert,
Robert Scheifler,
Alan Snyder:
CLU Reference Manual
Springer 1981 |
15 | | Barbara Liskov:
Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980.
Operating Systems Review 15(3): 9-38 (1981) |
1979 |
14 | | Barbara Liskov:
Modular Program Construction Using Abstractions.
Abstract Software Specifications 1979: 354-389 |
13 | | Barbara Liskov:
Primitives for Distributed Computing.
SOSP 1979: 33-42 |
12 | | Barbara Liskov,
Alan Snyder:
Exception Handling in CLU.
IEEE Trans. Software Eng. 5(6): 546-558 (1979) |
1978 |
11 | EE | Russell R. Atkinson,
Barbara Liskov,
Robert Scheifler:
Aspects Of Implementing CLU.
ACM Annual Conference (1) 1978: 123-129 |
10 | EE | Bharat K. Bhargava,
Stephen R. Kimbleton,
Barbara Liskov,
Jack Minker,
Jeffrey D. Ullman:
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion).
ACM Annual Conference (1) 1978: 325 |
9 | | Anita K. Jones,
Barbara Liskov:
A Language Extension for Expressing Constraints on Data Access.
Commun. ACM 21(5): 358-367 (1978) |
1977 |
8 | | Barbara Liskov,
Alan Snyder,
Russell R. Atkinson,
Craig Schaffert:
Abstraction Mechanisms in CLU.
Commun. ACM 20(8): 564-576 (1977) |
1976 |
7 | | Anita K. Jones,
Barbara Liskov:
A Language Extension for Controlling Access to Shared Data (Abstract).
ICSE 1976: 235 |
6 | | Anita K. Jones,
Barbara Liskov:
A Language Extension for Controlling Access to Shared Data.
IEEE Trans. Software Eng. 2(4): 277-285 (1976) |
1975 |
5 | EE | Barbara Liskov:
Data types and program correctness.
AFIPS National Computer Conference 1975: 285-286 |
4 | | Barbara Liskov,
Stephen N. Zilles:
Specification Techniques for Data Abstractions.
IEEE Trans. Software Eng. 1(1): 7-19 (1975) |
1974 |
3 | | Barbara Liskov,
Stephen N. Zilles:
Programming with Abstract Data Types.
SIGPLAN Notices 9(4): 50-59 (1974) |
1972 |
2 | | Barbara Liskov:
The Design of the Venus Operating System.
Commun. ACM 15(3): 144-149 (1972) |
1971 |
1 | | Barbara Liskov:
The Design of the Venus Operating System.
SOSP 1971: 11-16 |