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