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 |