Barbara Liskov

According to our database, Barbara Liskov authored at least 141 papers between 1972 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Reflections on a Career in Computer Science.

Barbara Liskov

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

From Viewstamped Replication to Blockchains.

Barbara Liskov

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Opportunities for Optimism in Contended Main-Memory Multicore Transactions.

Yihe Huang, William Qian, Eddie Kohler, Barbara Liskov, Liuba Shrira

Proc. VLDB Endow., 2020

2019

Cross-chain Deals and Adversarial Commerce.

Maurice Herlihy, Liuba Shrira, Barbara Liskov

Proc. VLDB Endow., 2019

Keynote: Multicore Programming.

Barbara Liskov

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

The Impact of Timestamp Granularity in Optimistic Concurrency Control.

Yihe Huang, Hao Bai, Eddie Kohler, Barbara Liskov, Liuba Shrira

CoRR, 2018

2016

Accepting blame for safe tunneled exceptions.

Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Type-aware transactions for faster concurrent code.

Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira

Proceedings of the Eleventh European Conference on Computer Systems, 2016

2015

Perspectives on system languages and abstraction.

Barbara Liskov

Proceedings of the SOSP History Day 2015, Monterey, California, USA, October 4, 2015, 2015

Lightweight, flexible object-oriented generics.

Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

A Modular and Efficient Past State System for Berkeley DB.

Ross Shaull, Liuba Shrira, Barbara Liskov

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Fast Databases with Fast Durability and Recovery Through Multicore Parallelism.

Wenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013

Speedy transactions in multicore in-memory databases.

Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

IFDB: decentralized information flow control for databases.

David A. Schultz, Barbara Liskov

Proceedings of the Eighth Eurosys Conference 2013, 2013

2012

Automatic Reconfiguration for Large-Scale Reliable Storage Systems.

Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses D. Liskov, David A. Schultz

IEEE Trans. Dependable Secur. Comput., 2012

Granola: Low-Overhead Distributed Transaction Coordination.

James A. Cowling, Barbara Liskov

Proceedings of the 2012 USENIX Annual Technical Conference, 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

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Keynote presentation: Programming the turing machine.

Barbara Liskov

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Programming Languages - Past Achievements and Future Challenges.

Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth

Proceedings of the ACM Turing Centenary Celebration, 2012

2010

MPSS: Mobile Proactive Secret Sharing.

David A. Schultz, Barbara Liskov, Moses D. Liskov

ACM Trans. Inf. Syst. Secur., 2010

The Power of Abstraction - (Invited Lecture Abstract).

Barbara Liskov

Proceedings of the Distributed Computing, 24th International Symposium, 2010

From Viewstamped Replication to Byzantine Fault Tolerance.

Barbara Liskov

Proceedings of the Replication: Theory and Practice, 2010

Transactional Consistency and Automatic Management in an Application Data Cache.

Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, Barbara Liskov

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2009

Full-Information Lookups for Peer-to-Peer Overlays.

Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov

IEEE Trans. Parallel Distributed Syst., 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

Proceedings of the 2009 USENIX Annual Technical Conference, 2009

Tolerating Latency in Replicated State Machines Through Client Speculation.

Benjamin Wester, James A. Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, Barbara Liskov

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008

Mobile proactive secret sharing.

David A. Schultz, Barbara Liskov, Moses D. Liskov

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2007

MapJAX: Data Structure Abstractions for Asynchronous Web Applications.

Daniel S. Myers, Jennifer N. Carlisle, James A. Cowling, Barbara Liskov

Proceedings of the 2007 USENIX Annual Technical Conference, 2007

Tolerating byzantine faults in transaction processing systems using commit barrier scheduling.

Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Greedy Virtual Coordinates for Geographic Routing.

Ben Leong, Barbara Liskov, Robert Tappan Morris

Proceedings of the IEEE International Conference on Network Protocols, 2007

2006

EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management.

Ben Leong, Barbara Liskov, Erik D. Demaine

Comput. Commun., 2006

HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance.

James A. Cowling, Daniel S. Myers, Barbara Liskov, Rodrigo Rodrigues, Liuba Shrira

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Geographic Routing Without Planarization.

Ben Leong, Barbara Liskov, Robert Tappan Morris

Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006

Tolerating Byzantine Faulty Clients in a Quorum System.

Barbara Liskov, Rodrigo Rodrigues

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

Modular Software Upgrades for Distributed Systems.

Sameer Ajmani, Barbara Liskov, Liuba Shrira

Proceedings of the ECOOP 2006, 2006

2005

Byzantine Clients Rendered Harmless.

Barbara Liskov, Rodrigo Rodrigues

Proceedings of the Distributed Computing, 19th International Conference, 2005

High Availability in DHTs: Erasure Coding vs. Replication.

Rodrigo Rodrigues, Barbara Liskov

Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

Path Vector Face Routing: Geographic Routing with Local Face Information.

Ben Leong, Sayan Mitra, Barbara Liskov

Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

2004

Transactional file systems can be fast.

Barbara Liskov, Rodrigo Rodrigues

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory.

Rodrigo Rodrigues, Barbara Liskov

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

TimeLine: A High Performance Archive for a Distributed Object Store.

Chuang-Hue Moh, Barbara Liskov

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

Efficient Routing for Peer-to-Peer Overlays.

Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2003

BASE: Using abstraction to improve fault tolerance.

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov

ACM Trans. Comput. Syst., 2003

Ownership types for object encapsulation.

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Lazy modular upgrades in persistent object stores.

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

One Hop Lookups for Peer-to-Peer Overlays.

Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

Scheduling and Simulation: How to Upgrade Distributed Systems.

Sameer Ajmani, Barbara Liskov, Liuba Shrira

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

2002

Practical byzantine fault tolerance and proactive recovery.

Miguel Castro, Barbara Liskov

ACM Trans. Comput. Syst., 2002

The design of a robust peer-to-peer system.

Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001

Using Abstraction To Improve Fault Tolerance.

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

Byzantine Fault Tolerance Can Be Fast.

Miguel Castro, Barbara Liskov

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Program Development in Java - Abstraction, Specification, and Object-Oriented Design.

Barbara Liskov, John V. Guttag

Addison-Wesley, ISBN: 978-0-201-65768-5, 2001

2000

Protecting privacy using the decentralized label model.

Andrew C. Myers, Barbara Liskov

ACM Trans. Softw. Eng. Methodol., 2000

Proactive Recovery in a Byzantine-Fault-Tolerant System.

Miguel Castro, Barbara Liskov

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Generalized Isolation Level Definitions.

Atul Adya, Barbara Liskov, Patrick E. O'Neil

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

1999

Practical Byzantine Fault Tolerance.

Miguel Castro, Barbara Liskov

Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999

Providing Persistent Objects in Distributed Systems.

Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya

Proceedings of the ECOOP'99, 1999

1998

Complete, Safe Information Flow with Decentralized Labels.

Andrew C. Myers, Barbara Liskov

Proceedings of the Security and Privacy, 1998

1997

Collecting Cyclic Distributed Garbage by Controlled Migration.

Umesh Maheshwari, Barbara Liskov

Distributed Comput., 1997

A Decentralized Model for Information Flow Control.

Andrew C. Myers, Barbara Liskov

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

HAC: Hybrid Adaptive Caching for Distributed Storage Systems.

Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Partitioned Garbage Collection of Large Object Store.

Umesh Maheshwari, Barbara Liskov

Proceedings of the SIGMOD 1997, 1997

Parameterized Types for Java.

Andrew C. Myers, Joseph A. Bank, Barbara Liskov

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Collecting Distributed Garbage Cycles by Back Tracing.

Umesh Maheshwari, Barbara Liskov

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Lazy Consistency Using Loosely Synchronized Clocks.

Atul Adya, Barbara Liskov

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System.

Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996

