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

The Design of the Venus Operating System. - Barbara H. Liskov (Commun. ACM, 1972)

Report of session on structured programming. - Robert A. Freiburghouse; Barbara Liskov (SIGPLAN-SIGOPS Interface Meeting, 1973)

SPIL: A language for construction of reliable system software. - Barbara H. Liskov; Leroy A. Smith (SIGPLAN-SIGOPS Interface Meeting, 1973)

Programming with Abstract Data Types. - Barbara H. Liskov; Stephen N. Zilles (SIGPLAN Symposium on Very High Level Languages, 1974)

Data types and program correctness. - Barbara H. Liskov (ACM SIGPLAN Notices, 1975)

Specification Techniques for Data Abstractions. - Barbara H. Liskov; Stephen N. Zilles (IEEE Trans. Software Eng., 1975)

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

A Language Extension for Controlling Access to Shared Data. - Anita K. Jones; Barbara H. Liskov (IEEE Trans. Software Eng., 1976)

Abstraction Mechanisms in CLU. - Barbara H. Liskov; Alan Snyder; Russell R. Atkinson; Craig Schaffert (Commun. ACM, 1977)

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

Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). - Bharat K. Bhargava; Stephen R. Kimbleton; Barbara H. Liskov; Jack Minker; Jeffrey D. Ullman (ACM Annual Conference (1), 1978)

Practical benefits of research in programming methodology (Abstract of presentation). - Barbara H. Liskov (AFIPS National Computer Conference, 1978)

Biography of John McCarthy. - Barbara Liskov (HOPL, 1978)

Full text of all questions submitted. - Barbara Liskov (HOPL, 1978)

Biography of Geoffrey Gordon. - Barbara Liskov (HOPL, 1978)

Transcript of question and answer session. - Barbara Liskov (HOPL, 1978)

Biography of Kristen Nygaard. - Barbara Liskov (HOPL, 1978)

Biography of Ole-Johan Dahl. - Barbara Liskov (HOPL, 1978)

A Language Extension for Expressing Constraints on Data Access. - Anita K. Jones; Barbara H. Liskov (Commun. ACM, 1978)

Modular Program Construction Using Abstractions. - Barbara H. Liskov (Abstract Software Specifications, 1979)

Primitives for Distributed Computing. - Barbara H. Liskov (SOSP, 1979)

Exception Handling in CLU. - Barbara H. Liskov; Alan Snyder (IEEE Trans. Software Eng., 1979)

CLU Reference Manual - Barbara Liskov; Russell R. Atkinson; Toby Bloom; J. Eliot B. Moss; Craig Schaffert; Robert Scheifler; Alan Snyder (Springer, 1981)

Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980. - Barbara Liskov (ACM SIGOPS Oper. Syst. Rev., 1981)

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

On Linguistic Support for Distributed Programs. - Barbara Liskov (IEEE Trans. Software Eng., 1982)

Issues Process and Communication Structure for Distributed Programs. - Barbara Liskov; Maurice Herlihy (Symposium on Reliability in Distributed Software and Database Systems, 1983)

Specification and implementation of resilient, atomic data types. - William E. Weihl; Barbara Liskov (SIGPLAN, 1983)

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

The Argus Language and System. - Barbara Liskov (Advanced Course: Distributed Systems, 1984)

Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systems. - Lawrence A. Rowe; L. Peter Deutsch; Stuart I. Feldman; Butler W. Lampson; Barbara Liskov; Terry Winograd (ACM SIGPLAN Notices, 1984)

Reliable Object Storage to Support Atomic Actions. - Brian M. Oki; Barbara Liskov; Robert Scheifler (SOSP, 1985)

Implementation of Resilient, Atomic Data Types. - William E. Weihl; Barbara Liskov (ACM Trans. Program. Lang. Syst., 1985)

Argus. - Barbara Liskov (Fault-Tolerant Distributed Computing, 1986)

Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection. - Barbara Liskov; Rivka Ladin (PODC, 1986)

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

Specifications of Distributed Programs. - Barbara Liskov; William E. Weihl (Distributed Comput., 1986)

Keynote address - data abstraction and hierarchy. - Barbara Liskov (OOPSLA Addendum, 1987)

Implementation of Argus. - Barbara Liskov; Dorothy Curtis; Paul Johnson 001; Robert Scheifler (SOSP, 1987)

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

Viewstamped Replication: A General Primary Copy. - Brian M. Oki; Barbara Liskov (PODC, 1988)

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

