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