dblp.uni-trier.dewww.uni-trier.de

Barbara Liskov Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
110EEPedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov: Full-Information Lookups for Peer-to-Peer Overlays. IEEE Trans. Parallel Distrib. Syst. 20(9): 1339-1351 (2009)
2008
109EEDavid A. Schultz, Barbara Liskov, Moses Liskov: Mobile proactive secret sharing. PODC 2008: 458
2007
108EEBen Leong, Barbara Liskov, Robert Morris: Greedy Virtual Coordinates for Geographic Routing. ICNP 2007: 71-80
107EEBen Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden: Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. SOSP 2007: 59-72
106EEDaniel 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
105EESameer Ajmani, Barbara Liskov, Liuba Shrira: Modular Software Upgrades for Distributed Systems. ECOOP 2006: 452-476
104EEBarbara Liskov, Rodrigo Rodrigues: Tolerating Byzantine Faulty Clients in a Quorum System. ICDCS 2006: 34
103EEBen Leong, Barbara Liskov, Robert Morris: Geographic Routing Without Planarization. NSDI 2006
102EEJames 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
101EEBen 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
100EEBarbara Liskov, Rodrigo Rodrigues: Byzantine Clients Rendered Harmless. DISC 2005: 487-489
99EEBen Leong, Sayan Mitra, Barbara Liskov: Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158
98EERodrigo Rodrigues, Barbara Liskov: High Availability in DHTs: Erasure Coding vs. Replication. IPTPS 2005: 226-239
2004
97EEBarbara Liskov, Rodrigo Rodrigues: Transactional file systems can be fast. ACM SIGOPS European Workshop 2004: 5
96EEAnjali Gupta, Barbara Liskov, Rodrigo Rodrigues: Efficient Routing for Peer-to-Peer Overlays. NSDI 2004: 113-126
95EEChuang-Hue Moh, Barbara Liskov: TimeLine: A High Performance Archive for a Distributed Object Store. NSDI 2004: 351-364
94EERodrigo 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
91EEChandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman: Lazy modular upgrades in persistent object stores. OOPSLA 2003: 403-417
90EEChandrasekhar Boyapati, Barbara Liskov, Liuba Shrira: Ownership types for object encapsulation. POPL 2003: 213-223
89EEMiguel Castro, Rodrigo Rodrigues, Barbara Liskov: BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (2003)
2002
88EERodrigo Rodrigues, Barbara Liskov, Liuba Shrira: The design of a robust peer-to-peer system. ACM SIGOPS European Workshop 2002: 117-124
87EEMiguel Castro, Barbara Liskov: Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002)
2001
86EEMiguel Castro, Barbara Liskov: Byzantine Fault Tolerance Can Be Fast. DSN 2001: 513-518
85EEMiguel Castro, Rodrigo Rodrigues, Barbara Liskov: Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32
84EERodrigo Rodrigues, Miguel Castro, Barbara Liskov: BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28
2000
83EEAtul 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
81EEAndrew C. Myers, Barbara Liskov: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000)
1999
80EEBarbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya: Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257
79EEMiguel Castro, Barbara Liskov: Practical Byzantine Fault Tolerance. OSDI 1999: 173-186
1998
78EEAndrew 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
74EEAndrew C. Myers, Joseph A. Bank, Barbara Liskov: Parameterized Types for Java. POPL 1997: 132-145
73EEUmesh 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
69EELiuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127
68EEBarbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan: Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10
67EELiuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996: 128-139
66EEBarbara 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
63EEAtul 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
59EEUmesh Maheshwari, Barbara Liskov: Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. PDIS 1994: 239-248
58EEBarbara Liskov, Jeannette M. Wing: A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994)
1993
57EEBarbara 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)
53EEMark 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
49EERivka 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
46EEBarbara 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
43EEBarbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira: A replicated Unix file system. ACM SIGOPS European Workshop 1990
42EERivka Ladin, Barbara Liskov, Liuba Shrira: Lazy replication: exploiting the semantics of distributed services. ACM SIGOPS European Workshop 1990
41EERivka Ladin, Barbara Liskov, Liuba Shrira: Lazy Replication: Exploiting the Semantics of Distributed Services. PODC 1990: 43-57
40EEBarbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira: A Highly Available Object Repository for Use in a Heterogeneous Distributed System. POS 1990: 255-266
39EEBarbara Liskov: System Implementation I - Introduction. POS 1990: 87-88
38EEBarbara 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
35EEElliot 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
33EEBrian 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
29EEBarbara 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
23EEWilliam 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
20EEBarbara 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
18EEMaurice 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
11EERussell R. Atkinson, Barbara Liskov, Robert Scheifler: Aspects Of Implementing CLU. ACM Annual Conference (1) 1978: 123-129
10EEBharat 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
5EEBarbara 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

