Search the dblp DataBase
Barbara Liskov :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Barbara Liskov , Alan Snyder , Russell R. Atkinson , Craig Schaffert Abstraction Mechanisms in CLU. [Citation Graph (28, 0)][DBLP ] Commun. ACM, 1977, v:20, n:8, pp:564-576 [Journal ] Barbara Liskov , Stephen N. Zilles Programming with Abstract Data Types. [Citation Graph (24, 0)][DBLP ] SIGPLAN Notices, 1974, v:9, n:4, pp:50-59 [Journal ] Barbara Liskov Distributed Programming in Argus. [Citation Graph (13, 0)][DBLP ] Commun. ACM, 1988, v:31, n:3, pp:300-312 [Journal ] Barbara Liskov , Robert Scheifler Guardians and Actions: Linguistic Support for Robust, Distributed Programs. [Citation Graph (12, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:381-404 [Journal ] Barbara Liskov , Stephen N. Zilles Specification Techniques for Data Abstractions. [Citation Graph (11, 0)][DBLP ] IEEE Trans. Software Eng., 1975, v:1, n:1, pp:7-19 [Journal ] Barbara Liskov , Robert Scheifler Guardians and Actions: Linguistic Support for Robust, Distributed Programs. [Citation Graph (8, 0)][DBLP ] POPL, 1982, pp:7-19 [Conf ] Barbara Liskov , Dorothy Curtis , Paul Johnson , Robert Scheifler Implementation of Argus. [Citation Graph (8, 0)][DBLP ] SOSP, 1987, pp:111-122 [Conf ] Barbara Liskov , Sanjay Ghemawat , Robert Gruber , Paul Johnson , Liuba Shrira , Michael Williams Replication in the Harp File System. [Citation Graph (8, 0)][DBLP ] SOSP, 1991, pp:226-238 [Conf ] William E. Weihl , Barbara Liskov Implementation of Resilient, Atomic Data Types. [Citation Graph (8, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1985, v:7, n:2, pp:244-269 [Journal ] Rivka Ladin , Barbara Liskov , Liuba Shrira Lazy Replication: Exploiting the Semantics of Distributed Services. [Citation Graph (7, 0)][DBLP ] PODC, 1990, pp:43-57 [Conf ] Barbara Liskov , Rivka Ladin Highly-Available Distributed Service and Fault-Tolerant Distributed Garbage Collection. [Citation Graph (6, 0)][DBLP ] PODC, 1986, pp:29-39 [Conf ] Atul Adya , Robert Gruber , Barbara Liskov , Umesh Maheshwari Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks. [Citation Graph (6, 14)][DBLP ] SIGMOD Conference, 1995, pp:23-34 [Conf ] Elliot K. Kolodner , Barbara Liskov , William E. Weihl Atomic Garbage Collection: Managing a Stable Heap. [Citation Graph (6, 18)][DBLP ] SIGMOD Conference, 1989, pp:15-25 [Conf ] Rivka Ladin , Barbara Liskov , Liuba Shrira , Sanjay Ghemawat Providing High Availability Using Lazy Replication. [Citation Graph (6, 0)][DBLP ] ACM Trans. Comput. Syst., 1992, v:10, n:4, pp:360-391 [Journal ] Barbara Liskov The Argus Language and System. [Citation Graph (5, 0)][DBLP ] Advanced Course: Distributed Systems, 1984, pp:343-430 [Conf ] Umesh Maheshwari , Barbara Liskov Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. [Citation Graph (5, 13)][DBLP ] PDIS, 1994, pp:239-248 [Conf ] Rivka Ladin , Barbara Liskov , Liuba Shrira A Technique for Constructing Highly Available Services. [Citation Graph (5, 0)][DBLP ] Algorithmica, 1988, v:3, n:, pp:393-420 [Journal ] Barbara Liskov , Jeannette M. Wing Specifications and Their Use in Defining Subtypes. [Citation Graph (4, 0)][DBLP ] OOPSLA, 1993, pp:16-28 [Conf ] Barbara Liskov Practical Uses of Synchronized Clocks in Distributed Systems. [Citation Graph (4, 0)][DBLP ] PODC, 1991, pp:1-9 [Conf ] Anita K. Jones , Barbara Liskov A Language Extension for Expressing Constraints on Data Access. [Citation Graph (4, 0)][DBLP ] Commun. ACM, 1978, v:21, n:5, pp:358-367 [Journal ] Mark Day , Barbara Liskov , Umesh Maheshwari , Andrew C. Myers References to Remote Mobile Objects in Thor. [Citation Graph (4, 0)][DBLP ] LOPLAS, 1993, v:2, n:1-4, pp:115-126 [Journal ] Barbara Liskov , Alan Snyder Exception Handling in CLU. [Citation Graph (4, 0)][DBLP ] IEEE Trans. Software Eng., 1979, v:5, n:6, pp:546-558 [Journal ] Barbara Liskov , Mark Day , Liuba Shrira Distributed Object Management in Thor. [Citation Graph (3, 0)][DBLP ] IWDOM, 1992, pp:79-91 [Conf ] Brian M. Oki , Barbara Liskov Viewstamped Replication: A General Primary Copy. [Citation Graph (3, 0)][DBLP ] PODC, 1988, pp:8-17 [Conf ] Barbara Liskov , Paul Johnson , Robert Gruber , Liuba Shrira A Highly Available Object Repository for Use in a Heterogeneous Distributed System. [Citation Graph (3, 0)][DBLP ] POS, 1990, pp:255-266 [Conf ] 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. [Citation Graph (3, 25)][DBLP ] SIGMOD Conference, 1996, pp:318-329 [Conf ] Brian M. Oki , Barbara Liskov , Robert Scheifler Reliable Object Storage to Support Atomic Actions. [Citation Graph (3, 0)][DBLP ] SOSP, 1985, pp:147-159 [Conf ] Barbara Liskov , Jeannette M. Wing A Behavioral Notion of Subtyping. [Citation Graph (3, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1811-1841 [Journal ] Umesh Maheshwari , Barbara Liskov Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. [Citation Graph (2, 0)][DBLP ] PODC, 1995, pp:57-63 [Conf ] Rivka Ladin , Barbara Liskov Garbage Collection of a Distributed Heap. [Citation Graph (1, 0)][DBLP ] ICDCS, 1992, pp:708-715 [Conf ] Atul Adya , Barbara Liskov , Patrick E. O'Neil Generalized Isolation Level Definitions. [Citation Graph (1, 0)][DBLP ] ICDE, 2000, pp:67-78 [Conf ] Phillip Bogle , Barbara Liskov Reducing Cross Domain Call Overhead using Batched Futures. [Citation Graph (1, 0)][DBLP ] OOPSLA, 1994, pp:341-354 [Conf ] Mark Day , Robert Gruber , Barbara Liskov , Andrew C. Myers Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. [Citation Graph (1, 0)][DBLP ] OOPSLA, 1995, pp:156-168 [Conf ] Barbara Liskov , Atul Adya , Miguel Castro , Quinton Zondervan Type-Safe Heterogeneous Sharing can be Fast. [Citation Graph (1, 0)][DBLP ] POS, 1996, pp:1-10 [Conf ] Umesh Maheshwari , Barbara Liskov Partitioned Garbage Collection of Large Object Store. [Citation Graph (1, 18)][DBLP ] SIGMOD Conference, 1997, pp:313-323 [Conf ] Miguel Castro , Atul Adya , Barbara Liskov , Andrew C. Myers HAC: Hybrid Adaptive Caching for Distributed Storage Systems. [Citation Graph (1, 0)][DBLP ] SOSP, 1997, pp:102-115 [Conf ] Maurice Herlihy , Barbara Liskov A Value Transmission Method for Abstract Data Types. [Citation Graph (1, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:527-551 [Journal ] Anita K. Jones , Barbara Liskov A Language Extension for Controlling Access to Shared Data. [Citation Graph (1, 0)][DBLP ] IEEE Trans. Software Eng., 1976, v:2, n:4, pp:277-285 [Journal ] Barbara Liskov Modular Program Construction Using Abstractions. [Citation Graph (0, 0)][DBLP ] Abstract Software Specifications, 1979, pp:354-389 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] ACM Annual Conference (1), 1978, pp:325- [Conf ] Russell R. Atkinson , Barbara Liskov , Robert Scheifler Aspects Of Implementing CLU. [Citation Graph (0, 0)][DBLP ] ACM Annual Conference (1), 1978, pp:123-129 [Conf ] Miguel Castro , Barbara Liskov Byzantine Fault Tolerance Can Be Fast. [Citation Graph (0, 0)][DBLP ] DSN, 2001, pp:513-518 [Conf ] Barbara Liskov , Miguel Castro , Liuba Shrira , Atul Adya Providing Persistent Objects in Distributed Systems. [Citation Graph (0, 0)][DBLP ] ECOOP, 1999, pp:230-257 [Conf ] Barbara Liskov , Jeannette M. Wing A New Definition of the Subtype Relation. [Citation Graph (0, 0)][DBLP ] ECOOP, 1993, pp:118-141 [Conf ] Sameer Ajmani , Barbara Liskov , Liuba Shrira Modular Software Upgrades for Distributed Systems. [Citation Graph (0, 0)][DBLP ] ECOOP, 2006, pp:452-476 [Conf ] Barbara Liskov Argus. [Citation Graph (0, 0)][DBLP ] Fault-Tolerant Distributed Computing, 1986, pp:108-114 [Conf ] Barbara Liskov A History of CLU. [Citation Graph (0, 0)][DBLP ] HOPL Preprints, 1993, pp:133-147 [Conf ] Sameer Ajmani , Barbara Liskov , Liuba Shrira Scheduling and Simulation: How to Upgrade Distributed Systems. [Citation Graph (0, 0)][DBLP ] HotOS, 2003, pp:43-48 [Conf ] Miguel Castro , Rodrigo Rodrigues , Barbara Liskov Using Abstraction To Improve Fault Tolerance. [Citation Graph (0, 0)][DBLP ] HotOS, 2001, pp:27-32 [Conf ] Anjali Gupta , Barbara Liskov , Rodrigo Rodrigues One Hop Lookups for Peer-to-Peer Overlays. [Citation Graph (0, 0)][DBLP ] HotOS, 2003, pp:7-12 [Conf ] Atul Adya , Miguel Castro , Barbara Liskov , Umesh Maheshwari , Liuba Shrira Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. [Citation Graph (0, 0)][DBLP ] ICDCS, 1997, pp:0-0 [Conf ] Barbara Liskov , Rodrigo Rodrigues Tolerating Byzantine Faulty Clients in a Quorum System. [Citation Graph (0, 0)][DBLP ] ICDCS, 2006, pp:34- [Conf ] Ben Leong , Sayan Mitra , Barbara Liskov Path Vector Face Routing: Geographic Routing with Local Face Information. [Citation Graph (0, 0)][DBLP ] ICNP, 2005, pp:147-158 [Conf ] Anita K. Jones , Barbara Liskov A Language Extension for Controlling Access to Shared Data (Abstract). [Citation Graph (0, 0)][DBLP ] ICSE, 1976, pp:235- [Conf ] Rodrigo Rodrigues , Barbara Liskov High Availability in DHTs: Erasure Coding vs. Replication. [Citation Graph (0, 0)][DBLP ] IPTPS, 2005, pp:226-239 [Conf ] Anjali Gupta , Barbara Liskov , Rodrigo Rodrigues Efficient Routing for Peer-to-Peer Overlays. [Citation Graph (0, 0)][DBLP ] NSDI, 2004, pp:113-126 [Conf ] Chuang-Hue Moh , Barbara Liskov TimeLine: A High Performance Archive for a Distributed Object Store. [Citation Graph (0, 0)][DBLP ] NSDI, 2004, pp:351-364 [Conf ] Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira , Chuang-Hue Moh , Steven Richman Lazy modular upgrades in persistent object stores. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2003, pp:403-417 [Conf ] Miguel Castro , Barbara Liskov Proactive Recovery in a Byzantine-Fault-Tolerant System. [Citation Graph (0, 0)][DBLP ] OSDI, 2000, pp:273-288 [Conf ] Miguel Castro , Barbara Liskov Practical Byzantine Fault Tolerance. [Citation Graph (0, 0)][DBLP ] OSDI, 1999, pp:173-186 [Conf ] James Cowling , Daniel Myers , Barbara Liskov , Rodrigo Rodrigues , Liuba Shrira HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. [Citation Graph (0, 0)][DBLP ] OSDI, 2006, pp:177-190 [Conf ] Barbara Liskov , Liuba Shrira Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. [Citation Graph (0, 0)][DBLP ] PLDI, 1988, pp:260-267 [Conf ] Atul Adya , Barbara Liskov Lazy Consistency Using Loosely Synchronized Clocks. [Citation Graph (0, 0)][DBLP ] PODC, 1997, pp:73-82 [Conf ] Umesh Maheshwari , Barbara Liskov Collecting Distributed Garbage Cycles by Back Tracing. [Citation Graph (0, 0)][DBLP ] PODC, 1997, pp:239-248 [Conf ] Rodrigo Rodrigues , Barbara Liskov Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. [Citation Graph (0, 0)][DBLP ] PODC, 2004, pp:386- [Conf ] Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira Ownership types for object encapsulation. [Citation Graph (0, 0)][DBLP ] POPL, 2003, pp:213-223 [Conf ] Andrew C. Myers , Joseph A. Bank , Barbara Liskov Parameterized Types for Java. [Citation Graph (0, 0)][DBLP ] POPL, 1997, pp:132-145 [Conf ] Barbara Liskov , Maurice Herlihy , Lucy Gilbert Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. [Citation Graph (0, 0)][DBLP ] POPL, 1986, pp:150-159 [Conf ] Barbara Liskov System Implementation I - Introduction. [Citation Graph (0, 0)][DBLP ] POS, 1990, pp:87-88 [Conf ] Liuba Shrira , Barbara Liskov , Miguel Castro , Atul Adya Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. [Citation Graph (0, 0)][DBLP ] POS, 1996, pp:128-139 [Conf ] Barbara Liskov , Liuba Shrira , John Wroclawski Efficient At-Most-Once Messages Based on Synchronized Clocks. [Citation Graph (0, 0)][DBLP ] SIGCOMM, 1990, pp:41-49 [Conf ] Rivka Ladin , Barbara Liskov , Liuba Shrira Lazy replication: exploiting the semantics of distributed services. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1990, pp:- [Conf ] Barbara Liskov , Robert Gruber , Paul Johnson , Liuba Shrira A replicated Unix file system. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1990, pp:- [Conf ] Liuba Shrira , Barbara Liskov , Miguel Castro , Atul Adya How to scale transactional storage systems. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1996, pp:121-127 [Conf ] Sanjay Ghemawat , M. Frans Kaashoek , Barbara Liskov Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. [Citation Graph (0, 0)][DBLP ] SOSP, 1995, pp:235- [Conf ] Barbara Liskov The Design of the Venus Operating System. [Citation Graph (0, 0)][DBLP ] SOSP, 1971, pp:11-16 [Conf ] Barbara Liskov Primitives for Distributed Computing. [Citation Graph (0, 0)][DBLP ] SOSP, 1979, pp:33-42 [Conf ] Andrew C. Myers , Barbara Liskov A Decentralized Model for Information Flow Control. [Citation Graph (0, 0)][DBLP ] SOSP, 1997, pp:129-142 [Conf ] Rodrigo Rodrigues , Miguel Castro , Barbara Liskov BASE: Using Abstraction to Improve Fault Tolerance. [Citation Graph (0, 0)][DBLP ] SOSP, 2001, pp:15-28 [Conf ] Barbara Liskov , Maurice Herlihy Issues Process and Communication Structure for Distributed Programs. [Citation Graph (0, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1983, pp:123-132 [Conf ] Barbara Liskov , Rodrigo Rodrigues Byzantine Clients Rendered Harmless. [Citation Graph (0, 0)][DBLP ] DISC, 2005, pp:487-489 [Conf ] Rivka Ladin , Barbara Liskov , Liuba Shrira Lazy Replication: Exploiting the Semantics of Distributed Services. [Citation Graph (0, 0)][DBLP ] Workshop on the Management of Replicated Data, 1990, pp:31-34 [Conf ] Barbara Liskov , Sanjay Ghemawat , Robert Gruber , Paul Johnson , Liuba Shrira Efficient Recovery in Harp. [Citation Graph (0, 0)][DBLP ] Workshop on the Management of Replicated Data, 1992, pp:104-106 [Conf ] Barbara Liskov , Robert Gruber , Paul Johnson , Liuba Shrira A Replicated Unix File System. [Citation Graph (0, 0)][DBLP ] Workshop on the Management of Replicated Data, 1990, pp:11-14 [Conf ] Barbara Liskov , Jeannette M. Wing Specifications and Their Use in Defining Subtypes. [Citation Graph (0, 0)][DBLP ] ZUM, 1995, pp:245-263 [Conf ] Barbara Liskov The Design of the Venus Operating System. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1972, v:15, n:3, pp:144-149 [Journal ] Ben Leong , Barbara Liskov , Erik D. Demaine EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management. [Citation Graph (0, 0)][DBLP ] Computer Communications, 2006, v:29, n:9, pp:1243-1259 [Journal ] Barbara Liskov Practical Uses of Synchronized Clocks in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1993, v:6, n:4, pp:211-219 [Journal ] Barbara Liskov , William E. Weihl Specifications of Distributed Programs. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1986, v:1, n:2, pp:102-118 [Journal ] Umesh Maheshwari , Barbara Liskov Collecting Cyclic Distributed Garbage by Controlled Migration. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1997, v:10, n:2, pp:79-86 [Journal ] Rivka Ladin , Barbara Liskov , Liuba Shrira Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1991, v:25, n:1, pp:49-55 [Journal ] Barbara Liskov Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1981, v:15, n:3, pp:9-38 [Journal ] Barbara Liskov , Robert Gruber , Paul Johnson , Liuba Shrira A Replicated Unic File System. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1991, v:25, n:1, pp:60-64 [Journal ] Miguel Castro , Barbara Liskov Practical byzantine fault tolerance and proactive recovery. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 2002, v:20, n:4, pp:398-461 [Journal ] Miguel Castro , Rodrigo Rodrigues , Barbara Liskov BASE: Using abstraction to improve fault tolerance. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 2003, v:21, n:3, pp:236-269 [Journal ] Barbara Liskov , Liuba Shrira , John Wroclawski Efficient At-Most-Once Messages Based on Synchronized Clocks. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 1991, v:9, n:2, pp:125-142 [Journal ] Andrew C. Myers , Barbara Liskov Protecting privacy using the decentralized label model. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:4, pp:410-442 [Journal ] Barbara Liskov On Linguistic Support for Distributed Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1982, v:8, n:3, pp:203-210 [Journal ] Ben Leong , Barbara Liskov , Robert Morris Geographic Routing Without Planarization. [Citation Graph (0, 0)][DBLP ] NSDI, 2006, pp:- [Conf ] Ben Vandiver , Hari Balakrishnan , Barbara Liskov , Samuel Madden Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. [Citation Graph (0, 0)][DBLP ] SOSP, 2007, pp:59-72 [Conf ] Data types and program correctness. [Citation Graph (, )][DBLP ] Greedy Virtual Coordinates for Geographic Routing. [Citation Graph (, )][DBLP ] Tolerating Latency in Replicated State Machines Through Client Speculation. [Citation Graph (, )][DBLP ] Mobile proactive secret sharing. [Citation Graph (, )][DBLP ] Transactional file systems can be fast. [Citation Graph (, )][DBLP ] The design of a robust peer-to-peer system. [Citation Graph (, )][DBLP ] Complete, Safe Information Flow with Decentralized Labels. [Citation Graph (, )][DBLP ] MapJAX: Data Structure Abstractions for Asynchronous Web Applications. [Citation Graph (, )][DBLP ] The Power of Abstraction - (Invited Lecture Abstract). [Citation Graph (, )][DBLP ] From Viewstamped Replication to Byzantine Fault Tolerance. [Citation Graph (, )][DBLP ] Search in 0.042secs, Finished in 0.047secs