@inproceedings{CastroRL01,
  title = {Using Abstraction To Improve Fault Tolerance},
  author = {Miguel Castro and Rodrigo Rodrigues and Barbara Liskov},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/hotos/2001/1040/00/10400027abs.htm},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/CastroRL01},
  cites = {0},
  citedby = {0},
  pages = {27-32},
  booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1040-X},
}

@article{LeongLD06,
  title = {EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management},
  author = {Ben Leong and Barbara Liskov and Erik D. Demaine},
  year = {2006},
  doi = {10.1016/j.comcom.2005.10.002},
  url = {http://dx.doi.org/10.1016/j.comcom.2005.10.002},
  tags = {routing},
  researchr = {https://researchr.org/publication/LeongLD06},
  cites = {0},
  citedby = {0},
  journal = {Computer Communications},
  volume = {29},
  number = {9},
  pages = {1243-1259},
}

@inproceedings{AdyaLO00,
  title = {Generalized Isolation Level Definitions},
  author = {Atul Adya and Barbara Liskov and Patrick E. O Neil},
  year = {2000},
  doi = {10.1109/ICDE.2000.839388},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICDE.2000.839388},
  tags = {e-science},
  researchr = {https://researchr.org/publication/AdyaLO00},
  cites = {0},
  citedby = {0},
  pages = {67-78},
  booktitle = {Proceedings of the 16th International Conference on Data Engineering, 28 February - 3 March, 2000, San Diego, California, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{AdyaL97,
  title = {Lazy Consistency Using Loosely Synchronized Clocks},
  author = {Atul Adya and Barbara Liskov},
  year = {1997},
  tags = {laziness, synchronization, consistency},
  researchr = {https://researchr.org/publication/AdyaL97},
  cites = {0},
  citedby = {0},
  pages = {73-82},
  booktitle = {PODC},
}

@article{LadinLSG92,
  title = {Providing High Availability Using Lazy Replication},
  author = {Rivka Ladin and Barbara Liskov and Liuba Shrira and Sanjay Ghemawat},
  year = {1992},
  doi = {10.1145/138873.138877},
  url = {http://doi.acm.org/10.1145/138873.138877},
  tags = {laziness},
  researchr = {https://researchr.org/publication/LadinLSG92},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Syst.},
  volume = {10},
  number = {4},
  pages = {360-391},
}

@article{LiskovZ74,
  title = {Programming with Abstract Data Types},
  author = {Barbara Liskov and Stephen N. Zilles},
  year = {1974},
  tags = {data-flow programming, data-flow, programming},
  researchr = {https://researchr.org/publication/LiskovZ74},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {9},
  number = {4},
  pages = {50-59},
}

@article{LiskovW86,
  title = {Specifications of Distributed Programs},
  author = {Barbara Liskov and William E. Weihl},
  year = {1986},
  tags = {e-science},
  researchr = {https://researchr.org/publication/LiskovW86},
  cites = {0},
  citedby = {0},
  journal = {Distributed Computing},
  volume = {1},
  number = {2},
  pages = {102-118},
}

@inproceedings{GuptaLR03,
  title = {One Hop Lookups for Peer-to-Peer Overlays},
  author = {Anjali Gupta and Barbara Liskov and Rodrigo Rodrigues},
  year = {2003},
  tags = {source-to-source, peer-to-peer, open-source},
  researchr = {https://researchr.org/publication/GuptaLR03},
  cites = {0},
  citedby = {0},
  pages = {7-12},
  booktitle = {Proceedings of HotOS 03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA},
  editor = {Michael B. Jones},
  publisher = {USENIX},
  isbn = {1-931971-17-X},
}

@inproceedings{DayGLM95,
  title = {Subtypes vs. Where Clauses: Constraining Parametric Polymorphism},
  author = {Mark Day and Robert Gruber and Barbara Liskov and Andrew C. Myers},
  year = {1995},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/DayGLM95},
  cites = {0},
  citedby = {0},
  pages = {156-168},
  booktitle = {OOPSLA},
}

@inproceedings{MaheshwariL95,
  title = {Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration},
  author = {Umesh Maheshwari and Barbara Liskov},
  year = {1995},
  tags = {migration},
  researchr = {https://researchr.org/publication/MaheshwariL95},
  cites = {0},
  citedby = {0},
  pages = {57-63},
  booktitle = {PODC},
}

@inproceedings{ShriraLCA96,
  title = {Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems},
  author = {Liuba Shrira and Barbara Liskov and Miguel Castro and Atul Adya},
  year = {1996},
  tags = {caching},
  researchr = {https://researchr.org/publication/ShriraLCA96},
  cites = {0},
  citedby = {0},
  pages = {128-139},
  booktitle = {POS},
}

@inproceedings{CastroL01,
  title = {Byzantine Fault Tolerance Can Be Fast},
  author = {Miguel Castro and Barbara Liskov},
  year = {2001},
  url = {http://computer.org/proceedings/dsn/1101/11010513abs.htm},
  researchr = {https://researchr.org/publication/CastroL01},
  cites = {0},
  citedby = {0},
  pages = {513-518},
  booktitle = {2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1101-5},
}

@article{Liskov88,
  title = {Distributed Programming in Argus},
  author = {Barbara Liskov},
  year = {1988},
  tags = {programming},
  researchr = {https://researchr.org/publication/Liskov88},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {31},
  number = {3},
  pages = {300-312},
}

@inproceedings{LiskovSW90,
  title = {Efficient At-Most-Once Messages Based on Synchronized Clocks},
  author = {Barbara Liskov and Liuba Shrira and John Wroclawski},
  year = {1990},
  doi = {10.1145/99508.99530},
  url = {http://doi.acm.org/10.1145/99508.99530},
  tags = {rule-based, synchronization},
  researchr = {https://researchr.org/publication/LiskovSW90},
  cites = {0},
  citedby = {0},
  pages = {41-49},
  booktitle = {SIGCOMM},
}

@inproceedings{MohL04,
  title = {TimeLine: A High Performance Archive for a Distributed Object Store},
  author = {Chuang-Hue Moh and Barbara Liskov},
  year = {2004},
  url = {http://www.usenix.org/events/nsdi04/tech/moh.html},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/MohL04},
  cites = {0},
  citedby = {0},
  pages = {351-364},
  booktitle = {1st Symposium on Networked Systems Design and Implementation (NSDI 2004), March 29-31, 2004, San Francisco, California, USA, Proceedings},
  publisher = {USENIX},
}

@article{MaheshwariL97:1,
  title = {Collecting Cyclic Distributed Garbage by Controlled Migration},
  author = {Umesh Maheshwari and Barbara Liskov},
  year = {1997},
  tags = {migration},
  researchr = {https://researchr.org/publication/MaheshwariL97%3A1},
  cites = {0},
  citedby = {0},
  journal = {Distributed Computing},
  volume = {10},
  number = {2},
  pages = {79-86},
}

@article{LiskovSW91,
  title = {Efficient At-Most-Once Messages Based on Synchronized Clocks},
  author = {Barbara Liskov and Liuba Shrira and John Wroclawski},
  year = {1991},
  doi = {10.1145/103720.103722},
  url = {http://doi.acm.org/10.1145/103720.103722},
  tags = {rule-based, synchronization},
  researchr = {https://researchr.org/publication/LiskovSW91},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Syst.},
  volume = {9},
  number = {2},
  pages = {125-142},
}

@article{HerlihyL82,
  title = {A Value Transmission Method for Abstract Data Types},
  author = {Maurice Herlihy and Barbara Liskov},
  year = {1982},
  doi = {10.1145/69622.357182},
  url = {http://doi.acm.org/10.1145/69622.357182},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/HerlihyL82},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {4},
  number = {4},
  pages = {527-551},
}

@inproceedings{MyersCCL07,
  title = {MapJAX: Data Structure Abstractions for Asynchronous Web Applications},
  author = {Daniel S. Myers and Jennifer N. Carlisle and James A. Cowling and Barbara Liskov},
  year = {2007},
  url = {http://www.usenix.org/events/usenix07/tech/myers.html},
  tags = {data-flow, web applications, abstraction},
  researchr = {https://researchr.org/publication/MyersCCL07},
  cites = {0},
  citedby = {0},
  pages = {101-114},
  booktitle = {Proceedings of the 2007 USENIX Annual Technical Conference, June 17-22, 2007, Santa Clara, CA, USA},
  publisher = {USENIX},
}

@article{LiskovS79,
  title = {Exception Handling in CLU},
  author = {Barbara Liskov and Alan Snyder},
  year = {1979},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/LiskovS79},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {5},
  number = {6},
  pages = {546-558},
}

@inproceedings{RodriguesL04,
  title = {Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory},
  author = {Rodrigo Rodrigues and Barbara Liskov},
  year = {2004},
  doi = {10.1145/1011767.1011847},
  url = {http://doi.acm.org/10.1145/1011767.1011847},
  researchr = {https://researchr.org/publication/RodriguesL04},
  cites = {0},
  citedby = {0},
  pages = {386},
  booktitle = {Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John s, Newfoundland, Canada, July 25-28, 2004},
  editor = {Soma Chaudhuri and Shay Kutten},
  publisher = {ACM},
  isbn = {1-58113-802-4},
}

@inproceedings{CastroALM97,
  title = {HAC: Hybrid Adaptive Caching for Distributed Storage Systems},
  author = {Miguel Castro and Atul Adya and Barbara Liskov and Andrew C. Myers},
  year = {1997},
  tags = {caching, C++},
  researchr = {https://researchr.org/publication/CastroALM97},
  cites = {0},
  citedby = {0},
  pages = {102-115},
  booktitle = {SOSP},
}

@inproceedings{LiskovJGS90,
  title = {A Highly Available Object Repository for Use in a Heterogeneous Distributed System},
  author = {Barbara Liskov and Paul Johnson and Robert Gruber and Liuba Shrira},
  year = {1990},
  researchr = {https://researchr.org/publication/LiskovJGS90},
  cites = {0},
  citedby = {0},
  pages = {255-266},
  booktitle = {Implementing Persistent Object Bases, Principles and Practice, Proceedings of the Fourth International Workshop on Persistent Objects, 23-27 September 1990, Martha s Vineyard, MA, USA},
  editor = {Alan Dearle and Gail M. Shaw and Stanley B. Zdonik},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-168-6},
}

@article{LiskovZ75,
  title = {Specification Techniques for Data Abstractions},
  author = {Barbara Liskov and Stephen N. Zilles},
  year = {1975},
  tags = {data-flow, abstraction},
  researchr = {https://researchr.org/publication/LiskovZ75},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {1},
  number = {1},
  pages = {7-19},
}

@inproceedings{LiskovW95,
  title = {Specifications and Their Use in Defining Subtypes},
  author = {Barbara Liskov and Jeannette M. Wing},
  year = {1995},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/LiskovW95},
  cites = {0},
  citedby = {0},
  pages = {245-263},
  booktitle = {ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings},
  editor = {Jonathan P. Bowen and Michael G. Hinchey},
  volume = {967},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60271-2},
}

@inproceedings{Liskov75,
  title = {Data types and program correctness},
  author = {Barbara Liskov},
  year = {1975},
  doi = {10.1145/1499949.1500002},
  url = {http://doi.acm.org/10.1145/1499949.1500002},
  tags = {data-flow programming, data-flow},
  researchr = {https://researchr.org/publication/Liskov75},
  cites = {0},
  citedby = {0},
  pages = {285-286},
  booktitle = {American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA},
  volume = {44},
  series = {AFIPS Conference Proceedings},
  publisher = {AFIPS Press},
}

@book{Liskov81:0,
  title = {CLU Reference Manual},
  author = {Barbara Liskov and Russell R. Atkinson and Toby Bloom and J. Eliot B. Moss and Craig Schaffert and Robert Scheifler and Alan Snyder},
  year = {1981},
  researchr = {https://researchr.org/publication/Liskov81%3A0},
  cites = {0},
  citedby = {0},
  volume = {114},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10836-X},
}

@inproceedings{Liskov79:0,
  title = {Primitives for Distributed Computing},
  author = {Barbara Liskov},
  year = {1979},
  researchr = {https://researchr.org/publication/Liskov79%3A0},
  cites = {0},
  citedby = {0},
  pages = {33-42},
  booktitle = {SOSP},
}

@inproceedings{MyersL97,
  title = {A Decentralized Model for Information Flow Control},
  author = {Andrew C. Myers and Barbara Liskov},
  year = {1997},
  tags = {data-flow, C++, information models},
  researchr = {https://researchr.org/publication/MyersL97},
  cites = {0},
  citedby = {0},
  pages = {129-142},
  booktitle = {SOSP},
}

@inproceedings{GuptaLR04,
  title = {Efficient Routing for Peer-to-Peer Overlays},
  author = {Anjali Gupta and Barbara Liskov and Rodrigo Rodrigues},
  year = {2004},
  url = {http://www.usenix.org/events/nsdi04/tech/gupta.html},
  tags = {source-to-source, peer-to-peer, routing, open-source},
  researchr = {https://researchr.org/publication/GuptaLR04},
  cites = {0},
  citedby = {0},
  pages = {113-126},
  booktitle = {1st Symposium on Networked Systems Design and Implementation (NSDI 2004), March 29-31, 2004, San Francisco, California, USA, Proceedings},
  publisher = {USENIX},
}

@inproceedings{AjmaniLS03,
  title = {Scheduling and Simulation: How to Upgrade Distributed Systems},
  author = {Sameer Ajmani and Barbara Liskov and Liuba Shrira},
  year = {2003},
  researchr = {https://researchr.org/publication/AjmaniLS03},
  cites = {0},
  citedby = {0},
  pages = {43-48},
  booktitle = {Proceedings of HotOS 03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA},
  editor = {Michael B. Jones},
  publisher = {USENIX},
  isbn = {1-931971-17-X},
}

@article{JonesL76:1,
  title = {A Language Extension for Controlling Access to Shared Data},
  author = {Anita K. Jones and Barbara Liskov},
  year = {1976},
  tags = {data-flow language, data-flow, access control},
  researchr = {https://researchr.org/publication/JonesL76%3A1},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {2},
  number = {4},
  pages = {277-285},
}

@inproceedings{LiskovCJS87,
  title = {Implementation of Argus},
  author = {Barbara Liskov and Dorothy Curtis and Paul Johnson and Robert Scheifler},
  year = {1987},
  researchr = {https://researchr.org/publication/LiskovCJS87},
  cites = {0},
  citedby = {0},
  pages = {111-122},
  booktitle = {SOSP},
}

@inproceedings{RodriguesCL01,
  title = {BASE: Using Abstraction to Improve Fault Tolerance},
  author = {Rodrigo Rodrigues and Miguel Castro and Barbara Liskov},
  year = {2001},
  doi = {10.1145/502034.502037},
  url = {http://doi.acm.org/10.1145/502034.502037},
  tags = {rule-based, abstraction},
  researchr = {https://researchr.org/publication/RodriguesCL01},
  cites = {0},
  citedby = {0},
  pages = {15-28},
  booktitle = {SOSP},
}

@inproceedings{CastroL99,
  title = {Practical Byzantine Fault Tolerance},
  author = {Miguel Castro and Barbara Liskov},
  year = {1999},
  doi = {10.1145/296806.296824},
  url = {http://doi.acm.org/10.1145/296806.296824},
  researchr = {https://researchr.org/publication/CastroL99},
  cites = {0},
  citedby = {0},
  pages = {173-186},
  booktitle = {OSDI},
}

@inproceedings{GhemawatKL95,
  title = {Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database},
  author = {Sanjay Ghemawat and M. Frans Kaashoek and Barbara Liskov},
  year = {1995},
  tags = {meta-model, database, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/GhemawatKL95},
  cites = {0},
  citedby = {0},
  pages = {235},
  booktitle = {SOSP},
}

@inproceedings{Liskov79,
  title = {Modular Program Construction Using Abstractions},
  author = {Barbara Liskov},
  year = {1979},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/Liskov79},
  cites = {0},
  citedby = {0},
  pages = {354-389},
  booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings},
  editor = {Dines Bjørner},
  volume = {86},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10007-5},
}

@inproceedings{LiskovR06,
  title = {Tolerating Byzantine Faulty Clients in a Quorum System},
  author = {Barbara Liskov and Rodrigo Rodrigues},
  year = {2006},
  doi = {10.1109/ICDCS.2006.83},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2006.83},
  researchr = {https://researchr.org/publication/LiskovR06},
  cites = {0},
  citedby = {0},
  pages = {34},
  booktitle = {26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2540-7},
}

@inproceedings{Liskov93,
  title = {A History of CLU},
  author = {Barbara Liskov},
  year = {1993},
  tags = {history},
  researchr = {https://researchr.org/publication/Liskov93},
  cites = {0},
  citedby = {0},
  pages = {133-147},
  booktitle = {HOPL Preprints},
}

@inproceedings{ShriraLCA96:0,
  title = {How to scale transactional storage systems},
  author = {Liuba Shrira and Barbara Liskov and Miguel Castro and Atul Adya},
  year = {1996},
  doi = {10.1145/504450.504474},
  url = {http://doi.acm.org/10.1145/504450.504474},
  researchr = {https://researchr.org/publication/ShriraLCA96%3A0},
  cites = {0},
  citedby = {0},
  pages = {121-127},
  booktitle = {Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996, Connemara, Ireland, September 9-11, 1996},
  editor = {Andrew Herbert and Andrew S. Tanenbaum},
  publisher = {ACM},
}

@article{Liskov81,
  title = {Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980},
  author = {Barbara Liskov},
  year = {1981},
  researchr = {https://researchr.org/publication/Liskov81},
  cites = {0},
  citedby = {0},
  journal = {Operating Systems Review},
  volume = {15},
  number = {3},
  pages = {9-38},
}

@inproceedings{AjmaniLS06,
  title = {Modular Software Upgrades for Distributed Systems},
  author = {Sameer Ajmani and Barbara Liskov and Liuba Shrira},
  year = {2006},
  doi = {10.1007/11785477_26},
  url = {http://dx.doi.org/10.1007/11785477_26},
  researchr = {https://researchr.org/publication/AjmaniLS06},
  cites = {0},
  citedby = {0},
  pages = {452-476},
  booktitle = {ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings},
  editor = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@article{WeihlL85,
  title = {Implementation of Resilient, Atomic Data Types},
  author = {William E. Weihl and Barbara Liskov},
  year = {1985},
  doi = {10.1145/3318.3319},
  url = {http://doi.acm.org/10.1145/3318.3319},
  tags = {data-flow, e-science},
  researchr = {https://researchr.org/publication/WeihlL85},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {7},
  number = {2},
  pages = {244-269},
}

@inproceedings{CowlingMLRS06,
  title = {HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance},
  author = {James A. Cowling and Daniel S. Myers and Barbara Liskov and Rodrigo Rodrigues and Liuba Shrira},
  year = {2006},
  url = {http://www.usenix.org/events/osdi06/tech/cowling.html},
  tags = {protocol},
  researchr = {https://researchr.org/publication/CowlingMLRS06},
  cites = {0},
  citedby = {0},
  pages = {177-190},
  booktitle = {7th Symposium on Operating Systems Design and Implementation (OSDI  06), November 6-8, Seattle, WA, USA},
  publisher = {USENIX Association},
}

@inproceedings{LiskovW93:0,
  title = {Specifications and Their Use in Defining Subtypes},
  author = {Barbara Liskov and Jeannette M. Wing},
  year = {1993},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/LiskovW93%3A0},
  cites = {0},
  citedby = {0},
  pages = {16-28},
  booktitle = {OOPSLA},
}

@inproceedings{BankLM97,
  title = {Parameterized Types for Java},
  author = {Andrew C. Myers and Joseph A. Bank and Barbara Liskov},
  year = {1997},
  doi = {10.1145/263699.263714},
  url = {http://doi.acm.org/10.1145/263699.263714},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/BankLM97},
  cites = {0},
  citedby = {0},
  pages = {132-145},
  booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@inproceedings{Liskov71,
  title = {The Design of the Venus Operating System},
  author = {Barbara Liskov},
  year = {1971},
  tags = {operating system, design},
  researchr = {https://researchr.org/publication/Liskov71},
  cites = {0},
  citedby = {0},
  pages = {11-16},
  booktitle = {SOSP},
}

@inproceedings{RodriguesL05:0,
  title = {High Availability in DHTs: Erasure Coding vs. Replication},
  author = {Rodrigo Rodrigues and Barbara Liskov},
  year = {2005},
  doi = {10.1007/11558989_21},
  url = {http://dx.doi.org/10.1007/11558989_21},
  researchr = {https://researchr.org/publication/RodriguesL05%3A0},
  cites = {0},
  citedby = {0},
  pages = {226-239},
  booktitle = {Peer-to-Peer Systems IV, 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers},
  editor = {Miguel Castro and Robbert van Renesse},
  volume = {3640},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29068-0},
}

@inproceedings{BogleL94,
  title = {Reducing Cross Domain Call Overhead using Batched Futures},
  author = {Phillip Bogle and Barbara Liskov},
  year = {1994},
  researchr = {https://researchr.org/publication/BogleL94},
  cites = {0},
  citedby = {0},
  pages = {341-354},
  booktitle = {OOPSLA},
}

@inproceedings{AtkinsonLS78,
  title = {Aspects Of Implementing CLU},
  author = {Russell R. Atkinson and Barbara Liskov and Robert Scheifler},
  year = {1978},
  doi = {10.1145/800127.804079},
  url = {http://doi.acm.org/10.1145/800127.804079},
  researchr = {https://researchr.org/publication/AtkinsonLS78},
  cites = {0},
  citedby = {0},
  pages = {123-129},
  booktitle = {Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I},
  editor = {Richard H. Austing and Dennis M. Conti and Gerald L. Engel},
  publisher = {ACM},
}

@inproceedings{BoyapatiLSMR03,
  title = {Lazy modular upgrades in persistent object stores},
  author = {Chandrasekhar Boyapati and Barbara Liskov and Liuba Shrira and Chuang-Hue Moh and Steven Richman},
  year = {2003},
  doi = {10.1145/949305.949341},
  url = {http://doi.acm.org/10.1145/949305.949341},
  tags = {laziness, persistent, persistent object, Meta-Environment, systematic-approach, meta-objects},
  researchr = {https://researchr.org/publication/BoyapatiLSMR03},
  cites = {0},
  citedby = {0},
  pages = {403-417},
  booktitle = {Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA},
  editor = {Ron Crocker and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {1-58113-712-5},
}

@inproceedings{LiskovS88,
  title = {Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems},
  author = {Barbara Liskov and Liuba Shrira},
  year = {1988},
  researchr = {https://researchr.org/publication/LiskovS88},
  cites = {0},
  citedby = {0},
  pages = {260-267},
  booktitle = {PLDI},
}

@inproceedings{LiskovHG86,
  title = {Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing},
  author = {Barbara Liskov and Maurice Herlihy and Lucy Gilbert},
  year = {1986},
  researchr = {https://researchr.org/publication/LiskovHG86},
  cites = {0},
  citedby = {0},
  pages = {150-159},
  booktitle = {POPL},
}

@inproceedings{LeongML05,
  title = {Path Vector Face Routing: Geographic Routing with Local Face Information},
  author = {Ben Leong and Sayan Mitra and Barbara Liskov},
  year = {2005},
  doi = {10.1109/ICNP.2005.32},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICNP.2005.32},
  tags = {routing},
  researchr = {https://researchr.org/publication/LeongML05},
  cites = {0},
  citedby = {0},
  pages = {147-158},
  booktitle = {13th IEEE International Conference on Network Protocols (ICNP 2005), 6-9 November 2005, Boston, MA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2437-0},
}

@article{DayLMM93,
  title = {References to Remote Mobile Objects in Thor},
  author = {Mark Day and Barbara Liskov and Umesh Maheshwari and Andrew C. Myers},
  year = {1993},
  doi = {10.1145/176454.176500},
  url = {http://doi.acm.org/10.1145/176454.176500},
  tags = {meta-model, C++, Meta-Environment, mobile, meta-objects},
  researchr = {https://researchr.org/publication/DayLMM93},
  cites = {0},
  citedby = {0},
  journal = {LOPLAS},
  volume = {2},
  number = {1-4},
  pages = {115-126},
}

@inproceedings{LiskovGJS90:0,
  title = {A Replicated Unix File System},
  author = {Barbara Liskov and Robert Gruber and Paul Johnson and Liuba Shrira},
  year = {1990},
  researchr = {https://researchr.org/publication/LiskovGJS90%3A0},
  cites = {0},
  citedby = {0},
  pages = {11-14},
  booktitle = {Workshop on the Management of Replicated Data},
}

@inproceedings{Liskov84,
  title = {The Argus Language and System},
  author = {Barbara Liskov},
  year = {1984},
  researchr = {https://researchr.org/publication/Liskov84},
  cites = {0},
  citedby = {0},
  pages = {343-430},
  booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich},
  volume = {190},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-15216-4},
}

@article{LiskovS83,
  title = {Guardians and Actions: Linguistic Support for Robust, Distributed Programs},
  author = {Barbara Liskov and Robert Scheifler},
  year = {1983},
  doi = {10.1145/2166.357215},
  url = {http://doi.acm.org/10.1145/2166.357215},
  researchr = {https://researchr.org/publication/LiskovS83},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {5},
  number = {3},
  pages = {381-404},
}

@inproceedings{AdyaCLMS97,
  title = {Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System},
  author = {Atul Adya and Miguel Castro and Barbara Liskov and Umesh Maheshwari and Liuba Shrira},
  year = {1997},
  tags = {caching},
  researchr = {https://researchr.org/publication/AdyaCLMS97},
  cites = {0},
  citedby = {0},
  pages = {2-11},
  booktitle = {ICDCS},
}

@inproceedings{LeongLM06,
  title = {Geographic Routing Without Planarization},
  author = {Ben Leong and Barbara Liskov and Robert Morris},
  year = {2006},
  url = {http://www.usenix.org/events/nsdi06/tech/leong.html},
  tags = {routing},
  researchr = {https://researchr.org/publication/LeongLM06},
  cites = {0},
  citedby = {0},
  booktitle = {3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), May 8-10, 2007, San Jose, California, USA, Proceedings},
  publisher = {USENIX},
}

@inproceedings{MaheshwariL94,
  title = {Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database},
  author = {Umesh Maheshwari and Barbara Liskov},
  year = {1994},
  tags = {database},
  researchr = {https://researchr.org/publication/MaheshwariL94},
  cites = {0},
  citedby = {0},
  pages = {239-248},
  booktitle = {Proceedings of the Third International Conference on Parallel and Distributed Information Systems (PDIS 94), Austin, Texas, September 28-30, 1994},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-6400-2},
}

@inproceedings{CastroL00,
  title = {Proactive Recovery in a Byzantine-Fault-Tolerant System},
  author = {Miguel Castro and Barbara Liskov},
  year = {2000},
  researchr = {https://researchr.org/publication/CastroL00},
  cites = {0},
  citedby = {0},
  pages = {273-288},
  booktitle = {OSDI},
}

@inproceedings{Liskov90,
  title = {System Implementation I - Introduction},
  author = {Barbara Liskov},
  year = {1990},
  researchr = {https://researchr.org/publication/Liskov90},
  cites = {0},
  citedby = {0},
  pages = {87-88},
  booktitle = {Implementing Persistent Object Bases, Principles and Practice, Proceedings of the Fourth International Workshop on Persistent Objects, 23-27 September 1990, Martha s Vineyard, MA, USA},
  editor = {Alan Dearle and Gail M. Shaw and Stanley B. Zdonik},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-168-6},
}

@article{LadinLS88,
  title = {A Technique for Constructing Highly Available Services},
  author = {Rivka Ladin and Barbara Liskov and Liuba Shrira},
  year = {1988},
  researchr = {https://researchr.org/publication/LadinLS88},
  cites = {0},
  citedby = {0},
  journal = {Algorithmica},
  volume = {3},
  pages = {393-420},
}

@inproceedings{MyersL98,
  title = {Complete, Safe Information Flow with Decentralized Labels},
  author = {Andrew C. Myers and Barbara Liskov},
  year = {1998},
  doi = {10.1109/SECPRI.1998.674834},
  url = {http://dx.doi.org/10.1109/SECPRI.1998.674834},
  tags = {completeness, data-flow, C++},
  researchr = {https://researchr.org/publication/MyersL98},
  cites = {0},
  citedby = {0},
  pages = {186-197},
  booktitle = {Security and Privacy - 1998 IEEE Symposium on Security and Privacy, Oakland, CA, USA, May 3-6, 1998, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8386-4},
}

@inproceedings{LiskovW93,
  title = {A New Definition of the Subtype Relation},
  author = {Barbara Liskov and Jeannette M. Wing},
  year = {1993},
  url = {http://link.springer.de/link/service/series/0558/bibs/0707/07070118.htm},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/LiskovW93},
  cites = {0},
  citedby = {0},
  pages = {118-141},
  booktitle = {ECOOP 93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings},
  editor = {Oscar Nierstrasz},
  volume = {707},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57120-5},
}

@inproceedings{LiskovDS92,
  title = {Distributed Object Management in Thor},
  author = {Barbara Liskov and Mark Day and Liuba Shrira},
  year = {1992},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/LiskovDS92},
  cites = {0},
  citedby = {0},
  pages = {79-91},
  booktitle = {IWDOM},
}

@inproceedings{MaheshwariL97,
  title = {Collecting Distributed Garbage Cycles by Back Tracing},
  author = {Umesh Maheshwari and Barbara Liskov},
  year = {1997},
  researchr = {https://researchr.org/publication/MaheshwariL97},
  cites = {0},
  citedby = {0},
  pages = {239-248},
  booktitle = {PODC},
}

@article{JonesL78,
  title = {A Language Extension for Expressing Constraints on Data Access},
  author = {Anita K. Jones and Barbara Liskov},
  year = {1978},
  tags = {data-flow language, constraints, data-flow},
  researchr = {https://researchr.org/publication/JonesL78},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {21},
  number = {5},
  pages = {358-367},
}

@inproceedings{LiskovR05,
  title = {Byzantine Clients Rendered Harmless},
  author = {Barbara Liskov and Rodrigo Rodrigues},
  year = {2005},
  doi = {10.1007/11561927_35},
  url = {http://dx.doi.org/10.1007/11561927_35},
  researchr = {https://researchr.org/publication/LiskovR05},
  cites = {0},
  citedby = {0},
  pages = {487-489},
  booktitle = {Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings},
  editor = {Pierre Fraigniaud},
  volume = {3724},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29163-6},
}

@inproceedings{LiskovACZ96,
  title = {Type-Safe Heterogeneous Sharing can be Fast},
  author = {Barbara Liskov and Atul Adya and Miguel Castro and Quinton Zondervan},
  year = {1996},
  researchr = {https://researchr.org/publication/LiskovACZ96},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {POS},
}

@article{LadinLS91,
  title = {Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract)},
  author = {Rivka Ladin and Barbara Liskov and Liuba Shrira},
  year = {1991},
  tags = {laziness, semantics},
  researchr = {https://researchr.org/publication/LadinLS91},
  cites = {0},
  citedby = {0},
  journal = {Operating Systems Review},
  volume = {25},
  number = {1},
  pages = {49-55},
}

@inproceedings{RodriguesLS02,
  title = {The design of a robust peer-to-peer system},
  author = {Rodrigo Rodrigues and Barbara Liskov and Liuba Shrira},
  year = {2002},
  doi = {10.1145/1133373.1133396},
  url = {http://doi.acm.org/10.1145/1133373.1133396},
  tags = {source-to-source, peer-to-peer, design, open-source},
  researchr = {https://researchr.org/publication/RodriguesLS02},
  cites = {0},
  citedby = {0},
  pages = {117-124},
  booktitle = {Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002},
  editor = {Gilles Muller and Eric Jul},
  publisher = {ACM},
}

@inproceedings{LadinLS90:1,
  title = {Lazy Replication: Exploiting the Semantics of Distributed Services},
  author = {Rivka Ladin and Barbara Liskov and Liuba Shrira},
  year = {1990},
  doi = {10.1145/93385.93399},
  url = {http://doi.acm.org/10.1145/93385.93399},
  tags = {laziness, semantics},
  researchr = {https://researchr.org/publication/LadinLS90%3A1},
  cites = {0},
  citedby = {0},
  pages = {43-57},
  booktitle = {PODC},
}

@inproceedings{LiskovGJS90,
  title = {A replicated Unix file system},
  author = {Barbara Liskov and Robert Gruber and Paul Johnson and Liuba Shrira},
  year = {1990},
  doi = {10.1145/504136.504140},
  url = {http://doi.acm.org/10.1145/504136.504140},
  researchr = {https://researchr.org/publication/LiskovGJS90},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990},
  publisher = {ACM},
}

@article{LiskovSAS77,
  title = {Abstraction Mechanisms in CLU},
  author = {Barbara Liskov and Alan Snyder and Russell R. Atkinson and Craig Schaffert},
  year = {1977},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/LiskovSAS77},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {20},
  number = {8},
  pages = {564-576},
}

@inproceedings{LiskovL86,
  title = {Highly-Available Distributed Service and Fault-Tolerant Distributed Garbage Collection},
  author = {Barbara Liskov and Rivka Ladin},
  year = {1986},
  researchr = {https://researchr.org/publication/LiskovL86},
  cites = {0},
  citedby = {0},
  pages = {29-39},
  booktitle = {PODC},
}

@inproceedings{JonesL76:0,
  title = {A Language Extension for Controlling Access to Shared Data (Abstract)},
  author = {Anita K. Jones and Barbara Liskov},
  year = {1976},
  tags = {data-flow language, data-flow, access control},
  researchr = {https://researchr.org/publication/JonesL76%3A0},
  cites = {0},
  citedby = {0},
  pages = {235},
  booktitle = {ICSE},
}

@inproceedings{LiskovH83,
  title = {Issues Process and Communication Structure for Distributed Programs},
  author = {Barbara Liskov and Maurice Herlihy},
  year = {1983},
  researchr = {https://researchr.org/publication/LiskovH83},
  cites = {0},
  citedby = {0},
  pages = {123-132},
  booktitle = {Symposium on Reliability in Distributed Software and Database Systems},
}

@inproceedings{LadinLS90:0,
  title = {Lazy Replication: Exploiting the Semantics of Distributed Services},
  author = {Rivka Ladin and Barbara Liskov and Liuba Shrira},
  year = {1990},
  tags = {laziness, semantics},
  researchr = {https://researchr.org/publication/LadinLS90%3A0},
  cites = {0},
  citedby = {0},
  pages = {31-34},
  booktitle = {Workshop on the Management of Replicated Data},
}

@inproceedings{Liskov86,
  title = {Argus},
  author = {Barbara Liskov},
  year = {1986},
  researchr = {https://researchr.org/publication/Liskov86},
  cites = {0},
  citedby = {0},
  pages = {108-114},
  booktitle = {Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]},
  editor = {Barbara B. Simons and Alfred Z. Spector},
  volume = {448},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-97385-0},
}

@inproceedings{OkiLS85,
  title = {Reliable Object Storage to Support Atomic Actions},
  author = {Brian M. Oki and Barbara Liskov and Robert Scheifler},
  year = {1985},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/OkiLS85},
  cites = {0},
  citedby = {0},
  pages = {147-159},
  booktitle = {SOSP},
}

@inproceedings{SchultzLL08,
  title = {Mobile proactive secret sharing},
  author = {David A. Schultz and Barbara Liskov and Moses Liskov},
  year = {2008},
  doi = {10.1145/1400751.1400856},
  url = {http://doi.acm.org/10.1145/1400751.1400856},
  tags = {mobile},
  researchr = {https://researchr.org/publication/SchultzLL08},
  cites = {0},
  citedby = {0},
  pages = {458},
  booktitle = {Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008},
  editor = {Rida A. Bazzi and Boaz Patt-Shamir},
  publisher = {ACM},
  isbn = {978-1-59593-989-0},
}

@inproceedings{LiskovS82,
  title = {Guardians and Actions: Linguistic Support for Robust, Distributed Programs},
  author = {Barbara Liskov and Robert Scheifler},
  year = {1982},
  researchr = {https://researchr.org/publication/LiskovS82},
  cites = {0},
  citedby = {0},
  pages = {7-19},
  booktitle = {POPL},
}

@inproceedings{LiskovR04,
  title = {Transactional file systems can be fast},
  author = {Barbara Liskov and Rodrigo Rodrigues},
  year = {2004},
  doi = {10.1145/1133572.1133592},
  url = {http://doi.acm.org/10.1145/1133572.1133592},
  researchr = {https://researchr.org/publication/LiskovR04},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004},
  editor = {Yolande Berbers and Miguel Castro},
  publisher = {ACM},
}

@article{LiskovW94,
  title = {A Behavioral Notion of Subtyping},
  author = {Barbara Liskov and Jeannette M. Wing},
  year = {1994},
  doi = {10.1145/197320.197383},
  url = {http://doi.acm.org/10.1145/197320.197383},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/LiskovW94},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {16},
  number = {6},
  pages = {1811-1841},
}

@inproceedings{VandiverBLM07,
  title = {Tolerating byzantine faults in transaction processing systems using commit barrier scheduling},
  author = {Ben Vandiver and Hari Balakrishnan and Barbara Liskov and Samuel Madden},
  year = {2007},
  doi = {10.1145/1294261.1294268},
  url = {http://doi.acm.org/10.1145/1294261.1294268},
  researchr = {https://researchr.org/publication/VandiverBLM07},
  cites = {0},
  citedby = {0},
  pages = {59-72},
  booktitle = {Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007},
  editor = {Thomas C. Bressoud and M. Frans Kaashoek},
  publisher = {ACM},
  isbn = {978-1-59593-591-5},
}

@proceedings{ac:1984ds,
  title = {Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich},
  author = {Mack W. Alford and Jean-Pierre Ansart and Günter Hommel and Leslie Lamport and Barbara Liskov and Geoff P. Mullery and Fred B. Schneider},
  year = {1985},
  researchr = {https://researchr.org/publication/ac%3A1984ds},
  cites = {0},
  citedby = {0},
  booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich},
  volume = {190},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-15216-4},
}

@article{MyersL00,
  title = {Protecting privacy using the decentralized label model},
  author = {Andrew C. Myers and Barbara Liskov},
  year = {2000},
  doi = {10.1145/363516.363526},
  url = {http://doi.acm.org/10.1145/363516.363526},
  tags = {C++},
  researchr = {https://researchr.org/publication/MyersL00},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {9},
  number = {4},
  pages = {410-442},
}

@inproceedings{BhargavaKLMU78,
  title = {Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion)},
  author = {Bharat K. Bhargava and Stephen R. Kimbleton and Barbara Liskov and Jack Minker and Jeffrey D. Ullman},
  year = {1978},
  doi = {10.1145/800127.804121},
  url = {http://doi.acm.org/10.1145/800127.804121},
  tags = {e-science},
  researchr = {https://researchr.org/publication/BhargavaKLMU78},
  cites = {0},
  citedby = {0},
  pages = {325},
  booktitle = {Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I},
  editor = {Richard H. Austing and Dennis M. Conti and Gerald L. Engel},
  publisher = {ACM},
}

@inproceedings{LiskovACDGGMMS96,
  title = {Safe and Efficient Sharing of Persistent Objects in Thor},
  author = {Barbara Liskov and Atul Adya and Miguel Castro and Mark Day and Sanjay Ghemawat and Robert Gruber and Umesh Maheshwari and Andrew C. Myers and Liuba Shrira},
  year = {1996},
  doi = {10.1145/233269.233346},
  url = {http://doi.acm.org/10.1145/233269.233346},
  tags = {persistent, persistent object, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/LiskovACDGGMMS96},
  cites = {0},
  citedby = {0},
  pages = {318-329},
  booktitle = {Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, Montreal, Quebec, Canada, June 4-6, 1996},
  editor = {H. V. Jagadish and Inderpal Singh Mumick},
  publisher = {ACM Press},
}

@inproceedings{LiskovGGJSW91,
  title = {Replication in the Harp File System},
  author = {Barbara Liskov and Sanjay Ghemawat and Robert Gruber and Paul Johnson and Liuba Shrira and Michael Williams},
  year = {1991},
  researchr = {https://researchr.org/publication/LiskovGGJSW91},
  cites = {0},
  citedby = {0},
  pages = {226-238},
  booktitle = {SOSP},
}

@inproceedings{LadinL92,
  title = {Garbage Collection of a Distributed Heap},
  author = {Rivka Ladin and Barbara Liskov},
  year = {1992},
  researchr = {https://researchr.org/publication/LadinL92},
  cites = {0},
  citedby = {0},
  pages = {708-715},
  booktitle = {ICDCS},
}

@inproceedings{LiskovCSA99,
  title = {Providing Persistent Objects in Distributed Systems},
  author = {Barbara Liskov and Miguel Castro and Liuba Shrira and Atul Adya},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1628/16280230.htm},
  tags = {persistent, meta-model, persistent object, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/LiskovCSA99},
  cites = {0},
  citedby = {0},
  pages = {230-257},
  booktitle = {ECOOP 99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  editor = {Rachid Guerraoui},
  volume = {1628},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66156-5},
}

@article{CastroRL03,
  title = {BASE: Using abstraction to improve fault tolerance},
  author = {Miguel Castro and Rodrigo Rodrigues and Barbara Liskov},
  year = {2003},
  doi = {10.1145/859716.859718},
  url = {http://doi.acm.org/10.1145/859716.859718},
  tags = {rule-based, abstraction},
  researchr = {https://researchr.org/publication/CastroRL03},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Syst.},
  volume = {21},
  number = {3},
  pages = {236-269},
}

@article{CastroL02,
  title = {Practical byzantine fault tolerance and proactive recovery},
  author = {Miguel Castro and Barbara Liskov},
  year = {2002},
  doi = {10.1145/571637.571640},
  url = {http://doi.acm.org/10.1145/571637.571640},
  researchr = {https://researchr.org/publication/CastroL02},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Syst.},
  volume = {20},
  number = {4},
  pages = {398-461},
}

@inproceedings{AdyaGLM95,
  title = {Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks},
  author = {Atul Adya and Robert Gruber and Barbara Liskov and Umesh Maheshwari},
  year = {1995},
  doi = {10.1145/223784.223787},
  url = {http://doi.acm.org/10.1145/223784.223787},
  tags = {synchronization},
  researchr = {https://researchr.org/publication/AdyaGLM95},
  cites = {0},
  citedby = {0},
  pages = {23-34},
  booktitle = {Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 22-25, 1995},
  editor = {Michael J. Carey and Donovan A. Schneider},
  publisher = {ACM Press},
}

@inproceedings{Liskov91,
  title = {Practical Uses of Synchronized Clocks in Distributed Systems},
  author = {Barbara Liskov},
  year = {1991},
  tags = {synchronization},
  researchr = {https://researchr.org/publication/Liskov91},
  cites = {0},
  citedby = {0},
  pages = {1-9},
  booktitle = {PODC},
}

@inproceedings{OkiL88,
  title = {Viewstamped Replication: A General Primary Copy},
  author = {Brian M. Oki and Barbara Liskov},
  year = {1988},
  doi = {10.1145/62546.62549},
  url = {http://doi.acm.org/10.1145/62546.62549},
  researchr = {https://researchr.org/publication/OkiL88},
  cites = {0},
  citedby = {0},
  pages = {8-17},
  booktitle = {PODC},
}

@article{Liskov72,
  title = {The Design of the Venus Operating System},
  author = {Barbara Liskov},
  year = {1972},
  tags = {operating system, design},
  researchr = {https://researchr.org/publication/Liskov72},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {15},
  number = {3},
  pages = {144-149},
}

@inproceedings{LeongLM07,
  title = {Greedy Virtual Coordinates for Geographic Routing},
  author = {Ben Leong and Barbara Liskov and Robert Morris},
  year = {2007},
  doi = {10.1109/ICNP.2007.4375838},
  url = {http://dx.doi.org/10.1109/ICNP.2007.4375838},
  tags = {routing},
  researchr = {https://researchr.org/publication/LeongLM07},
  cites = {0},
  citedby = {0},
  pages = {71-80},
  booktitle = {Proceedings of the IEEE International Conference on Network Protocols, ICNP 2007, October 16-19, 2007, Beijing, China},
  publisher = {IEEE},
  isbn = {1-4244-1588-8},
}

@inproceedings{MaheshwariL97:0,
  title = {Partitioned Garbage Collection of Large Object Store},
  author = {Umesh Maheshwari and Barbara Liskov},
  year = {1997},
  doi = {10.1145/253260.253338},
  url = {http://doi.acm.org/10.1145/253260.253338},
  tags = {meta-model, Meta-Environment, partitioning, meta-objects},
  researchr = {https://researchr.org/publication/MaheshwariL97%3A0},
  cites = {0},
  citedby = {0},
  pages = {313-323},
  booktitle = {SIGMOD 1997, Proceedings ACM SIGMOD International Conference on Management of Data, May 13-15, 1997, Tucson, Arizona, USA},
  editor = {Joan Peckham},
  publisher = {ACM Press},
}

@article{LiskovGJS91,
  title = {A Replicated Unic File System},
  author = {Barbara Liskov and Robert Gruber and Paul Johnson and Liuba Shrira},
  year = {1991},
  researchr = {https://researchr.org/publication/LiskovGJS91},
  cites = {0},
  citedby = {0},
  journal = {Operating Systems Review},
  volume = {25},
  number = {1},
  pages = {60-64},
}

@article{Liskov82,
  title = {On Linguistic Support for Distributed Programs},
  author = {Barbara Liskov},
  year = {1982},
  researchr = {https://researchr.org/publication/Liskov82},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {8},
  number = {3},
  pages = {203-210},
}

@inproceedings{BoyapatiLS03,
  title = {Ownership types for object encapsulation},
  author = {Chandrasekhar Boyapati and Barbara Liskov and Liuba Shrira},
  year = {2003},
  doi = {10.1145/640128.604156},
  url = {http://doi.acm.org/10.1145/640128.604156},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BoyapatiLS03},
  cites = {0},
  citedby = {0},
  pages = {213-223},
  booktitle = {POPL},
}

@inproceedings{LadinLS90,
  title = {Lazy replication: exploiting the semantics of distributed services},
  author = {Rivka Ladin and Barbara Liskov and Liuba Shrira},
  year = {1990},
  doi = {10.1145/504136.504138},
  url = {http://doi.acm.org/10.1145/504136.504138},
  tags = {laziness, semantics},
  researchr = {https://researchr.org/publication/LadinLS90},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990},
  publisher = {ACM},
}

@inproceedings{KolodnerLW89,
  title = {Atomic Garbage Collection: Managing a Stable Heap},
  author = {Elliot K. Kolodner and Barbara Liskov and William E. Weihl},
  year = {1989},
  doi = {10.1145/67544.66928},
  url = {http://doi.acm.org/10.1145/67544.66928},
  tags = {e-science},
  researchr = {https://researchr.org/publication/KolodnerLW89},
  cites = {0},
  citedby = {0},
  pages = {15-25},
  booktitle = {Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31 - June 2, 1989},
  editor = {James Clifford and Bruce G. Lindsay and David  Maier},
  publisher = {ACM Press},
}

@article{Liskov93:0,
  title = {Practical Uses of Synchronized Clocks in Distributed Systems},
  author = {Barbara Liskov},
  year = {1993},
  tags = {synchronization},
  researchr = {https://researchr.org/publication/Liskov93%3A0},
  cites = {0},
  citedby = {0},
  journal = {Distributed Computing},
  volume = {6},
  number = {4},
  pages = {211-219},
}

@inproceedings{LiskovGGJS92,
  title = {Efficient Recovery in Harp},
  author = {Barbara Liskov and Sanjay Ghemawat and Robert Gruber and Paul Johnson and Liuba Shrira},
  year = {1992},
  researchr = {https://researchr.org/publication/LiskovGGJS92},
  cites = {0},
  citedby = {0},
  pages = {104-106},
  booktitle = {Workshop on the Management of Replicated Data},
}