Coauthor Index

1Atul Adya [63] [66] [67] [68] [69] [72] [75] [77] [80] [83]
2Sameer Ajmani [93] [105]
3Mack W. Alford [25]
4Jean-Pierre Ansart [25]
5Russell R. Atkinson [8] [11] [16]
6Hari Balakrishnan [107]
7Joseph A. Bank [74]
8Bharat K. Bhargava [10]
9Toby Bloom [16]
10Phillip Bogle [60]
11Chandrasekhar Boyapati [90] [91]
12Jennifer N. Carlisle [106]
13Miguel Castro [66] [67] [68] [69] [72] [77] [79] [80] [82] [84] [85] [86] [87] [89]
14James A. Cowling [102] [106]
15Dorothy Curtis [30]
16Mark Day [51] [53] [65] [66]
17Erik D. Demaine [101]
18Pedro Fonseca [110]
19Sanjay Ghemawat [47] [49] [50] [62] [66]
20Lucy Gilbert [27]
21Robert Gruber [37] [40] [43] [44] [47] [50] [63] [65] [66]
22Anjali Gupta [92] [96] [110]
23Maurice Herlihy [18] [21] [27]
24Günter Hommel [25]
25Paul Johnson [30] [37] [40] [43] [44] [47] [50]
26Anita K. Jones [6] [7] [9]
27M. Frans Kaashoek [62]
28Stephen R. Kimbleton [10]
29Elliot K. Kolodner [35]
30Rivka Ladin [28] [32] [36] [41] [42] [45] [49] [52]
31Leslie Lamport [25]
32Ben Leong [99] [101] [103] [108]
33Moses Liskov [109]
34Samuel Madden [107]
35Umesh Maheshwari [53] [59] [63] [64] [66] [70] [73] [76] [77]
36Jack Minker [10]
37Sayan Mitra [99]
38Chuang-Hue Moh [91] [95]
39Robert Morris [103] [108]
40J. Eliot B. Moss [16]
41Geoff P. Mullery [25]
42Andrew C. Myers [53] [65] [66] [71] [72] [74] [78] [81]
43Daniel S. Myers [102] [106]
44Patrick E. O'Neil [83]
45Brian M. Oki [24] [33]
46Steven Richman [91]
47Rodrigo Rodrigues [84] [85] [88] [89] [92] [94] [96] [97] [98] [100] [102] [104] [110]
48Craig Schaffert [8] [16]
49Robert Scheifler [11] [16] [19] [20] [24] [30]
50Fred B. Schneider [25]
51David A. Schultz [109]
52Liuba Shrira [32] [34] [36] [37] [38] [40] [41] [42] [43] [44] [45] [46] [47] [49] [50] [51] [66] [67] [69] [77] [80] [88] [90] [91] [93] [102] [105]
53Alan Snyder [8] [12] [16]
54Jeffrey D. Ullman [10]
55Ben Vandiver [107]
56William E. Weihl [23] [26] [35]
57Michael Williams [47]
58Jeannette M. Wing [55] [57] [58] [61]
59John Wroclawski [38] [46]
60Stephen N. Zilles [3] [4]
61Quinton Zondervan [68]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)