Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarBarbara Liskov
Person information
- affiliation: Massachusetts Institute of Technology
- award: Turing Award, 2008
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2016
[c101]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- [c100]Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers:
Accepting blame for safe tunneled exceptions. PLDI 2016: 281-295 - 2015
- [c99]Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers:
Lightweight, flexible object-oriented generics. PLDI 2015: 436-445 - [c98]
- 2014
- [c97]Wenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov:
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism. OSDI 2014: 465-477 - [c96]Ross Shaull, Liuba Shrira, Barbara Liskov:
A Modular and Efficient Past State System for Berkeley DB. USENIX Annual Technical Conference 2014: 157-168 - 2013
- [c95]David A. Schultz, Barbara Liskov:
IFDB: decentralized information flow control for databases. EuroSys 2013: 43-56 - [c94]Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden:
Speedy transactions in multicore in-memory databases. SOSP 2013: 18-32 - 2012
- [j32]Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz:
Automatic Reconfiguration for Large-Scale Reliable Storage Systems. IEEE Trans. Dependable Sec. Comput. 9(2): 145-158 (2012) - [c93]Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth:
Programming Languages - Past Achievements and Future Challenges. ACM-TURING 2012: 12:1 - [c92]
- [c91]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: 139-151 - [c90]James A. Cowling, Barbara Liskov:
Granola: Low-Overhead Distributed Transaction Coordination. USENIX Annual Technical Conference 2012: 223-235 - 2010
- [j31]David A. Schultz, Barbara Liskov, Moses Liskov:
MPSS: Mobile Proactive Secret Sharing. ACM Trans. Inf. Syst. Secur. 13(4): 34:1-34:32 (2010) - [c89]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 - [c88]Barbara Liskov:
From Viewstamped Replication to Byzantine Fault Tolerance. Replication 2010: 121-149 - [c87]
2000 – 2009
- 2009
- [j30]Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov:
Full-Information Lookups for Peer-to-Peer Overlays. IEEE Trans. Parallel Distrib. Syst. 20(9): 1339-1351 (2009) - [c86]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 - [c85]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 - 2008
- [c84]
- 2007
- [c83]Ben Leong, Barbara Liskov, Robert Tappan Morris:
Greedy Virtual Coordinates for Geographic Routing. ICNP 2007: 71-80 - [c82]Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden:
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. SOSP 2007: 59-72 - [c81]Daniel S. Myers, Jennifer N. Carlisle, James A. Cowling, Barbara Liskov:
MapJAX: Data Structure Abstractions for Asynchronous Web Applications. USENIX Annual Technical Conference 2007: 101-114 - 2006
- [j29]Ben Leong, Barbara Liskov, Erik D. Demaine:
EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management. Computer Communications 29(9): 1243-1259 (2006) - [c80]Sameer Ajmani, Barbara Liskov, Liuba Shrira:
Modular Software Upgrades for Distributed Systems. ECOOP 2006: 452-476 - [c79]Barbara Liskov, Rodrigo Rodrigues:
Tolerating Byzantine Faulty Clients in a Quorum System. ICDCS 2006: 34 - [c78]Ben Leong, Barbara Liskov, Robert Tappan Morris:
Geographic Routing Without Planarization. NSDI 2006 - [c77]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
- [c76]Ben Leong, Sayan Mitra, Barbara Liskov:
Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158 - [c75]Rodrigo Rodrigues, Barbara Liskov:
High Availability in DHTs: Erasure Coding vs. Replication. IPTPS 2005: 226-239 - [c74]
- 2004
- [c73]Ben Leong, Barbara Liskov, Erik D. Demaine:
EpiChord: parallelizing the chord lookup algorithm with reactive routing state management. ICON 2004: 270-276 - [c72]Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues:
Efficient Routing for Peer-to-Peer Overlays. NSDI 2004: 113-126 - [c71]Chuang-Hue Moh, Barbara Liskov:
TimeLine: A High Performance Archive for a Distributed Object Store. NSDI 2004: 351-364 - [c70]Rodrigo Rodrigues, Barbara Liskov:
Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. PODC 2004: 386 - [c69]Barbara Liskov, Rodrigo Rodrigues:
Transactional file systems can be fast. ACM SIGOPS European Workshop 2004: 5 - 2003
- [j28]Miguel Castro, Rodrigo Rodrigues, Barbara Liskov:
BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (2003) - [c68]Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues:
One Hop Lookups for Peer-to-Peer Overlays. HotOS 2003: 7-12 - [c67]Sameer Ajmani, Barbara Liskov, Liuba Shrira:
Scheduling and Simulation: How to Upgrade Distributed Systems. HotOS 2003: 43-48 - [c66]Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman:
Lazy modular upgrades in persistent object stores. OOPSLA 2003: 403-417 - [c65]Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira:
Ownership types for object encapsulation. POPL 2003: 213-223 - 2002
- [j27]Miguel Castro, Barbara Liskov:
Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002) - [c64]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 - [c63]
- [c62]Miguel Castro, Rodrigo Rodrigues, Barbara Liskov:
Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32 - [c61]Rodrigo Rodrigues, Miguel Castro, Barbara Liskov:
BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28 - 2000
- [j26]Andrew C. Myers, Barbara Liskov:
Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000) - [c60]Atul Adya, Barbara Liskov, Patrick E. O'Neil:
Generalized Isolation Level Definitions. ICDE 2000: 67-78 - [c59]Miguel Castro, Barbara Liskov:
Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288
1990 – 1999
- 1999
- [c58]Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya:
Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257 - [c57]
- 1998
- [c56]Andrew C. Myers, Barbara Liskov:
Complete, Safe Information Flow with Decentralized Labels. IEEE Symposium on Security and Privacy 1998: 186-197 - 1997
- [j25]Umesh Maheshwari, Barbara Liskov:
Collecting Cyclic Distributed Garbage by Controlled Migration. Distributed Computing 10(2): 79-86 (1997) - [c55]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 - [c54]
- [c53]Umesh Maheshwari, Barbara Liskov:
Collecting Distributed Garbage Cycles by Back Tracing. PODC 1997: 239-248 - [c52]
- [c51]Umesh Maheshwari, Barbara Liskov:
Partitioned Garbage Collection of Large Object Store. SIGMOD Conference 1997: 313-323 - [c50]Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers:
HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115 - [c49]Andrew C. Myers, Barbara Liskov:
A Decentralized Model for Information Flow Control. SOSP 1997: 129-142 - 1996
- [c48]Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan:
Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10 - [c47]Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya:
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996: 128-139 - [c46]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 - [c45]Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya:
How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127 - 1995
- [c44]Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers:
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA 1995: 156-168 - [c43]Umesh Maheshwari, Barbara Liskov:
Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration. PODC 1995: 57-63 - [c42]Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari:
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks. SIGMOD Conference 1995: 23-34 - [c41]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 - [c40]Barbara Liskov, Jeannette M. Wing:
Specifications and Their Use in Defining Subtypes. ZUM 1995: 245-263 - 1994
- [j24]Barbara Liskov, Jeannette M. Wing:
A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994) - [c39]Phillip Bogle, Barbara Liskov:
Reducing Cross Domain Call Overhead using Batched Futures. OOPSLA 1994: 341-354 - [c38]Umesh Maheshwari, Barbara Liskov:
Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database. PDIS 1994: 239-248 - [c37]Robert Gruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira:
Disconnected Operation in the Thor Object-Oriented Database System. WMCSA 1994: 51-56 - 1993
- [j23]Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems. Distributed Computing 6(4): 211-219 (1993) - [j22]Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers:
References to Remote Mobile Objects in Thor. LOPLAS 2(1-4): 115-126 (1993) - [c36]
- [c35]
- [c34]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
- [j21]Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat:
Providing High Availability Using Lazy Replication. ACM Trans. Comput. Syst. 10(4): 360-391 (1992) - [c33]
- [c32]
- [c31]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
- [j20]Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract). Operating Systems Review 25(1): 49-55 (1991) - [j19]Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira:
A Replicated Unic File System. Operating Systems Review 25(1): 60-64 (1991) - [j18]Barbara Liskov, Liuba Shrira, John Wroclawski:
Efficient At-Most-Once Messages Based on Synchronized Clocks. ACM Trans. Comput. Syst. 9(2): 125-142 (1991) - [c30]
- [c29]Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, Michael Williams:
Replication in the Harp File System. SOSP 1991: 226-238 - 1990
- [c28]Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services. PODC 1990: 43-57 - [c27]
- [c26]Barbara Liskov, Paul Johnson, Robert Gruber, Liuba Shrira:
A Highly Available Object Repository for Use in a Heterogeneous Distributed System. POS 1990: 255-266 - [c25]Barbara Liskov, Liuba Shrira, John Wroclawski:
Efficient At-Most-Once Messages Based on Synchronized Clocks. SIGCOMM 1990: 41-49 - [c24]Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy replication: exploiting the semantics of distributed services. ACM SIGOPS European Workshop 1990 - [c23]Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira:
A replicated Unix file system. ACM SIGOPS European Workshop 1990 - [c22]Barbara Liskov, Robert Gruber, Paul Johnson, Liuba Shrira:
A Replicated Unix File System. Workshop on the Management of Replicated Data 1990: 11-14 - [c21]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
- [c20]
- [c19]Elliot K. Kolodner, Barbara Liskov, William E. Weihl:
Atomic Garbage Collection: Managing a Stable Heap. SIGMOD Conference 1989: 15-25 - 1988
- [j17]Rivka Ladin, Barbara Liskov, Liuba Shrira:
A Technique for Constructing Highly Available Services. Algorithmica 3: 393-420 (1988) - [j16]
- [c18]Barbara Liskov, Liuba Shrira:
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. PLDI 1988: 260-267 - [c17]
- 1987
- [c16]Barbara Liskov, Dorothy Curtis, Paul Johnson, Robert Scheifler:
Implementation of Argus. SOSP 1987: 111-122 - 1986
- [j15]Barbara Liskov, William E. Weihl:
Specifications of Distributed Programs. Distributed Computing 1(2): 102-118 (1986) - [c15]
- [c14]Barbara Liskov, Rivka Ladin:
Highly-Available Distributed Service and Fault-Tolerant Distributed Garbage Collection. PODC 1986: 29-39 - [c13]Barbara Liskov, Maurice Herlihy, Lucy Gilbert:
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. POPL 1986: 150-159 - 1985
- [j14]William E. Weihl, Barbara Liskov:
Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269 (1985) - [c12]Brian M. Oki, Barbara Liskov, Robert Scheifler:
Reliable Object Storage to Support Atomic Actions. SOSP 1985: 147-159 - [e1]Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider:
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany. Lecture Notes in Computer Science 190, Springer 1985, ISBN 3-540-15216-4 [contents] - 1984
- [j13]Lawrence A. Rowe, L. Peter Deutsch, Stuart I. Feldman, Butler W. Lampson, Barbara Liskov, Terry Winograd:
Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systems. SIGPLAN Notices 19(8): 51-61 (1984) - [c11]
- 1983
- [j12]William E. Weihl, Barbara Liskov:
Specification and implementation of resilient, atomic data types. SIGPLAN Notices 18(6): 53-64 (1983) - [j11]Barbara Liskov, Robert Scheifler:
Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404 (1983) - [c10]Barbara Liskov, Maurice Herlihy:
Issues Process and Communication Structure for Distributed Programs. Symposium on Reliability in Distributed Software and Database Systems 1983: 123-132 - 1982
- [j10]Maurice Herlihy, Barbara Liskov:
A Value Transmission Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 4(4): 527-551 (1982) - [j9]Barbara Liskov:
On Linguistic Support for Distributed Programs. IEEE Trans. Software Eng. 8(3): 203-210 (1982) - [c9]Barbara Liskov, Robert Scheifler:
Guardians and Actions: Linguistic Support for Robust, Distributed Programs. POPL 1982: 7-19 - 1981
- [b1]Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder:
CLU Reference Manual. Lecture Notes in Computer Science 114, Springer 1981, ISBN 3-540-10836-X - [j8]Barbara Liskov:
Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980. Operating Systems Review 15(3): 9-38 (1981)
1970 – 1979
- 1979
- [j7]Barbara Liskov, Alan Snyder:
Exception Handling in CLU. IEEE Trans. Software Eng. 5(6): 546-558 (1979) - [c8]Barbara Liskov:
Modular Program Construction Using Abstractions. Abstract Software Specifications 1979: 354-389 - [c7]
- 1978
- [j6]Anita K. Jones, Barbara Liskov:
A Language Extension for Expressing Constraints on Data Access. Commun. ACM 21(5): 358-367 (1978) - [c6]Russell R. Atkinson, Barbara Liskov, Robert Scheifler:
Aspects Of Implementing CLU. ACM Annual Conference (1) 1978: 123-129 - [c5]Bharat K. Bhargava, Stephen R. Kimbleton, Barbara Liskov, Jack Minker, Jeffrey D. Ullman:
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). ACM Annual Conference (1) 1978: 325 - 1977
- [j5]Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert:
Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576 (1977) - 1976
- [j4]Anita K. Jones, Barbara Liskov:
A Language Extension for Controlling Access to Shared Data. IEEE Trans. Software Eng. 2(4): 277-285 (1976) - [c4]Anita K. Jones, Barbara Liskov:
A Language Extension for Controlling Access to Shared Data (Abstract). ICSE 1976: 235 - 1975
- [j3]Barbara Liskov, Stephen N. Zilles:
Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19 (1975) - [c3]Barbara Liskov:
Data types and program correctness. AFIPS National Computer Conference 1975: 285-286 - 1974
- [j2]Barbara Liskov, Stephen N. Zilles:
Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59 (1974) - 1972
- [j1]
- [c2]Barbara Liskov:
A design methodology for reliable software systems. AFIPS Fall Joint Computing Conference (1) 1972: 191-199 - 1971
- [c1]
Coauthor Index
maintained by 
at 
at 
last updated on 2018-06-28 13:55 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint