Barbara Liskov

	2012
118		Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz: Automatic Reconfiguration for Large-Scale Reliable Storage Systems. IEEE Trans. Dependable Sec. Comput. 9(2): 145-158 (2012)
	2010
117		Barbara Liskov: The Power of Abstraction - (Invited Lecture Abstract). DISC 2010: 3
116		Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, Barbara Liskov: Transactional Consistency and Automatic Management in an Application Data Cache. OSDI 2010: 279-292
115		Barbara Liskov: From Viewstamped Replication to Byzantine Fault Tolerance. Replication 2010: 121-149
114		David A. Schultz, Barbara Liskov, Moses Liskov: MPSS: Mobile Proactive Secret Sharing. ACM Trans. Inf. Syst. Secur. 13(4): 34 (2010)
	2009
113		Benjamin Wester, James A. Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, Barbara Liskov: Tolerating Latency in Replicated State Machines Through Client Speculation. NSDI 2009: 245-260
112		Pedro 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
111		David A. Schultz, Barbara Liskov, Moses Liskov: Mobile proactive secret sharing. PODC 2008: 458
	2007
110		Ben Leong, Barbara Liskov, Robert Morris: Greedy Virtual Coordinates for Geographic Routing. ICNP 2007: 71-80
109		Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden: Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. SOSP 2007: 59-72
108		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
107		Sameer Ajmani, Barbara Liskov, Liuba Shrira: Modular Software Upgrades for Distributed Systems. ECOOP 2006: 452-476
106		Barbara Liskov, Rodrigo Rodrigues: Tolerating Byzantine Faulty Clients in a Quorum System. ICDCS 2006: 34
105		Ben Leong, Barbara Liskov, Robert Morris: Geographic Routing Without Planarization. NSDI 2006
104		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
103		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
102		Barbara Liskov, Rodrigo Rodrigues: Byzantine Clients Rendered Harmless. DISC 2005: 487-489
101		Ben Leong, Sayan Mitra, Barbara Liskov: Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158
100		Rodrigo Rodrigues, Barbara Liskov: High Availability in DHTs: Erasure Coding vs. Replication. IPTPS 2005: 226-239
	2004
99		Barbara Liskov, Rodrigo Rodrigues: Transactional file systems can be fast. ACM SIGOPS European Workshop 2004: 5
98		Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues: Efficient Routing for Peer-to-Peer Overlays. NSDI 2004: 113-126
97		Chuang-Hue Moh, Barbara Liskov: TimeLine: A High Performance Archive for a Distributed Object Store. NSDI 2004: 351-364
96		Rodrigo Rodrigues, Barbara Liskov: Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. PODC 2004: 386
	2003
95		Sameer Ajmani, Barbara Liskov, Liuba Shrira: Scheduling and Simulation: How to Upgrade Distributed Systems. HotOS 2003: 43-48
94		Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues: One Hop Lookups for Peer-to-Peer Overlays. HotOS 2003: 7-12
93		Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman: Lazy modular upgrades in persistent object stores. OOPSLA 2003: 403-417
92		Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira: Ownership types for object encapsulation. POPL 2003: 213-223
91		Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (2003)
	2002
90		Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira: The design of a robust peer-to-peer system. ACM SIGOPS European Workshop 2002: 117-124
89		Miguel Castro, Barbara Liskov: Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002)
	2001
88		Barbara Liskov, John Guttag: Program Development in Java - Abstraction, Specification, and Object-Oriented Design. Addison-Wesley 2001: I-XIX, 1-443
87		Miguel Castro, Barbara Liskov: Byzantine Fault Tolerance Can Be Fast. DSN 2001: 513-518
86		Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32
85		Rodrigo Rodrigues, Miguel Castro, Barbara Liskov: BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28
	2000
84		Atul Adya, Barbara Liskov, Patrick E. O'Neil: Generalized Isolation Level Definitions. ICDE 2000: 67-78
83		Miguel Castro, Barbara Liskov: Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288
82		Andrew C. Myers, Barbara Liskov: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000)
	1999
81		Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya: Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257
80		Miguel Castro, Barbara Liskov: Practical Byzantine Fault Tolerance. OSDI 1999: 173-186
	1998
79		Andrew C. Myers, Barbara Liskov: Complete, Safe Information Flow with Decentralized Labels. IEEE Symposium on Security and Privacy 1998: 186-197
	1997
