default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBarbara Liskov
Barbara H. Liskov
Person information
- affiliation: Massachusetts Institute of Technology
- award (2008): Turing Award
- award (2018): Computer Pioneer Award
- award (2008): Programming Languages Achievement Award
- award (2004): IEEE John von Neumann Medal
- award: National Inventors Hall of Fame
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j35]Yihe Huang, William Qian, Eddie Kohler
, Barbara Liskov, Liuba Shrira:
Opportunities for optimism in contended main-memory multicore transactions. VLDB J. 31(6): 1239-1261 (2022)- [j34]Maurice Herlihy, Barbara Liskov, Liuba Shrira:
Cross-chain deals and adversarial commerce. VLDB J. 31(6): 1291-1309 (2022) - [c122]Barbara Liskov:
Reflections on a Career in Computer Science. SIGMOD Conference 2022: 1 - 2021
- [c121]Barbara Liskov:
From Viewstamped Replication to Blockchains. FMCAD 2021: 1 - 2020
- [j33]Yihe Huang, William Qian, Eddie Kohler, Barbara Liskov, Liuba Shrira:
Opportunities for Optimism in Contended Main-Memory Multicore Transactions. Proc. VLDB Endow. 13(5): 629-642 (2020)
2010 – 2019
- 2019
- [j32]Maurice Herlihy, Liuba Shrira, Barbara Liskov:
Cross-chain Deals and Adversarial Commerce. Proc. VLDB Endow. 13(2): 100-113 (2019) - [c120]Barbara Liskov:
Keynote: Multicore Programming. ASPLOS 2019: 1 - [i2]Maurice Herlihy, Barbara Liskov, Liuba Shrira:
Cross-chain Deals and Adversarial Commerce. CoRR abs/1905.09743 (2019) - 2018
- [i1]Yihe Huang, Hao Bai, Eddie Kohler, Barbara Liskov, Liuba Shrira:
The Impact of Timestamp Granularity in Optimistic Concurrency Control. CoRR abs/1811.04967 (2018) - 2016
- [c119]Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira:
Type-aware transactions for faster concurrent code. EuroSys 2016: 31:1-31:16 - [c118]Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers:
Accepting blame for safe tunneled exceptions. PLDI 2016: 281-295 - 2015
- [c117]Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers:
Lightweight, flexible object-oriented generics. PLDI 2015: 436-445 - [c116]Barbara Liskov:
Perspectives on system languages and abstraction. SOSP History Day 2015: 5:1-5:25 - 2014
- [c115]Wenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov:
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism. OSDI 2014: 465-477 - [c114]Ross Shaull, Liuba Shrira, Barbara Liskov:
A Modular and Efficient Past State System for Berkeley DB. USENIX ATC 2014: 157-168 - 2013
- [c113]David A. Schultz, Barbara Liskov:
IFDB: decentralized information flow control for databases. EuroSys 2013: 43-56 - [c112]Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden:
Speedy transactions in multicore in-memory databases. SOSP 2013: 18-32 - 2012
- [j31]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): 145-158 (2012) - [c111]Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth:
Programming Languages - Past Achievements and Future Challenges. ACM-TURING 2012: 12:1 - [c110]Barbara Liskov:
Keynote presentation: Programming the turing machine. HILT 2012: 23-24 - [c109]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 ATC 2012: 139-151 - [c108]James A. Cowling, Barbara Liskov:
Granola: Low-Overhead Distributed Transaction Coordination. USENIX ATC 2012: 223-235 - 2010
- [j30]David A. Schultz, Barbara Liskov, Moses D. Liskov:
MPSS: Mobile Proactive Secret Sharing. ACM Trans. Inf. Syst. Secur. 13(4): 34:1-34:32 (2010) - [c107]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: 279-292 - [c106]Barbara Liskov:
From Viewstamped Replication to Byzantine Fault Tolerance. Replication 2010: 121-149 - [c105]Barbara Liskov:
The Power of Abstraction - (Invited Lecture Abstract). DISC 2010: 3
2000 – 2009
- 2009
- [j29]Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov:
Full-Information Lookups for Peer-to-Peer Overlays. IEEE Trans. Parallel Distributed Syst. 20(9): 1339-1351 (2009) - [c104]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: 245-260 - [c103]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 ATC 2009 - 2008
- [c102]David A. Schultz, Barbara Liskov, Moses D. Liskov:
Mobile proactive secret sharing. PODC 2008: 458 - 2007
- [c101]Ben Leong, Barbara Liskov, Robert Tappan Morris:
Greedy Virtual Coordinates for Geographic Routing. ICNP 2007: 71-80 - [c100]Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden:
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. SOSP 2007: 59-72 - [c99]Daniel S. Myers, Jennifer N. Carlisle, James A. Cowling, Barbara Liskov:
MapJAX: Data Structure Abstractions for Asynchronous Web Applications. USENIX ATC 2007: 101-114 - 2006
- [j28]Ben Leong, Barbara Liskov, Erik D. Demaine:
EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management. Comput. Commun. 29(9): 1243-1259 (2006) - [c98]Sameer Ajmani, Barbara Liskov, Liuba Shrira:
Modular Software Upgrades for Distributed Systems. ECOOP 2006: 452-476 - [c97]Barbara Liskov, Rodrigo Rodrigues:
Tolerating Byzantine Faulty Clients in a Quorum System. ICDCS 2006: 34 - [c96]Ben Leong, Barbara Liskov, Robert Tappan Morris:
Geographic Routing Without Planarization. NSDI 2006 - [c95]James A. Cowling, Daniel S. Myers, Barbara Liskov, Rodrigo Rodrigues, Liuba Shrira:
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. OSDI 2006: 177-190 - 2005
- [c94]Ben Leong, Sayan Mitra, Barbara Liskov:
Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158 - [c93]Rodrigo Rodrigues, Barbara Liskov:
High Availability in DHTs: Erasure Coding vs. Replication. IPTPS 2005: 226-239 - [c92]Barbara Liskov, Rodrigo Rodrigues:
Byzantine Clients Rendered Harmless. DISC 2005: 487-489 - 2004
- [c91]Ben Leong, Barbara Liskov, Erik D. Demaine:
EpiChord: parallelizing the chord lookup algorithm with reactive routing state management. ICON 2004: 270-276 - [c90]Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues:
Efficient Routing for Peer-to-Peer Overlays. NSDI 2004: 113-126 - [c89]Chuang-Hue Moh, Barbara Liskov:
TimeLine: A High Performance Archive for a Distributed Object Store. NSDI 2004: 351-364 - [c88]Rodrigo Rodrigues, Barbara Liskov:
Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. PODC 2004: 386 - [c87]Barbara Liskov, Rodrigo Rodrigues:
Transactional file systems can be fast. ACM SIGOPS European Workshop 2004: 5 - 2003
- [j27]Miguel Castro, Rodrigo Rodrigues, Barbara Liskov:
BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (2003) - [c86]Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues:
One Hop Lookups for Peer-to-Peer Overlays. HotOS 2003: 7-12 - [c85]Sameer Ajmani, Barbara Liskov, Liuba Shrira:
Scheduling and Simulation: How to Upgrade Distributed Systems. HotOS 2003: 43-48 - [c84]Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman:
Lazy modular upgrades in persistent object stores. OOPSLA 2003: 403-417 - [c83]Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira:
Ownership types for object encapsulation. POPL 2003: 213-223 - 2002
- [j26]Miguel Castro, Barbara Liskov:
Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002) - [c82]Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira:
The design of a robust peer-to-peer system. ACM SIGOPS European Workshop 2002: 117-124 - 2001
- [b2]Barbara Liskov, John V. Guttag:
Program Development in Java - Abstraction, Specification, and Object-Oriented Design. Addison-Wesley 2001, ISBN 978-0-201-65768-5, pp. I-XIX, 1-443 - [c81]Miguel Castro, Barbara Liskov:
Byzantine Fault Tolerance Can Be Fast. DSN 2001: 513-518 - [c80]Miguel Castro, Rodrigo Rodrigues, Barbara Liskov:
Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32 - [c79]Rodrigo Rodrigues, Miguel Castro, Barbara Liskov:
BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28 - 2000
- [j25]Andrew C. Myers, Barbara Liskov:
Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000) - [c78]Atul Adya, Barbara Liskov, Patrick E. O'Neil:
Generalized Isolation Level Definitions. ICDE 2000: 67-78 - [c77]Miguel Castro, Barbara Liskov:
Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288
1990 – 1999
- 1999
- [c76]Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya:
Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257 - [c75]Miguel Castro, Barbara Liskov:
Practical Byzantine Fault Tolerance. OSDI 1999: 173-186 - 1998
- [c74]Andrew C. Myers, Barbara Liskov:
Complete, Safe Information Flow with Decentralized Labels. S&P 1998: 186-197 - 1997
- [j24]Umesh Maheshwari, Barbara Liskov:
Collecting Cyclic Distributed Garbage by Controlled Migration. Distributed Comput. 10(2): 79-86 (1997) - [c73]Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira:
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. ICDCS 1997: 2-11 - [c72]Atul Adya, Barbara Liskov:
Lazy Consistency Using Loosely Synchronized Clocks. PODC 1997: 73-82 - [c71]Umesh Maheshwari, Barbara Liskov:
Collecting Distributed Garbage Cycles by Back Tracing. PODC 1997: 239-248 - [c70]Andrew C. Myers, Joseph A. Bank, Barbara Liskov:
Parameterized Types for Java. POPL 1997: 132-145 - [c69]Umesh Maheshwari, Barbara Liskov:
Partitioned Garbage Collection of Large Object Store. SIGMOD Conference 1997: 313-323 - [c68]Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers:
HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115 - [c67]Andrew C. Myers, Barbara Liskov:
A Decentralized Model for Information Flow Control. SOSP 1997: 129-142 - 1996
- [c66]Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan:
Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10 - [c65]Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya:
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996: 128-139 - [c64]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: 318-329 - [c63]Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya:
How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127 - 1995
- [c62]Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers:
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA 1995: 156-168 - [c61]Umesh Maheshwari, Barbara Liskov:
Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. PODC 1995: 57-63 - [c60]Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari:
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks. SIGMOD Conference 1995: 23-34 - [c59]Sanjay Ghemawat, M. Frans Kaashoek, Barbara Liskov:
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. SOSP 1995: 235 - [c58]Barbara Liskov, Jeannette M. Wing:
Specifications and Their Use in Defining Subtypes. ZUM 1995: 245-263 - 1994
- [j23]Barbara Liskov, Jeannette M. Wing:
A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994) - [c57]Phillip Bogle, Barbara Liskov:
Reducing Cross Domain Call Overhead using Batched Futures. OOPSLA 1994: 341-354 - [c56]Umesh Maheshwari, Barbara Liskov:
Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. PDIS 1994: 239-248 - [c55]Robert Gruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira:
Disconnected Operation in the Thor Object-Oriented Database System. WMCSA 1994: 51-56 - 1993
- [j22]Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems. Distributed Comput. 6(4): 211-219 (1993) - [j21]Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers:
References to Remote Mobile Objects in Thor. LOPLAS 2(1-4): 115-126 (1993) - [c54]Barbara Liskov, Jeannette M. Wing:
A New Definition of the Subtype Relation. ECOOP 1993: 118-141 - [c53]Barbara Liskov:
A History of CLU. HOPL Preprints 1993: 133-147 - [c52]Barbara Liskov, Jeannette M. Wing:
Specifications and Their Use in Defining Subtypes. OOPSLA 1993: 16-28 - [e2]Andrew P. Black, Barbara Liskov:
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. ACM 1993, ISBN 0-89791-632-8 [contents] - 1992
- [j20]Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat:
Providing High Availability Using Lazy Replication. ACM Trans. Comput. Syst. 10(4): 360-391 (1992) - [c51]Rivka Ladin, Barbara Liskov:
Garbage Collection of a Distributed Heap. ICDCS 1992: 708-715 - [c50]Barbara Liskov, Mark Day, Liuba Shrira:
Distributed Object Management in Thor. IWDOM 1992: 79-91 - [c49]Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira:
Efficient Recovery in Harp. Workshop on the Management of Replicated Data 1992: 104-106 - 1991
- [j19]Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). ACM SIGOPS Oper. Syst. Rev. 25(1): 49-55 (1991) - [j18]Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira:
A Replicated Unic File System. ACM SIGOPS Oper. Syst. Rev. 25(1): 60-64 (1991) - [j17]Barbara Liskov, Liuba Shrira, John Wroclawski:
Efficient At-Most-Once Messages Based on Synchronized Clocks. ACM Trans. Comput. Syst. 9(2): 125-142 (1991) - [c48]Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems. PODC 1991: 1-9 - [c47]Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, Michael Williams:
Replication in the Harp File System. SOSP 1991: 226-238 - 1990
- [c46]Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services. PODC 1990: 43-57 - [c45]Barbara Liskov:
System Implementation I - Introduction. POS 1990: 87-88 - [c44]Barbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira:
A Highly Available Object Repository for Use in a Heterogeneous Distributed System. POS 1990: 255-266 - [c43]Barbara Liskov, Liuba Shrira, John Wroclawski:
Efficient At-Most-Once Messages Based on Synchronized Clocks. SIGCOMM 1990: 41-49 - [c42]Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy replication: exploiting the semantics of distributed services. ACM SIGOPS European Workshop 1990 - [c41]Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira:
A replicated Unix file system. ACM SIGOPS European Workshop 1990 - [c40]Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira:
A Replicated Unix File System. Workshop on the Management of Replicated Data 1990: 11-14 - [c39]Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services. Workshop on the Management of Replicated Data 1990: 31-34
1980 – 1989
- 1989
- [c38]Andrew Xu, Barbara Liskov:
A design for a fault-tolerant, distributed implementation of Linda. FTCS 1989: 199-206 - [c37]Barbara Liskov, Liuba Shrira, John Wroclawski:
Efficient at-most-once messages based on synchronized clocks. WWOS 1989: 73-81 - [c36]Elliot K. Kolodner, Barbara Liskov, William E. Weihl:
Atomic Garbage Collection: Managing a Stable Heap. SIGMOD Conference 1989: 15-25 - 1988
- [j16]Rivka Ladin, Barbara Liskov, Liuba Shrira:
A Technique for Constructing Highly Available Services. Algorithmica 3: 393-420 (1988) - [j15]Barbara Liskov:
Distributed Programming in Argus. Commun. ACM 31(3): 300-312 (1988) - [c35]Barbara Liskov, Liuba Shrira:
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. PLDI 1988: 260-267 - [c34]Brian M. Oki, Barbara Liskov:
Viewstamped Replication: A General Primary Copy. PODC 1988: 8-17 - 1987
- [c33]Barbara Liskov:
Keynote address - data abstraction and hierarchy. OOPSLA Addendum 1987: 17-34 - [c32]Barbara Liskov, Dorothy Curtis, Paul Johnson, Robert Scheifler:
Implementation of Argus. SOSP 1987: 111-122 - 1986
- [j14]Barbara Liskov, William E. Weihl:
Specifications of Distributed Programs. Distributed Comput. 1(2): 102-118 (1986) - [c31]Barbara Liskov:
Argus. Fault-Tolerant Distributed Computing 1986: 108-114 - [c30]Barbara Liskov, Rivka Ladin:
Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection. PODC 1986: 29-39 - [c29]Barbara Liskov, Maurice Herlihy, Lucy Gilbert:
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. POPL 1986: 150-159 - 1985
- [j13]William E. Weihl, Barbara Liskov:
Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269 (1985) - [c28]Brian M. Oki, Barbara Liskov, Robert Scheifler:
Reliable Object Storage to Support Atomic Actions. SOSP 1985: 147-159 - [e1]