Barbara Liskov

Publication Activity (10 Years)

Years Active: 1973-2022
Publications (10 Years): 13

Top Venues

Proc. VLDB Endow.

CoRR

PLDI

VLDB J.

Publications

Yihe Huang, William Qian, Eddie Kohler, Barbara Liskov, Liuba Shrira
Opportunities for optimism in contended main-memory multicore transactions. VLDB J. 31 (6) (2022)
Maurice Herlihy, Barbara Liskov, Liuba Shrira
Cross-chain deals and adversarial commerce. VLDB J. 31 (6) (2022)
Barbara Liskov
Reflections on a Career in Computer Science. SIGMOD Conference (2022)
Barbara Liskov
From Viewstamped Replication to Blockchains. FMCAD (2021)
Yihe Huang, William Qian, Eddie Kohler, Barbara Liskov, Liuba Shrira
Opportunities for Optimism in Contended Main-Memory Multicore Transactions. Proc. VLDB Endow. 13 (5) (2020)
Barbara Liskov
Keynote: Multicore Programming. ASPLOS (2019)
Maurice Herlihy, Barbara Liskov, Liuba Shrira
Cross-chain Deals and Adversarial Commerce. CoRR (2019)
Maurice Herlihy, Liuba Shrira, Barbara Liskov
Cross-chain Deals and Adversarial Commerce. Proc. VLDB Endow. 13 (2) (2019)
Yihe Huang, Hao Bai, Eddie Kohler, Barbara Liskov, Liuba Shrira
The Impact of Timestamp Granularity in Optimistic Concurrency Control. CoRR (2018)
Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
Accepting blame for safe tunneled exceptions. PLDI (2016)
Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira
Type-aware transactions for faster concurrent code. EuroSys (2016)
Barbara Liskov
Perspectives on system languages and abstraction. SOSP History Day (2015)
Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers
Lightweight, flexible object-oriented generics. PLDI (2015)
Ross Shaull, Liuba Shrira, Barbara Liskov
A Modular and Efficient Past State System for Berkeley DB. USENIX Annual Technical Conference (2014)
Wenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism. OSDI (2014)
David A. Schultz, Barbara Liskov
IFDB: decentralized information flow control for databases. EuroSys (2013)
Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden
Speedy transactions in multicore in-memory databases. SOSP (2013)
James A. Cowling, Barbara Liskov
Granola: Low-Overhead Distributed Transaction Coordination. USENIX Annual Technical Conference (2012)
Winnie Cheng, Dan R. K. Ports, David A. Schultz, Victoria Popic, Aaron Blankstein, James A. Cowling, Dorothy Curtis, Liuba Shrira, Barbara Liskov
Abstractions for Usable Information Flow Control in Aeolus. USENIX Annual Technical Conference (2012)
Barbara Liskov
Keynote presentation: Programming the turing machine. HILT (2012)
Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses D. Liskov, David A. Schultz
Automatic Reconfiguration for Large-Scale Reliable Storage Systems. IEEE Trans. Dependable Secur. Comput. 9 (2) (2012)
Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth
Programming Languages - Past Achievements and Future Challenges. ACM-TURING (2012)
David A. Schultz, Barbara Liskov, Moses D. Liskov
MPSS: Mobile Proactive Secret Sharing. ACM Trans. Inf. Syst. Secur. 13 (4) (2010)
Barbara Liskov
From Viewstamped Replication to Byzantine Fault Tolerance. Replication (2010)
Barbara Liskov
The Power of Abstraction - (Invited Lecture Abstract). DISC (2010)
Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, Barbara Liskov
Transactional Consistency and Automatic Management in an Application Data Cache. OSDI (2010)
Benjamin Wester, James A. Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, Barbara Liskov
Tolerating Latency in Replicated State Machines Through Client Speculation. NSDI (2009)
James A. Cowling, Dan R. K. Ports, Barbara Liskov, Raluca Ada Popa, Abhijeet Gaikwad
Census: Location-Aware Membership Management for Large-Scale Distributed Systems. USENIX Annual Technical Conference (2009)
Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov
Full-Information Lookups for Peer-to-Peer Overlays. IEEE Trans. Parallel Distributed Syst. 20 (9) (2009)
David A. Schultz, Barbara Liskov, Moses D. Liskov
Mobile proactive secret sharing. PODC (2008)
Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. SOSP (2007)
Ben Leong, Barbara Liskov, Robert Tappan Morris
Greedy Virtual Coordinates for Geographic Routing. ICNP (2007)
Daniel S. Myers, Jennifer N. Carlisle, James A. Cowling, Barbara Liskov
MapJAX: Data Structure Abstractions for Asynchronous Web Applications. USENIX Annual Technical Conference (2007)
Ben Leong, Barbara Liskov, Robert Tappan Morris
Geographic Routing Without Planarization. NSDI (2006)
Sameer Ajmani, Barbara Liskov, Liuba Shrira
Modular Software Upgrades for Distributed Systems. ECOOP (2006)
Barbara Liskov, Rodrigo Rodrigues
Tolerating Byzantine Faulty Clients in a Quorum System. ICDCS (2006)
Ben Leong, Barbara Liskov, Erik D. Demaine
EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management. Comput. Commun. 29 (9) (2006)
James A. Cowling, Daniel S. Myers, Barbara Liskov, Rodrigo Rodrigues, Liuba Shrira
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. OSDI (2006)
Barbara Liskov, Rodrigo Rodrigues
Byzantine Clients Rendered Harmless. DISC (2005)
Ben Leong, Sayan Mitra, Barbara Liskov
Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP (2005)
Rodrigo Rodrigues, Barbara Liskov
High Availability in DHTs: Erasure Coding vs. Replication. IPTPS (2005)
Chuang-Hue Moh, Barbara Liskov
TimeLine: A High Performance Archive for a Distributed Object Store. NSDI (2004)
Barbara Liskov, Rodrigo Rodrigues
Transactional file systems can be fast. ACM SIGOPS European Workshop (2004)
Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues
Efficient Routing for Peer-to-Peer Overlays. NSDI (2004)
Ben Leong, Barbara Liskov, Erik D. Demaine
EpiChord: parallelizing the chord lookup algorithm with reactive routing state management. ICON (2004)
Rodrigo Rodrigues, Barbara Liskov
Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. PODC (2004)
Sameer Ajmani, Barbara Liskov, Liuba Shrira
Scheduling and Simulation: How to Upgrade Distributed Systems. HotOS (2003)
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov
BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21 (3) (2003)
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman
Lazy modular upgrades in persistent object stores. OOPSLA (2003)
Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues
One Hop Lookups for Peer-to-Peer Overlays. HotOS (2003)
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
Ownership types for object encapsulation. POPL (2003)
Miguel Castro, Barbara Liskov
Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20 (4) (2002)
Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira
The design of a robust peer-to-peer system. ACM SIGOPS European Workshop (2002)
Rodrigo Rodrigues, Miguel Castro, Barbara Liskov
BASE: Using Abstraction to Improve Fault Tolerance. SOSP (2001)
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov
Using Abstraction To Improve Fault Tolerance. HotOS (2001)
Miguel Castro, Barbara Liskov
Byzantine Fault Tolerance Can Be Fast. DSN (2001)
Andrew C. Myers, Barbara Liskov
Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9 (4) (2000)
Miguel Castro, Barbara Liskov
Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI (2000)
Atul Adya, Barbara Liskov, Patrick E. O'Neil
Generalized Isolation Level Definitions. ICDE (2000)
Miguel Castro, Barbara Liskov
Practical Byzantine Fault Tolerance. OSDI (1999)
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya
Providing Persistent Objects in Distributed Systems. ECOOP (1999)
Andrew C. Myers, Barbara Liskov
Complete, Safe Information Flow with Decentralized Labels. IEEE Symposium on Security and Privacy (1998)
Umesh Maheshwari, Barbara Liskov
Collecting Distributed Garbage Cycles by Back Tracing. PODC (1997)
Umesh Maheshwari, Barbara Liskov
Partitioned Garbage Collection of Large Object Store. SIGMOD Conference (1997)
Atul Adya, Barbara Liskov
Lazy Consistency Using Loosely Synchronized Clocks. PODC (1997)
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
Parameterized Types for Java. POPL (1997)
Umesh Maheshwari, Barbara Liskov
Collecting Cyclic Distributed Garbage by Controlled Migration. Distributed Comput. 10 (2) (1997)
Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. ICDCS (1997)
Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers
HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP (1997)
Andrew C. Myers, Barbara Liskov
A Decentralized Model for Information Flow Control. SOSP (1997)
Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira
Safe and Efficient Sharing of Persistent Objects in Thor. SIGMOD Conference (1996)
Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya
How to scale transactional storage systems. ACM SIGOPS European Workshop (1996)
Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS (1996)
Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan
Type-Safe Heterogeneous Sharing can be Fast. POS (1996)
Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks. SIGMOD Conference (1995)
Sanjay Ghemawat, M. Frans Kaashoek, Barbara Liskov
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. SOSP (1995)
Umesh Maheshwari, Barbara Liskov
Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. PODC (1995)
Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA (1995)
Barbara Liskov, Jeannette M. Wing
Specifications and Their Use in Defining Subtypes. ZUM (1995)
Robert Gruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira
Disconnected Operation in the Thor Object-Oriented Database System. WMCSA (1994)
Barbara Liskov, Jeannette M. Wing
A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16 (6) (1994)
Umesh Maheshwari, Barbara Liskov
Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. PDIS (1994)
Phillip Bogle, Barbara Liskov
Reducing Cross Domain Call Overhead using Batched Futures. OOPSLA (1994)
Barbara Liskov, Jeannette M. Wing
Specifications and Their Use in Defining Subtypes. OOPSLA (1993)
Barbara Liskov, Jeannette M. Wing
A New Definition of the Subtype Relation. ECOOP (1993)
Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers
References to Remote Mobile Objects in Thor. LOPLAS 2 (1-4) (1993)
Barbara Liskov
A History of CLU. HOPL Preprints (1993)
Barbara Liskov
Practical Uses of Synchronized Clocks in Distributed Systems. Distributed Comput. 6 (4) (1993)
Barbara Liskov, Mark Day, Liuba Shrira
Distributed Object Management in Thor. IWDOM (1992)
Rivka Ladin, Barbara Liskov
Garbage Collection of a Distributed Heap. ICDCS (1992)
Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira
Efficient Recovery in Harp. Workshop on the Management of Replicated Data (1992)
Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat
Providing High Availability Using Lazy Replication. ACM Trans. Comput. Syst. 10 (4) (1992)
Rivka Ladin, Barbara Liskov, Liuba Shrira
Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). ACM SIGOPS Oper. Syst. Rev. 25 (1) (1991)
Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, Michael Williams
Replication in the Harp File System. SOSP (1991)
Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira
A Replicated Unic File System. ACM SIGOPS Oper. Syst. Rev. 25 (1) (1991)
Barbara Liskov, Liuba Shrira, John Wroclawski
Efficient At-Most-Once Messages Based on Synchronized Clocks. ACM Trans. Comput. Syst. 9 (2) (1991)
Barbara Liskov
Practical Uses of Synchronized Clocks in Distributed Systems. PODC (1991)
Barbara Liskov
System Implementation I - Introduction. POS (1990)
Rivka Ladin, Barbara Liskov, Liuba Shrira
Lazy Replication: Exploiting the Semantics of Distributed Services. Workshop on the Management of Replicated Data (1990)
Rivka Ladin, Barbara Liskov, Liuba Shrira
Lazy replication: exploiting the semantics of distributed services. ACM SIGOPS European Workshop (1990)

Barbara Liskov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Barbara Liskov