How to scale transactional storage systems.

Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Safe and Efficient Sharing of Persistent Objects in Thor.

Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems.

Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

Type-Safe Heterogeneous Sharing can be Fast.

Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

1995

Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database.

Sanjay Ghemawat, M. Frans Kaashoek, Barbara Liskov

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks.

Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration.

Umesh Maheshwari, Barbara Liskov

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.

Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1994

A Behavioral Notion of Subtyping.

Barbara Liskov, Jeannette M. Wing

ACM Trans. Program. Lang. Syst., 1994

Disconnected Operation in the Thor Object-Oriented Database System.

Robert Gruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira

Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994

Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database.

Umesh Maheshwari, Barbara Liskov

Proceedings of the Third International Conference on Parallel and Distributed Information Systems (PDIS 94), 1994

Reducing Cross Domain Call Overhead using Batched Futures.

Phillip Bogle, Barbara Liskov

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

1993

References to Remote Mobile Objects in Thor.

Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers

LOPLAS, 1993

Practical Uses of Synchronized Clocks in Distributed Systems.

Barbara Liskov

Distributed Comput., 1993

Specifications and Their Use in Defining Subtypes.

Barbara Liskov, Jeannette M. Wing

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

A History of CLU.

Barbara Liskov

Proceedings of the History of Programming Languages Conference (HOPL-II), 1993

A New Definition of the Subtype Relation.

Barbara Liskov, Jeannette M. Wing

Proceedings of the ECOOP'93, 1993

1992

Providing High Availability Using Lazy Replication.

Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat

ACM Trans. Comput. Syst., 1992

Efficient Recovery in Harp.

Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira

Proceedings of the Second Workshop on the Management of Replicated Data, 1992

Distributed Object Management in Thor.

Barbara Liskov, Mark Day, Liuba Shrira

Proceedings of the Distributed Object Management, 1992

Garbage Collection of a Distributed Heap.

Rivka Ladin, Barbara Liskov

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991

Efficient At-Most-Once Messages Based on Synchronized Clocks.

Barbara Liskov, Liuba Shrira, John Wroclawski

ACM Trans. Comput. Syst., 1991

A Replicated Unic File System.

Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira

ACM SIGOPS Oper. Syst. Rev., 1991

Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract).

Rivka Ladin, Barbara Liskov, Liuba Shrira

ACM SIGOPS Oper. Syst. Rev., 1991

Replication in the Harp File System.

Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, Michael Williams

Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

1990

A Replicated Unix File System.

Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira

Proceedings of the First Workshop on the Management of Replicated Data, 1990

Lazy Replication: Exploiting the Semantics of Distributed Services.

Rivka Ladin, Barbara Liskov, Liuba Shrira

Proceedings of the First Workshop on the Management of Replicated Data, 1990

A Highly Available Object Repository for Use in a Heterogeneous Distributed System.

Barbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira

Proceedings of the Implementing Persistent Object Bases, 1990

System Implementation I - Introduction.

Barbara Liskov

Proceedings of the Implementing Persistent Object Bases, 1990

1989

Atomic Garbage Collection: Managing a Stable Heap.

Elliot K. Kolodner, Barbara Liskov, William E. Weihl

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

A design for a fault-tolerant, distributed implementation of Linda.

Andrew Xu, Barbara Liskov

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

Distributed Programming in Argus.

Barbara Liskov

Commun. ACM, 1988

A Technique for Constructing Highly Available Services.

Rivka Ladin, Barbara Liskov, Liuba Shrira

Algorithmica, 1988

Viewstamped Replication: A General Primary Copy.

Brian M. Oki, Barbara Liskov

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems.

Barbara Liskov, Liuba Shrira

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1987

Implementation of Argus.

Barbara Liskov, Dorothy Curtis, Paul Johnson, Robert Scheifler

Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

Keynote address - data abstraction and hierarchy.

Barbara Liskov

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1987

1986

Specifications of Distributed Programs.

Barbara Liskov, William E. Weihl

Distributed Comput., 1986

Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing.