78		Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira: Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. ICDCS 1997: 0-
77		Umesh Maheshwari, Barbara Liskov: Collecting Distributed Garbage Cycles by Back Tracing. PODC 1997: 239-248
76		Atul Adya, Barbara Liskov: Lazy Consistency Using Loosely Synchronized Clocks. PODC 1997: 73-82
75		Andrew C. Myers, Joseph A. Bank, Barbara Liskov: Parameterized Types for Java. POPL 1997: 132-145
74		Umesh Maheshwari, Barbara Liskov: Partitioned Garbage Collection of Large Object Store. SIGMOD Conference 1997: 313-323
73		Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers: HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115
72		Andrew C. Myers, Barbara Liskov: A Decentralized Model for Information Flow Control. SOSP 1997: 129-142
71		Umesh Maheshwari, Barbara Liskov: Collecting Cyclic Distributed Garbage by Controlled Migration. Distributed Computing 10(2): 79-86 (1997)
	1996
70		Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127
69		Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan: Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10
68		Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996: 128-139
67		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
66		Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers: Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA 1995: 156-168
65		Umesh Maheshwari, Barbara Liskov: Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. PODC 1995: 57-63
64		Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari: Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks. SIGMOD Conference 1995: 23-34
63		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
62		Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. ZUM 1995: 245-263
	1994
61		Phillip Bogle, Barbara Liskov: Reducing Cross Domain Call Overhead using Batched Futures. OOPSLA 1994: 341-354
60		Umesh Maheshwari, Barbara Liskov: Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. PDIS 1994: 239-248
59		Barbara Liskov, Jeannette M. Wing: A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994)
	1993
58		Barbara Liskov, Jeannette M. Wing: A New Definition of the Subtype Relation. ECOOP 1993: 118-141
57		Barbara Liskov: A History of CLU. HOPL Preprints 1993: 133-147
56		Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. OOPSLA 1993: 16-28
55		Barbara Liskov: Practical Uses of Synchronized Clocks in Distributed Systems. Distributed Computing 6(4): 211-219 (1993)
54		Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers: References to Remote Mobile Objects in Thor. LOPLAS 2(1-4): 115-126 (1993)
	1992
53		Rivka Ladin, Barbara Liskov: Garbage Collection of a Distributed Heap. ICDCS 1992: 708-715
52		Barbara Liskov, Mark Day, Liuba Shrira: Distributed Object Management in Thor. IWDOM 1992: 79-91
51		Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira: Efficient Recovery in Harp. Workshop on the Management of Replicated Data 1992: 104-106
50		Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat: Providing High Availability Using Lazy Replication. ACM Trans. Comput. Syst. 10(4): 360-391 (1992)
	1991
49		Barbara Liskov: Practical Uses of Synchronized Clocks in Distributed Systems. PODC 1991: 1-9
48		Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, Michael Williams: Replication in the Harp File System. SOSP 1991: 226-238
47		Barbara Liskov, Liuba Shrira, John Wroclawski: Efficient At-Most-Once Messages Based on Synchronized Clocks. ACM Trans. Comput. Syst. 9(2): 125-142 (1991)
46		Rivka Ladin, Barbara Liskov, Liuba Shrira: Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). Operating Systems Review 25(1): 49-55 (1991)
45		Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira: A Replicated Unic File System. Operating Systems Review 25(1): 60-64 (1991)
	1990
44		Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira: A replicated Unix file system. ACM SIGOPS European Workshop 1990
43		Rivka Ladin, Barbara Liskov, Liuba Shrira: Lazy replication: exploiting the semantics of distributed services. ACM SIGOPS European Workshop 1990
42		Rivka Ladin, Barbara Liskov, Liuba Shrira: Lazy Replication: Exploiting the Semantics of Distributed Services. PODC 1990: 43-57
41		Barbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira: A Highly Available Object Repository for Use in a Heterogeneous Distributed System. POS 1990: 255-266
40		Barbara Liskov: System Implementation I - Introduction. POS 1990: 87-88
39		Barbara Liskov, Liuba Shrira, John Wroclawski: Efficient At-Most-Once Messages Based on Synchronized Clocks. SIGCOMM 1990: 41-49
38		Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira: A Replicated Unix File System. Workshop on the Management of Replicated Data 1990: 11-14
37		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
36		Andrew Xu, Barbara Liskov: A design for a fault-tolerant, distributed implementation of Linda. FTCS 1989: 199-206
35		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		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		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		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		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		Russell R. Atkinson, Barbara Liskov, Robert Scheifler: Aspects Of Implementing CLU. ACM Annual Conference (1) 1978: 123-129
10		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page