Barbara Liskov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2008

Mobile proactive secret sharingDavid A. Schultz, Barbara Liskov, Moses Liskov. podc 2008: 458 [doi]

2007

2006

2005

Path Vector Face Routing: Geographic Routing with Local Face InformationBen Leong, Sayan Mitra, Barbara Liskov. icnp 2005: 147-158 [doi]

Byzantine Clients Rendered HarmlessBarbara Liskov, Rodrigo Rodrigues. wdag 2005: 487-489 [doi]

High Availability in DHTs: Erasure Coding vs. ReplicationRodrigo Rodrigues, Barbara Liskov. iptps 2005: 226-239 [doi]

2004

2003

2002

Practical byzantine fault tolerance and proactive recoveryMiguel Castro, Barbara Liskov. tocs, 20(4):398-461, 2002. [doi]

The design of a robust peer-to-peer systemRodrigo Rodrigues, Barbara Liskov, Liuba Shrira. sigopsE 2002: 117-124 [doi]

2001

Byzantine Fault Tolerance Can Be FastMiguel Castro, Barbara Liskov. dsn 2001: 513-518 [doi]

Using Abstraction To Improve Fault ToleranceMiguel Castro, Rodrigo Rodrigues, Barbara Liskov. hotos 2001: 27-32 [doi]

BASE: Using Abstraction to Improve Fault ToleranceRodrigo Rodrigues, Miguel Castro, Barbara Liskov. sosp 2001: 15-28 [doi]

2000

Generalized Isolation Level DefinitionsAtul Adya, Barbara Liskov, Patrick E. O Neil. icde 2000: 67-78 [doi]

Proactive Recovery in a Byzantine-Fault-Tolerant SystemMiguel Castro, Barbara Liskov. osdi 2000: 273-288

Protecting privacy using the decentralized label modelAndrew C. Myers, Barbara Liskov. TOSEM, 9(4):410-442, 2000. [doi]

1999

Practical Byzantine Fault ToleranceMiguel Castro, Barbara Liskov. osdi 1999: 173-186 [doi]

Providing Persistent Objects in Distributed SystemsBarbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya. ECOOP 1999: 230-257 [doi]

1998

Complete, Safe Information Flow with Decentralized LabelsAndrew C. Myers, Barbara Liskov. sp 1998: 186-197 [doi]

1997

Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage SystemAtul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira. icdcs 1997:

Lazy Consistency Using Loosely Synchronized ClocksAtul Adya, Barbara Liskov. podc 1997: 73-82

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

Collecting Distributed Garbage Cycles by Back TracingUmesh Maheshwari, Barbara Liskov. podc 1997: 239-248

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

Partitioned Garbage Collection of Large Object StoreUmesh Maheshwari, Barbara Liskov. sigmod 1997: 313-323 [doi]

A Decentralized Model for Information Flow ControlAndrew C. Myers, Barbara Liskov. sosp 1997: 129-142

Parameterized Types for JavaAndrew C. Myers, Joseph A. Bank, Barbara Liskov. POPL 1997: 132-145 [doi]

1996

1995

1994

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

A Behavioral Notion of SubtypingBarbara Liskov, Jeannette M. Wing. TOPLAS, 16(6):1811-1841, 1994. [doi]

Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented DatabaseUmesh Maheshwari, Barbara Liskov. pdis 1994: 239-248 [doi]

1993

1992

1991

1990

Lazy replication: exploiting the semantics of distributed servicesRivka Ladin, Barbara Liskov, Liuba Shrira. sigopsE 1990: [doi]

Lazy Replication: Exploiting the Semantics of Distributed ServicesRivka Ladin, Barbara Liskov, Liuba Shrira. wmrd 1990: 31-34

Lazy Replication: Exploiting the Semantics of Distributed ServicesRivka Ladin, Barbara Liskov, Liuba Shrira. podc 1990: 43-57 [doi]

A replicated Unix file systemBarbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira. sigopsE 1990: [doi]

A Highly Available Object Repository for Use in a Heterogeneous Distributed SystemBarbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira. pos 1990: 255-266 [doi]

A Replicated Unix File SystemBarbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira. wmrd 1990: 11-14

System Implementation I - IntroductionBarbara Liskov. pos 1990: 87-88 [doi]

Efficient At-Most-Once Messages Based on Synchronized ClocksBarbara Liskov, Liuba Shrira, John Wroclawski. sigcomm 1990: 41-49 [doi]

1989

Atomic Garbage Collection: Managing a Stable HeapElliot K. Kolodner, Barbara Liskov, William E. Weihl. sigmod 1989: 15-25 [doi]

1988

A Technique for Constructing Highly Available ServicesRivka Ladin, Barbara Liskov, Liuba Shrira. algorithmica, 3:393-420, 1988.

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

Distributed Programming in ArgusBarbara Liskov. CACM, 31(3):300-312, 1988.

Viewstamped Replication: A General Primary CopyBrian M. Oki, Barbara Liskov. podc 1988: 8-17 [doi]

1987

Implementation of ArgusBarbara Liskov, Dorothy Curtis, Paul Johnson, Robert Scheifler. sosp 1987: 111-122

1986

ArgusBarbara Liskov. ftdcs 1990: 108-114

Highly-Available Distributed Service and Fault-Tolerant Distributed Garbage CollectionBarbara Liskov, Rivka Ladin. podc 1986: 29-39

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

Specifications of Distributed ProgramsBarbara Liskov, William E. Weihl. dc, 1(2):102-118, 1986.

1985

Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 MunichMack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider. Volume 190 of Lecture Notes in Computer Science, Springer, 1985.

Reliable Object Storage to Support Atomic ActionsBrian M. Oki, Barbara Liskov, Robert Scheifler. sosp 1985: 147-159

Implementation of Resilient, Atomic Data TypesWilliam E. Weihl, Barbara Liskov. TOPLAS, 7(2):244-269, 1985. [doi]

1984

The Argus Language and SystemBarbara Liskov. ac 1985: 343-430

1983

Guardians and Actions: Linguistic Support for Robust, Distributed ProgramsBarbara Liskov, Robert Scheifler. TOPLAS, 5(3):381-404, 1983. [doi]

Issues Process and Communication Structure for Distributed ProgramsBarbara Liskov, Maurice Herlihy. srds 1983: 123-132

1982

A Value Transmission Method for Abstract Data TypesMaurice Herlihy, Barbara Liskov. TOPLAS, 4(4):527-551, 1982. [doi]

On Linguistic Support for Distributed ProgramsBarbara Liskov. TSE, 8(3):203-210, 1982.

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

1981

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

CLU Reference ManualBarbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder. Volume 114 of Lecture Notes in Computer Science, Springer, 1981.

1979

Primitives for Distributed ComputingBarbara Liskov. sosp 1979: 33-42

Exception Handling in CLUBarbara Liskov, Alan Snyder. TSE, 5(6):546-558, 1979.

Modular Program Construction Using AbstractionsBarbara Liskov. ac 1980: 354-389

1978

Aspects Of Implementing CLURussell R. Atkinson, Barbara Liskov, Robert Scheifler. acm 1978: 123-129 [doi]

A Language Extension for Expressing Constraints on Data AccessAnita K. Jones, Barbara Liskov. CACM, 21(5):358-367, 1978.

PreviousNext