Barbara Liskov, Maurice Herlihy, Lucy Gilbert

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection.

Barbara Liskov, Rivka Ladin

Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

Argus.

Barbara Liskov

Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986

1985

Implementation of Resilient, Atomic Data Types.

William E. Weihl, Barbara Liskov

ACM Trans. Program. Lang. Syst., 1985

Reliable Object Storage to Support Atomic Actions.

Brian M. Oki, Barbara Liskov, Robert Scheifler

Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985

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

The Argus Language and System.

Barbara Liskov

Proceedings of the Distributed Systems: Methods and Tools for Specification, 1984

1983

Guardians and Actions: Linguistic Support for Robust, Distributed Programs.

Barbara Liskov, Robert Scheifler

ACM Trans. Program. Lang. Syst., 1983

Specification and implementation of resilient, atomic data types.

William E. Weihl, Barbara Liskov

Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983

Issues Process and Communication Structure for Distributed Programs.

Barbara Liskov, Maurice Herlihy

Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

1982

On Linguistic Support for Distributed Programs.

Barbara Liskov

IEEE Trans. Software Eng., 1982

A Value Transmission Method for Abstract Data Types.

Maurice Herlihy, Barbara Liskov

ACM Trans. Program. Lang. Syst., 1982

1981

Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980.

Barbara Liskov

ACM SIGOPS Oper. Syst. Rev., 1981

CLU Reference Manual

Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder

Lecture Notes in Computer Science 114, Springer, ISBN: 3-540-10836-X, 1981

1979

Exception Handling in CLU.

Barbara H. Liskov, Alan Snyder

IEEE Trans. Software Eng., 1979

Primitives for Distributed Computing.

Barbara H. Liskov

Proceedings of the Seventh Symposium on Operating System Principles, 1979

Modular Program Construction Using Abstractions.

Barbara H. Liskov

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1978

A Language Extension for Expressing Constraints on Data Access.

Anita K. Jones, Barbara H. Liskov

Commun. ACM, 1978

Biography of Ole-Johan Dahl.

Barbara Liskov

Proceedings of the History of Programming Languages, 1978

Biography of Kristen Nygaard.

Barbara Liskov

Proceedings of the History of Programming Languages, 1978

Transcript of question and answer session.

Barbara Liskov

Proceedings of the History of Programming Languages, 1978

Biography of Geoffrey Gordon.

Barbara Liskov

Proceedings of the History of Programming Languages, 1978

Full text of all questions submitted.

Barbara Liskov

Proceedings of the History of Programming Languages, 1978

Biography of John McCarthy.

Barbara Liskov

Proceedings of the History of Programming Languages, 1978

Practical benefits of research in programming methodology (Abstract of presentation).

Barbara H. Liskov

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 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

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

Aspects Of Implementing CLU.

Russell R. Atkinson, Barbara H. Liskov, Robert Scheifler

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

Abstraction Mechanisms in CLU.

Barbara H. Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert

Commun. ACM, 1977

1976

A Language Extension for Controlling Access to Shared Data.

Anita K. Jones, Barbara H. Liskov

IEEE Trans. Software Eng., 1976

A Language Extension for Controlling Access to Shared Data (Abstract).

Anita K. Jones, Barbara H. Liskov

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

Specification Techniques for Data Abstractions.

Barbara H. Liskov, Stephen N. Zilles

IEEE Trans. Software Eng., 1975

Data types and program correctness.

Barbara H. Liskov

ACM SIGPLAN Notices, 1975

1974

Programming with Abstract Data Types.

Barbara H. Liskov, Stephen N. Zilles

Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, 1974

1973

SPIL: A language for construction of reliable system software.

Barbara H. Liskov, Leroy A. Smith

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

Report of session on structured programming.

Robert A. Freiburghouse, Barbara Liskov

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

1972

The Design of the Venus Operating System.

Barbara H. Liskov

Commun. ACM, 1972

A design methodology for reliable software systems.

Barbara H. Liskov

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972