Distributed Programming in Argus. - Barbara Liskov (Commun. ACM, 1988)

A design for a fault-tolerant, distributed implementation of Linda. - Andrew Xu; Barbara Liskov (FTCS, 1989)

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

System Implementation I - Introduction. - Barbara Liskov (POS, 1990)

A Highly Available Object Repository for Use in a Heterogeneous Distributed System. - Barbara Liskov; Paul Johnson 001; Robert Gruber; Liuba Shrira (POS, 1990)

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

A Replicated Unix File System. - Barbara Liskov; Robert Gruber; Paul Johnson 001; Liuba Shrira (Workshop on the Management of Replicated Data, 1990)

Replication in the Harp File System. - Barbara Liskov; Sanjay Ghemawat; Robert Gruber; Paul Johnson 001; Liuba Shrira; Michael Williams (SOSP, 1991)

Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). - Rivka Ladin; Barbara Liskov; Liuba Shrira (ACM SIGOPS Oper. Syst. Rev., 1991)

A Replicated Unic File System. - Barbara Liskov; Robert Gruber; Paul Johnson 001; Liuba Shrira (ACM SIGOPS Oper. Syst. Rev., 1991)

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

Garbage Collection of a Distributed Heap. - Rivka Ladin; Barbara Liskov (ICDCS, 1992)

Distributed Object Management in Thor. - Barbara Liskov; Mark Day; Liuba Shrira (IWDOM, 1992)

Efficient Recovery in Harp. - Barbara Liskov; Sanjay Ghemawat; Robert Gruber; Paul Johnson 001; Liuba Shrira (Workshop on the Management of Replicated Data, 1992)

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

A New Definition of the Subtype Relation. - Barbara Liskov; Jeannette M. Wing (ECOOP, 1993)

A History of CLU. - Barbara Liskov (HOPL Preprints, 1993)

Specifications and Their Use in Defining Subtypes. - Barbara Liskov; Jeannette M. Wing (OOPSLA, 1993)

Practical Uses of Synchronized Clocks in Distributed Systems. - Barbara Liskov (Distributed Comput., 1993)

References to Remote Mobile Objects in Thor. - Mark Day; Barbara Liskov; Umesh Maheshwari; Andrew C. Myers (LOPLAS, 1993)

Reducing Cross Domain Call Overhead using Batched Futures. - Phillip Bogle; Barbara Liskov (OOPSLA, 1994)

Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. - Umesh Maheshwari; Barbara Liskov (PDIS, 1994)

Disconnected Operation in the Thor Object-Oriented Database System. - Robert Gruber; M. Frans Kaashoek; Barbara Liskov; Liuba Shrira (WMCSA, 1994)

A Behavioral Notion of Subtyping. - Barbara Liskov; Jeannette M. Wing (ACM Trans. Program. Lang. Syst., 1994)

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

Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. - Umesh Maheshwari; Barbara Liskov (PODC, 1995)

Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks. - Atul Adya; Robert Gruber; Barbara Liskov; Umesh Maheshwari (SIGMOD Conference, 1995)

Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. - Sanjay Ghemawat; M. Frans Kaashoek; Barbara Liskov (SOSP, 1995)

Type-Safe Heterogeneous Sharing can be Fast. - Barbara Liskov; Atul Adya; Miguel Castro 001; Quinton Zondervan (POS, 1996)

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

Safe and Efficient Sharing of Persistent Objects in Thor. - Barbara Liskov; Atul Adya; Miguel Castro 001; Mark Day; Sanjay Ghemawat; Robert Gruber; Umesh Maheshwari; Andrew C. Myers; Liuba Shrira (SIGMOD Conference, 1996)

How to scale transactional storage systems. - Liuba Shrira; Barbara Liskov; Miguel Castro 001; Atul Adya (ACM SIGOPS European Workshop, 1996)

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

Lazy Consistency Using Loosely Synchronized Clocks. - Atul Adya; Barbara Liskov (PODC, 1997)

Collecting Distributed Garbage Cycles by Back Tracing. - Umesh Maheshwari; Barbara Liskov (PODC, 1997)

Parameterized Types for Java. - Andrew C. Myers; Joseph A. Bank; Barbara Liskov (POPL, 1997)

Partitioned Garbage Collection of Large Object Store. - Umesh Maheshwari; Barbara Liskov (SIGMOD Conference, 1997)

