Barbara Liskov

David A. Schultz, Barbara Liskov: IFDB: decentralized information flow control for databases. EuroSys 2013: 43-56

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)

Barbara Liskov: Keynote presentation: Programming the turing machine. HILT 2012: 23-24

David A. Schultz, Barbara Liskov, Moses Liskov: MPSS: Mobile Proactive Secret Sharing. ACM Trans. Inf. Syst. Secur. 13(4): 34 (2010)

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

Barbara Liskov: From Viewstamped Replication to Byzantine Fault Tolerance. Replication 2010: 121-149

Barbara Liskov: The Power of Abstraction - (Invited Lecture Abstract). DISC 2010: 3

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)

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

David A. Schultz, Barbara Liskov, Moses Liskov: Mobile proactive secret sharing. PODC 2008: 458

Ben Leong, Barbara Liskov, Robert Morris: Greedy Virtual Coordinates for Geographic Routing. ICNP 2007: 71-80

Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden: Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. SOSP 2007: 59-72

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

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)

Sameer Ajmani, Barbara Liskov, Liuba Shrira: Modular Software Upgrades for Distributed Systems. ECOOP 2006: 452-476

Barbara Liskov, Rodrigo Rodrigues: Tolerating Byzantine Faulty Clients in a Quorum System. ICDCS 2006: 34

Ben Leong, Barbara Liskov, Robert Morris: Geographic Routing Without Planarization. NSDI 2006

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

Ben Leong, Sayan Mitra, Barbara Liskov: Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158

Rodrigo Rodrigues, Barbara Liskov: High Availability in DHTs: Erasure Coding vs. Replication. IPTPS 2005: 226-239

Barbara Liskov, Rodrigo Rodrigues: Byzantine Clients Rendered Harmless. DISC 2005: 487-489

Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues: Efficient Routing for Peer-to-Peer Overlays. NSDI 2004: 113-126

Chuang-Hue Moh, Barbara Liskov: TimeLine: A High Performance Archive for a Distributed Object Store. NSDI 2004: 351-364

Rodrigo Rodrigues, Barbara Liskov: Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. PODC 2004: 386

Barbara Liskov, Rodrigo Rodrigues: Transactional file systems can be fast. ACM SIGOPS European Workshop 2004: 5

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (2003)

Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues: One Hop Lookups for Peer-to-Peer Overlays. HotOS 2003: 7-12

Sameer Ajmani, Barbara Liskov, Liuba Shrira: Scheduling and Simulation: How to Upgrade Distributed Systems. HotOS 2003: 43-48

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman: Lazy modular upgrades in persistent object stores. OOPSLA 2003: 403-417

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira: Ownership types for object encapsulation. POPL 2003: 213-223

Miguel Castro, Barbara Liskov: Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002)

Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira: The design of a robust peer-to-peer system. ACM SIGOPS European Workshop 2002: 117-124

Barbara Liskov, John V. Guttag: Program Development in Java - Abstraction, Specification, and Object-Oriented Design. Addison-Wesley 2001, isbn 978-0-201-65768-5, pp. I-XIX, 1-443

Miguel Castro, Barbara Liskov: Byzantine Fault Tolerance Can Be Fast. DSN 2001: 513-518

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32

Rodrigo Rodrigues, Miguel Castro, Barbara Liskov: BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28

Andrew C. Myers, Barbara Liskov: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000)

Atul Adya, Barbara Liskov, Patrick E. O'Neil: Generalized Isolation Level Definitions. ICDE 2000: 67-78

Miguel Castro, Barbara Liskov: Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288

Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya: Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257

Miguel Castro, Barbara Liskov: Practical Byzantine Fault Tolerance. OSDI 1999: 173-186

Andrew C. Myers, Barbara Liskov: Complete, Safe Information Flow with Decentralized Labels. IEEE Symposium on Security and Privacy 1998: 186-197

Umesh Maheshwari, Barbara Liskov: Collecting Cyclic Distributed Garbage by Controlled Migration. Distributed Computing 10(2): 79-86 (1997)

Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira: Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. ICDCS 1997: 0-

