Barbara Liskov

145 papers A* 34A 18B 3Misc 4Journal 30Unranked 53
YearRankTypeTitle / Venue / Authors
2022 J jnl
Cross-chain deals and adversarial commerce.
VLDB J.
Maurice Herlihy, Barbara Liskov, Liuba Shrira
2022 J jnl
Opportunities for optimism in contended main-memory multicore transactions.
VLDB J.
Yihe Huang, William Qian, Eddie Kohler, Barbara Liskov, Liuba Shrira
2022 — conf
Reflections on a Career in Computer Science.
SIGMOD Conference
Barbara Liskov
2021 B conf
From Viewstamped Replication to Blockchains.
FMCAD
Barbara Liskov
2020 J jnl
Opportunities for Optimism in Contended Main-Memory Multicore Transactions.
Proc. VLDB Endow.
Yihe Huang, William Qian, Eddie Kohler, Barbara Liskov, Liuba Shrira
2019 J jnl
Cross-chain Deals and Adversarial Commerce.
CoRR
Maurice Herlihy, Barbara Liskov, Liuba Shrira
2019 J jnl
Cross-chain Deals and Adversarial Commerce.
Proc. VLDB Endow.
Maurice Herlihy, Liuba Shrira, Barbara Liskov
2019 A* conf
Keynote: Multicore Programming.
ASPLOS
Barbara Liskov
2018 J jnl
The Impact of Timestamp Granularity in Optimistic Concurrency Control.
CoRR
Yihe Huang, Hao Bai, Eddie Kohler, Barbara Liskov, Liuba Shrira
2016 A* conf
Accepting blame for safe tunneled exceptions.
PLDI
Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
2016 A conf
Type-aware transactions for faster concurrent code.
EuroSys
Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian L. Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira
2015 A* conf
Lightweight, flexible object-oriented generics.
PLDI
Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers
2015 — conf
Perspectives on system languages and abstraction.
SOSP History Day
Barbara Liskov
2014 — conf
A Modular and Efficient Past State System for Berkeley DB.
USENIX ATC
Ross Shaull, Liuba Shrira, Barbara Liskov
2014 A* conf
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism.
OSDI
Wenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov
2013 A conf
IFDB: decentralized information flow control for databases.
EuroSys
David A. Schultz, Barbara Liskov
2013 A* conf
Speedy transactions in multicore in-memory databases.
SOSP
Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden
2012 — conf
Abstractions for Usable Information Flow Control in Aeolus.
USENIX ATC
Winnie Cheng, Dan R. K. Ports, David A. Schultz, Victoria Popic, Aaron Blankstein, James A. Cowling, Dorothy Curtis, Liuba Shrira, Barbara Liskov
2012 J jnl
Automatic Reconfiguration for Large-Scale Reliable Storage Systems.
IEEE Trans. Dependable Secur. Comput.
Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses D. Liskov, David A. Schultz
2012 — conf
Granola: Low-Overhead Distributed Transaction Coordination.
USENIX ATC
James A. Cowling, Barbara Liskov
2012 — conf
Keynote presentation: Programming the turing machine.
HILT
Barbara Liskov
2012 — conf
Programming Languages - Past Achievements and Future Challenges.
ACM-TURING
Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth
2010 — conf
From Viewstamped Replication to Byzantine Fault Tolerance.
Replication
Barbara Liskov
2010 J jnl
MPSS: Mobile Proactive Secret Sharing.
ACM Trans. Inf. Syst. Secur.
David A. Schultz, Barbara Liskov, Moses D. Liskov
2010 A conf
The Power of Abstraction - (Invited Lecture Abstract).
DISC
Barbara Liskov
2010 A* conf
Transactional Consistency and Automatic Management in an Application Data Cache.
OSDI
Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, Barbara Liskov
2009 — conf
Census: Location-Aware Membership Management for Large-Scale Distributed Systems.
USENIX ATC
James A. Cowling, Dan R. K. Ports, Barbara Liskov, Raluca Ada Popa, Abhijeet Gaikwad
2009 J jnl
Full-Information Lookups for Peer-to-Peer Overlays.
IEEE Trans. Parallel Distributed Syst.
Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov
2009 Misc conf
Tolerating Latency in Replicated State Machines Through Client Speculation.
NSDI
Benjamin Wester, James A. Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, Barbara Liskov
2008 A* conf
Mobile proactive secret sharing.
PODC
David A. Schultz, Barbara Liskov, Moses D. Liskov
2007 B conf
Greedy Virtual Coordinates for Geographic Routing.
ICNP
Ben Leong, Barbara Liskov, Robert Morris
2007 — conf
MapJAX: Data Structure Abstractions for Asynchronous Web Applications.
USENIX ATC
Daniel S. Myers, Jennifer N. Carlisle, James A. Cowling, Barbara Liskov
2007 A* conf
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling.
SOSP
Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden
2006 J jnl
EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management.
Comput. Commun.
Ben Leong, Barbara Liskov, Erik D. Demaine
2006 Misc conf
Geographic Routing Without Planarization.
NSDI
Ben Leong, Barbara Liskov, Robert Morris
2006 A* conf
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance.
OSDI
James A. Cowling, Daniel S. Myers, Barbara Liskov, Rodrigo Rodrigues, Liuba Shrira
2006 A conf
Modular Software Upgrades for Distributed Systems.
ECOOP
Sameer Ajmani, Barbara Liskov, Liuba Shrira
2006 A conf
Tolerating Byzantine Faulty Clients in a Quorum System.
ICDCS
Barbara Liskov, Rodrigo Rodrigues
2005 A conf
Byzantine Clients Rendered Harmless.
DISC
Barbara Liskov, Rodrigo Rodrigues
2005 — conf
High Availability in DHTs: Erasure Coding vs. Replication.
IPTPS
Rodrigo Rodrigues, Barbara Liskov
2005 B conf
Path Vector Face Routing: Geographic Routing with Local Face Information.
ICNP
Ben Leong, Sayan Mitra, Barbara Liskov
2004 A* conf
Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory.
PODC
Rodrigo Rodrigues, Barbara Liskov
2004 Misc conf
Efficient Routing for Peer-to-Peer Overlays.
NSDI
Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues
2004 — conf
EpiChord: parallelizing the chord lookup algorithm with reactive routing state management.
ICON
Ben Leong, Barbara Liskov, Erik D. Demaine
2004 Misc conf
TimeLine: A High Performance Archive for a Distributed Object Store.
NSDI
Chuang-Hue Moh, Barbara Liskov
2004 — conf
Transactional file systems can be fast.
ACM SIGOPS European Workshop
Barbara Liskov, Rodrigo Rodrigues
2003 J jnl
BASE: Using abstraction to improve fault tolerance.
ACM Trans. Comput. Syst.
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov
2003 A conf
Lazy modular upgrades in persistent object stores.
OOPSLA
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman
2003 A conf
One Hop Lookups for Peer-to-Peer Overlays.
HotOS
Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues
2003 A* conf
Ownership types for object encapsulation.
POPL
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
2003 A conf
Scheduling and Simulation: How to Upgrade Distributed Systems.
HotOS
Sameer Ajmani, Barbara Liskov, Liuba Shrira
2002 J jnl
Practical byzantine fault tolerance and proactive recovery.
ACM Trans. Comput. Syst.
Miguel Castro, Barbara Liskov
2002 — conf
The design of a robust peer-to-peer system.
ACM SIGOPS European Workshop
Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira
2001 A* conf
BASE: Using Abstraction to Improve Fault Tolerance.
SOSP
Rodrigo Rodrigues, Miguel Castro, Barbara Liskov
2001 A conf
Byzantine Fault Tolerance Can Be Fast.
DSN
Miguel Castro, Barbara Liskov
2001 — book
Program Development in Java - Abstraction, Specification, and Object-Oriented Design.
Barbara Liskov, John V. Guttag
2001 A conf
Using Abstraction To Improve Fault Tolerance.
HotOS
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov
2000 A* conf
Generalized Isolation Level Definitions.
ICDE
Atul Adya, Barbara Liskov, Patrick E. O'Neil
2000 A* conf
Proactive Recovery in a Byzantine-Fault-Tolerant System.
OSDI
Miguel Castro, Barbara Liskov
2000 J jnl
Protecting privacy using the decentralized label model.
ACM Trans. Softw. Eng. Methodol.
Andrew C. Myers, Barbara Liskov
1999 A* conf
Practical Byzantine Fault Tolerance.
OSDI
Miguel Castro, Barbara Liskov
1999 A conf
Providing Persistent Objects in Distributed Systems.
ECOOP
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya
1998 — conf
Complete, Safe Information Flow with Decentralized Labels.
S&P
Andrew C. Myers, Barbara Liskov
1997 A* conf
A Decentralized Model for Information Flow Control.
SOSP
Andrew C. Myers, Barbara Liskov
1997 J jnl
Collecting Cyclic Distributed Garbage by Controlled Migration.
Distributed Comput.
Umesh Maheshwari, Barbara Liskov
1997 A* conf
Collecting Distributed Garbage Cycles by Back Tracing.
PODC
Umesh Maheshwari, Barbara Liskov
1997 A conf
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System.
ICDCS
Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira
1997 A* conf
HAC: Hybrid Adaptive Caching for Distributed Storage Systems.
SOSP
Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers
1997 A* conf
Lazy Consistency Using Loosely Synchronized Clocks.
PODC
Atul Adya, Barbara Liskov
1997 A* conf
Parameterized Types for Java.
POPL
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
1997 — conf
Partitioned Garbage Collection of Large Object Store.
SIGMOD Conference
Umesh Maheshwari, Barbara Liskov
1996 — conf
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems.
POS
Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya
1996 — conf
How to scale transactional storage systems.
ACM SIGOPS European Workshop
Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya
1996 — conf
Safe and Efficient Sharing of Persistent Objects in Thor.
SIGMOD Conference
Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira
1996 — conf
Type-Safe Heterogeneous Sharing can be Fast.
POS
Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan
1995 A* conf
Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration.
PODC
Umesh Maheshwari, Barbara Liskov
1995 — conf
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks.
SIGMOD Conference
Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari
1995 — conf
Specifications and Their Use in Defining Subtypes.
ZUM
Barbara Liskov, Jeannette M. Wing
1995 A conf
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.
OOPSLA
Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers
1995 A* conf
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database.
SOSP
Sanjay Ghemawat, M. Frans Kaashoek, Barbara Liskov
1994 J jnl
A Behavioral Notion of Subtyping.
ACM Trans. Program. Lang. Syst.
Barbara Liskov, Jeannette M. Wing
1994 — conf
Disconnected Operation in the Thor Object-Oriented Database System.
WMCSA
Robert Gruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira
1994 — conf
Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database.
PDIS
Umesh Maheshwari, Barbara Liskov
1994 A conf
Reducing Cross Domain Call Overhead using Batched Futures.
OOPSLA
Phillip Bogle, Barbara Liskov
1993 — conf
A History of CLU.
HOPL Preprints
Barbara Liskov
1993 A conf
A New Definition of the Subtype Relation.
ECOOP
Barbara Liskov, Jeannette M. Wing
1993 J jnl
Practical Uses of Synchronized Clocks in Distributed Systems.
Distributed Comput.
Barbara Liskov
1993 A* ed.
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8, 1993
SOSP
Andrew P. Black, Barbara Liskov
1993 J jnl
References to Remote Mobile Objects in Thor.
LOPLAS
Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers
1993 A conf
Specifications and Their Use in Defining Subtypes.
OOPSLA
Barbara Liskov, Jeannette M. Wing
1992 — conf
Distributed Object Management in Thor.
IWDOM
Barbara Liskov, Mark Day, Liuba Shrira
1992 — conf
Efficient Recovery in Harp.
Workshop on the Management of Replicated Data
Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira
1992 A conf
Garbage Collection of a Distributed Heap.
ICDCS
Rivka Ladin, Barbara Liskov
1992 J jnl
Providing High Availability Using Lazy Replication.
ACM Trans. Comput. Syst.
Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat
1991 J jnl
A Replicated Unic File System.
ACM SIGOPS Oper. Syst. Rev.
Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira
1991 J jnl
Efficient At-Most-Once Messages Based on Synchronized Clocks.
ACM Trans. Comput. Syst.
Barbara Liskov, Liuba Shrira, John Wroclawski
1991 J jnl
Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract).
ACM SIGOPS Oper. Syst. Rev.
Rivka Ladin, Barbara Liskov, Liuba Shrira
1991 A* conf
Practical Uses of Synchronized Clocks in Distributed Systems.
PODC
Barbara Liskov
1991 A* conf
Replication in the Harp File System.
SOSP
Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, Michael Williams
1990 — conf
A Highly Available Object Repository for Use in a Heterogeneous Distributed System.
POS
Barbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira
1990 — conf
A Replicated Unix File System.
Workshop on the Management of Replicated Data
Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira
1990 — conf
A replicated Unix file system.
ACM SIGOPS European Workshop
Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira
1990 A* conf
Efficient At-Most-Once Messages Based on Synchronized Clocks.
SIGCOMM
Barbara Liskov, Liuba Shrira, John Wroclawski
1990 A* conf
Lazy Replication: Exploiting the Semantics of Distributed Services.
PODC
Rivka Ladin, Barbara Liskov, Liuba Shrira
1990 — conf
Lazy Replication: Exploiting the Semantics of Distributed Services.
Workshop on the Management of Replicated Data
Rivka Ladin, Barbara Liskov, Liuba Shrira
1990 — conf
Lazy replication: exploiting the semantics of distributed services.
ACM SIGOPS European Workshop
Rivka Ladin, Barbara Liskov, Liuba Shrira
1990 — conf
System Implementation I - Introduction.
POS
Barbara Liskov
1989 — conf
A design for a fault-tolerant, distributed implementation of Linda.
FTCS
Andrew Xu, Barbara Liskov
1989 — conf
Atomic Garbage Collection: Managing a Stable Heap.
SIGMOD Conference
Elliot K. Kolodner, Barbara Liskov, William E. Weihl
1989 — conf
Efficient at-most-once messages based on synchronized clocks.
WWOS
Barbara Liskov, Liuba Shrira, John Wroclawski
1988 J jnl
A Technique for Constructing Highly Available Services.
Algorithmica
Rivka Ladin, Barbara Liskov, Liuba Shrira
1988 J jnl
Distributed Programming in Argus.
Commun. ACM
Barbara Liskov
1988 A* conf
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems.
PLDI
Barbara Liskov, Liuba Shrira
1988 A* conf
Viewstamped Replication: A General Primary Copy.
PODC
Brian M. Oki, Barbara Liskov
1987 A* conf
Implementation of Argus.
SOSP
Barbara Liskov, Dorothy Curtis, Paul Johnson, Robert Scheifler
1987 — conf
Keynote address - data abstraction and hierarchy.
OOPSLA Addendum
Barbara Liskov
1986 — conf
Argus.
Fault-Tolerant Distributed Computing
Barbara Liskov
1986 A* conf
Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection.
PODC
Barbara Liskov, Rivka Ladin
1986 A* conf
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing.
POPL
Barbara Liskov, Maurice Herlihy, Lucy Gilbert
1986 J jnl
Specifications of Distributed Programs.
Distributed Comput.
Barbara Liskov, William E. Weihl
1985 — ed.
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany
Advanced Course: Distributed Systems
Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider
1985 J jnl
Implementation of Resilient, Atomic Data Types.
ACM Trans. Program. Lang. Syst.
William E. Weihl, Barbara Liskov
1985 A* conf
Reliable Object Storage to Support Atomic Actions.
SOSP
Brian M. Oki, Barbara Liskov, Robert Scheifler
1984 J jnl
Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systems.
ACM SIGPLAN Notices
Lawrence A. Rowe, L. Peter Deutsch, Stuart I. Feldman, Butler W. Lampson, Barbara Liskov, Terry Winograd
1984 — conf
The Argus Language and System.
Advanced Course: Distributed Systems
Barbara Liskov
1983 J jnl
Guardians and Actions: Linguistic Support for Robust, Distributed Programs.
ACM Trans. Program. Lang. Syst.
Barbara Liskov, Robert Scheifler
1983 — conf
Issues Process and Communication Structure for Distributed Programs.
Symposium on Reliability in Distributed Software and Database Systems
Barbara Liskov, Maurice Herlihy
1983 — conf
Specification and implementation of resilient, atomic data types.
SIGPLAN
William E. Weihl, Barbara Liskov
1982 J jnl
A Value Transmission Method for Abstract Data Types.
ACM Trans. Program. Lang. Syst.
Maurice Herlihy, Barbara Liskov
1982 A* conf
Guardians and Actions: Linguistic Support for Robust, Distributed Programs.
POPL
Barbara Liskov, Robert Scheifler
1982 J jnl
On Linguistic Support for Distributed Programs.
IEEE Trans. Software Eng.
Barbara Liskov
1981 — book
CLU Reference Manual
Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder
1981 J jnl
Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980.
ACM SIGOPS Oper. Syst. Rev.
Barbara Liskov
1978 — conf
Biography of Geoffrey Gordon.
HOPL
Barbara Liskov
1978 — conf
Biography of John McCarthy.
HOPL
Barbara Liskov
1978 — conf
Biography of Kristen Nygaard.
HOPL
Barbara Liskov
1978 — conf
Biography of Ole-Johan Dahl.
HOPL
Barbara Liskov
1978 — conf
Full text of all questions submitted.
HOPL
Barbara Liskov
1978 — conf
Full text of all questions submitted.
HOPL
Barbara Liskov
1978 — conf
Full text of all questions submitted.
HOPL
Barbara Liskov
1978 — conf
Transcript of question and answer session.
HOPL
Barbara Liskov
1978 — conf
Transcript of question and answer session.
HOPL
Barbara Liskov
1978 — conf
Transcript of question and answer session.
HOPL
Barbara Liskov
1975 — conf
Specification techniques for data abstractions.
Reliable Software
Barbara Liskov, Stephen N. Zilles
1973 — conf
Report of session on structured programming.
SIGPLAN-SIGOPS Interface Meeting
Robert A. Freiburghouse, Barbara Liskov