HAC: Hybrid Adaptive Caching for Distributed Storage Systems. - Miguel Castro 001; Atul Adya; Barbara Liskov; Andrew C. Myers (SOSP, 1997)

A Decentralized Model for Information Flow Control. - Andrew C. Myers; Barbara Liskov (SOSP, 1997)

Collecting Cyclic Distributed Garbage by Controlled Migration. - Umesh Maheshwari; Barbara Liskov (Distributed Comput., 1997)

Complete, Safe Information Flow with Decentralized Labels. - Andrew C. Myers; Barbara Liskov (S&P, 1998)

Providing Persistent Objects in Distributed Systems. - Barbara Liskov; Miguel Castro 001; Liuba Shrira; Atul Adya (ECOOP, 1999)

Practical Byzantine Fault Tolerance. - Miguel Castro 001; Barbara Liskov (OSDI, 1999)

Generalized Isolation Level Definitions. - Atul Adya; Barbara Liskov; Patrick E. O'Neil (ICDE, 2000)

Proactive Recovery in a Byzantine-Fault-Tolerant System. - Miguel Castro 001; Barbara Liskov (OSDI, 2000)

Protecting privacy using the decentralized label model. - Andrew C. Myers; Barbara Liskov (ACM Trans. Softw. Eng. Methodol., 2000)

Program Development in Java - Abstraction, Specification, and Object-Oriented Design. - Barbara Liskov; John V. Guttag (Addison-Wesley, 2001)

Byzantine Fault Tolerance Can Be Fast. - Miguel Castro 001; Barbara Liskov (DSN, 2001)

Using Abstraction To Improve Fault Tolerance. - Miguel Castro 001; Rodrigo Rodrigues 001; Barbara Liskov (HotOS, 2001)

The design of a robust peer-to-peer system. - Rodrigo Rodrigues 001; Barbara Liskov; Liuba Shrira (ACM SIGOPS European Workshop, 2002)

Practical byzantine fault tolerance and proactive recovery. - Miguel Castro 001; Barbara Liskov (ACM Trans. Comput. Syst., 2002)

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

One Hop Lookups for Peer-to-Peer Overlays. - Anjali Gupta; Barbara Liskov; Rodrigo Rodrigues 001 (HotOS, 2003)

Lazy modular upgrades in persistent object stores. - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira; Chuang-Hue Moh; Steven Richman (OOPSLA, 2003)

Ownership types for object encapsulation. - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira (POPL, 2003)

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

Efficient Routing for Peer-to-Peer Overlays. - Anjali Gupta; Barbara Liskov; Rodrigo Rodrigues 001 (NSDI, 2004)

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

Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. - Rodrigo Rodrigues 001; Barbara Liskov (PODC, 2004)

Transactional file systems can be fast. - Barbara Liskov; Rodrigo Rodrigues 001 (ACM SIGOPS European Workshop, 2004)

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

High Availability in DHTs: Erasure Coding vs. Replication. - Rodrigo Rodrigues 001; Barbara Liskov (IPTPS, 2005)

Byzantine Clients Rendered Harmless. - Barbara Liskov; Rodrigo Rodrigues 001 (DISC, 2005)

Modular Software Upgrades for Distributed Systems. - Sameer Ajmani; Barbara Liskov; Liuba Shrira (ECOOP, 2006)

Tolerating Byzantine Faulty Clients in a Quorum System. - Barbara Liskov; Rodrigo Rodrigues 001 (ICDCS, 2006)

Geographic Routing Without Planarization. - Ben Leong; Barbara Liskov; Robert Morris 005 (NSDI, 2006)

HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. - James A. Cowling; Daniel S. Myers; Barbara Liskov; Rodrigo Rodrigues 001; Liuba Shrira (OSDI, 2006)

EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management. - Ben Leong; Barbara Liskov; Erik D. Demaine (Comput. Commun., 2006)

Greedy Virtual Coordinates for Geographic Routing. - Ben Leong; Barbara Liskov; Robert Morris 005 (ICNP, 2007)

Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. - Ben Vandiver; Hari Balakrishnan; Barbara Liskov; Samuel Madden 001 (SOSP, 2007)

MapJAX: Data Structure Abstractions for Asynchronous Web Applications. - Daniel S. Myers; Jennifer N. Carlisle; James A. Cowling; Barbara Liskov (USENIX ATC, 2007)

Mobile proactive secret sharing. - David A. Schultz; Barbara Liskov; Moses D. Liskov (PODC, 2008)