Atul Adya, Barbara Liskov: Lazy Consistency Using Loosely Synchronized Clocks. PODC 1997: 73-82

Umesh Maheshwari, Barbara Liskov: Collecting Distributed Garbage Cycles by Back Tracing. PODC 1997: 239-248

Andrew C. Myers, Joseph A. Bank, Barbara Liskov: Parameterized Types for Java. POPL 1997: 132-145

Umesh Maheshwari, Barbara Liskov: Partitioned Garbage Collection of Large Object Store. SIGMOD Conference 1997: 313-323

Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers: HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115

Andrew C. Myers, Barbara Liskov: A Decentralized Model for Information Flow Control. SOSP 1997: 129-142

Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan: Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10

Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996: 128-139

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

Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127

Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers: Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA 1995: 156-168

Umesh Maheshwari, Barbara Liskov: Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. PODC 1995: 57-63

Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari: Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks. SIGMOD Conference 1995: 23-34

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

Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. ZUM 1995: 245-263

Barbara Liskov, Jeannette M. Wing: A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994)

Phillip Bogle, Barbara Liskov: Reducing Cross Domain Call Overhead using Batched Futures. OOPSLA 1994: 341-354

Umesh Maheshwari, Barbara Liskov: Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. PDIS 1994: 239-248

Barbara Liskov: Practical Uses of Synchronized Clocks in Distributed Systems. Distributed Computing 6(4): 211-219 (1993)

Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers: References to Remote Mobile Objects in Thor. LOPLAS 2(1-4): 115-126 (1993)

Barbara Liskov, Jeannette M. Wing: A New Definition of the Subtype Relation. ECOOP 1993: 118-141

Barbara Liskov: A History of CLU. HOPL Preprints 1993: 133-147

Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. OOPSLA 1993: 16-28

Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat: Providing High Availability Using Lazy Replication. ACM Trans. Comput. Syst. 10(4): 360-391 (1992)

Rivka Ladin, Barbara Liskov: Garbage Collection of a Distributed Heap. ICDCS 1992: 708-715

Barbara Liskov, Mark Day, Liuba Shrira: Distributed Object Management in Thor. IWDOM 1992: 79-91

Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira: Efficient Recovery in Harp. Workshop on the Management of Replicated Data 1992: 104-106

Rivka Ladin, Barbara Liskov, Liuba Shrira: Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). Operating Systems Review 25(1): 49-55 (1991)

Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira: A Replicated Unic File System. Operating Systems Review 25(1): 60-64 (1991)

Barbara Liskov, Liuba Shrira, John Wroclawski: Efficient At-Most-Once Messages Based on Synchronized Clocks. ACM Trans. Comput. Syst. 9(2): 125-142 (1991)

Barbara Liskov: Practical Uses of Synchronized Clocks in Distributed Systems. PODC 1991: 1-9

Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, Michael Williams: Replication in the Harp File System. SOSP 1991: 226-238

Rivka Ladin, Barbara Liskov, Liuba Shrira: Lazy Replication: Exploiting the Semantics of Distributed Services. PODC 1990: 43-57

Barbara Liskov: System Implementation I - Introduction. POS 1990: 87-88

Barbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira: A Highly Available Object Repository for Use in a Heterogeneous Distributed System. POS 1990: 255-266

Barbara Liskov, Liuba Shrira, John Wroclawski: Efficient At-Most-Once Messages Based on Synchronized Clocks. SIGCOMM 1990: 41-49

Rivka Ladin, Barbara Liskov, Liuba Shrira: Lazy replication: exploiting the semantics of distributed services. ACM SIGOPS European Workshop 1990

Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira: A replicated Unix file system. ACM SIGOPS European Workshop 1990

Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira: A Replicated Unix File System. Workshop on the Management of Replicated Data 1990: 11-14

Rivka Ladin, Barbara Liskov, Liuba Shrira: Lazy Replication: Exploiting the Semantics of Distributed Services. Workshop on the Management of Replicated Data 1990: 31-34