Tolerating Latency in Replicated State Machines Through Client Speculation. - Benjamin Wester; James A. Cowling; Edmund B. Nightingale; Peter M. Chen; Jason Flinn; Barbara Liskov (NSDI, 2009)

Census: Location-Aware Membership Management for Large-Scale Distributed Systems. - James A. Cowling; Dan R. K. Ports; Barbara Liskov; Raluca Ada Popa; Abhijeet Gaikwad (USENIX ATC, 2009)

Full-Information Lookups for Peer-to-Peer Overlays. - Pedro Fonseca 001; Rodrigo Rodrigues 001; Anjali Gupta; Barbara Liskov (IEEE Trans. Parallel Distributed Syst., 2009)

Transactional Consistency and Automatic Management in an Application Data Cache. - Dan R. K. Ports; Austin T. Clements; Irene Zhang; Samuel Madden 001; Barbara Liskov (OSDI, 2010)

From Viewstamped Replication to Byzantine Fault Tolerance. - Barbara Liskov (Replication, 2010)

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

MPSS: Mobile Proactive Secret Sharing. - David A. Schultz; Barbara Liskov; Moses D. Liskov (ACM Trans. Inf. Syst. Secur., 2010)

Programming Languages - Past Achievements and Future Challenges. - Susan L. Graham; Frances E. Allen; Barbara Liskov; Niklaus Wirth (ACM-TURING, 2012)

Keynote presentation: Programming the turing machine. - Barbara Liskov (HILT, 2012)

Abstractions for Usable Information Flow Control in Aeolus. - Winnie Cheng; Dan R. K. Ports; David A. Schultz; Victoria Popic; Aaron Blankstein; James A. Cowling; Dorothy Curtis; Liuba Shrira; Barbara Liskov (USENIX ATC, 2012)

Granola: Low-Overhead Distributed Transaction Coordination. - James A. Cowling; Barbara Liskov (USENIX ATC, 2012)

Automatic Reconfiguration for Large-Scale Reliable Storage Systems. - Rodrigo Rodrigues 001; Barbara Liskov; Kathryn Chen; Moses D. Liskov; David A. Schultz (IEEE Trans. Dependable Secur. Comput., 2012)

IFDB: decentralized information flow control for databases. - David A. Schultz; Barbara Liskov (EuroSys, 2013)

Speedy transactions in multicore in-memory databases. - Stephen Tu; Wenting Zheng; Eddie Kohler; Barbara Liskov; Samuel Madden 001 (SOSP, 2013)

Fast Databases with Fast Durability and Recovery Through Multicore Parallelism. - Wenting Zheng; Stephen Tu; Eddie Kohler; Barbara Liskov (OSDI, 2014)

A Modular and Efficient Past State System for Berkeley DB. - Ross Shaull; Liuba Shrira; Barbara Liskov (USENIX ATC, 2014)

Lightweight, flexible object-oriented generics. - Yizhou Zhang 001; Matthew C. Loring; Guido Salvaneschi; Barbara Liskov; Andrew C. Myers (PLDI, 2015)

Perspectives on system languages and abstraction. - Barbara Liskov (SOSP History Day, 2015)

Type-aware transactions for faster concurrent code. - Nathaniel Herman; Jeevana Priya Inala; Yihe Huang; Lillian L. Tsai; Eddie Kohler; Barbara Liskov; Liuba Shrira (EuroSys, 2016)

Accepting blame for safe tunneled exceptions. - Yizhou Zhang 001; Guido Salvaneschi; Quinn Beightol; Barbara Liskov; Andrew C. Myers (PLDI, 2016)

The Impact of Timestamp Granularity in Optimistic Concurrency Control. - Yihe Huang; Hao Bai; Eddie Kohler; Barbara Liskov; Liuba Shrira (CoRR, 2018)

Keynote: Multicore Programming. - Barbara Liskov (ASPLOS, 2019)

Cross-chain Deals and Adversarial Commerce. - Maurice Herlihy; Liuba Shrira; Barbara Liskov (Proc. VLDB Endow., 2019)

Opportunities for Optimism in Contended Main-Memory Multicore Transactions. - Yihe Huang; William Qian 001; Eddie Kohler; Barbara Liskov; Liuba Shrira (Proc. VLDB Endow., 2020)

From Viewstamped Replication to Blockchains. - Barbara Liskov (FMCAD, 2021)

Reflections on a Career in Computer Science. - Barbara Liskov (SIGMOD Conference, 2022)