Andrew Xu, Barbara Liskov: A design for a fault-tolerant, distributed implementation of Linda. FTCS 1989: 199-206

Elliot K. Kolodner, Barbara Liskov, William E. Weihl: Atomic Garbage Collection: Managing a Stable Heap. SIGMOD Conference 1989: 15-25

Rivka Ladin, Barbara Liskov, Liuba Shrira: A Technique for Constructing Highly Available Services. Algorithmica 3: 393-420 (1988)

Barbara Liskov: Distributed Programming in Argus. Commun. ACM 31(3): 300-312 (1988)

Barbara Liskov, Liuba Shrira: Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. PLDI 1988: 260-267

Brian M. Oki, Barbara Liskov: Viewstamped Replication: A General Primary Copy. PODC 1988: 8-17

Barbara Liskov, Dorothy Curtis, Paul Johnson, Robert Scheifler: Implementation of Argus. SOSP 1987: 111-122

Barbara Liskov, William E. Weihl: Specifications of Distributed Programs. Distributed Computing 1(2): 102-118 (1986)

Barbara Liskov: Argus. Fault-Tolerant Distributed Computing 1986: 108-114

Barbara Liskov, Rivka Ladin: Highly-Available Distributed Service and Fault-Tolerant Distributed Garbage Collection. PODC 1986: 29-39

Barbara Liskov, Maurice Herlihy, Lucy Gilbert: Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. POPL 1986: 150-159

William E. Weihl, Barbara Liskov: Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269 (1985)

Brian M. Oki, Barbara Liskov, Robert Scheifler: Reliable Object Storage to Support Atomic Actions. SOSP 1985: 147-159

Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider (Eds.): Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. Lecture Notes in Computer Science 190, Springer 1985, isbn 3-540-15216-4

Barbara Liskov: The Argus Language and System. Advanced Course: Distributed Systems 1984: 343-430

Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404 (1983)

Barbara Liskov, Maurice Herlihy: Issues Process and Communication Structure for Distributed Programs. Symposium on Reliability in Distributed Software and Database Systems 1983: 123-132

Maurice Herlihy, Barbara Liskov: A Value Transmission Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 4(4): 527-551 (1982)

Barbara Liskov: On Linguistic Support for Distributed Programs. IEEE Trans. Software Eng. 8(3): 203-210 (1982)

Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. POPL 1982: 7-19

Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder: CLU Reference Manual. Lecture Notes in Computer Science 114, Springer 1981, isbn 3-540-10836-X

Barbara Liskov: Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980. Operating Systems Review 15(3): 9-38 (1981)

Barbara Liskov, Alan Snyder: Exception Handling in CLU. IEEE Trans. Software Eng. 5(6): 546-558 (1979)

Barbara Liskov: Modular Program Construction Using Abstractions. Abstract Software Specifications 1979: 354-389

Barbara Liskov: Primitives for Distributed Computing. SOSP 1979: 33-42

Anita K. Jones, Barbara Liskov: A Language Extension for Expressing Constraints on Data Access. Commun. ACM 21(5): 358-367 (1978)

Russell R. Atkinson, Barbara Liskov, Robert Scheifler: Aspects Of Implementing CLU. ACM Annual Conference (1) 1978: 123-129

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

Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576 (1977)

Anita K. Jones, Barbara Liskov: A Language Extension for Controlling Access to Shared Data. IEEE Trans. Software Eng. 2(4): 277-285 (1976)

Anita K. Jones, Barbara Liskov: A Language Extension for Controlling Access to Shared Data (Abstract). ICSE 1976: 235

Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19 (1975)

Barbara Liskov: Data types and program correctness. AFIPS National Computer Conference 1975: 285-286

Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59 (1974)

Barbara Liskov: The Design of the Venus Operating System. Commun. ACM 15(3): 144-149 (1972)

Barbara Liskov: A design methodology for reliable software systems. AFIPS Fall Joint Computing Conference (1) 1972: 191-199

Barbara Liskov: The Design of the Venus Operating System. SOSP 1971: 11-16