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]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
- [j12]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. ACM SIGPLAN Notices 19(8): 51-61 (1984) - [c27]Barbara Liskov:
The Argus Language and System. Advanced Course: Distributed Systems 1984: 343-430 - 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) - [c26]Barbara Liskov, Maurice Herlihy:
Issues Process and Communication Structure for Distributed Programs. Symposium on Reliability in Distributed Software and Database Systems 1983: 123-132 - [c25]William E. Weihl, Barbara Liskov:
Specification and implementation of resilient, atomic data types. SIGPLAN 1983: 53-64 - 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) - [c24]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. ACM SIGOPS Oper. Syst. Rev. 15(3): 9-38 (1981)
1970 – 1979
- 1979
- [j7]Barbara H. Liskov, Alan Snyder:
Exception Handling in CLU. IEEE Trans. Software Eng. 5(6): 546-558 (1979) - [c23]Barbara H. Liskov:
Modular Program Construction Using Abstractions. Abstract Software Specifications 1979: 354-389 - [c22]Barbara H. Liskov:
Primitives for Distributed Computing. SOSP 1979: 33-42 - 1978
- [j6]Anita K. Jones, Barbara H. Liskov:
A Language Extension for Expressing Constraints on Data Access. Commun. ACM 21(5): 358-367 (1978) - [c21]Russell R. Atkinson, Barbara H. Liskov, Robert Scheifler:
Aspects Of Implementing CLU. ACM Annual Conference (1) 1978: 123-129 - [c20]Bharat K. Bhargava, Stephen R. Kimbleton, Barbara H. Liskov, Jack Minker, Jeffrey D. Ullman:
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). ACM Annual Conference (1) 1978: 325 - [c19]Barbara H. Liskov:
Practical benefits of research in programming methodology (Abstract of presentation). AFIPS National Computer Conference 1978: 666 - [c18]Barbara Liskov:
Transcript of question and answer session. HOPL 1978: 195-196 - [c17]Barbara Liskov:
Full text of all questions submitted. HOPL 1978: 196-197 - [c16]Barbara Liskov:
Biography of John McCarthy. HOPL 1978: 197 - [c15]Barbara Liskov:
Transcript of question and answer session. HOPL 1978: 435-436 - [c14]Barbara Liskov:
Full text of all questions submitted. HOPL 1978: 436-437 - [c13]Barbara Liskov:
Biography of Geoffrey Gordon. HOPL 1978: 437 - [c12]Barbara Liskov:
Transcript of question and answer session. HOPL 1978: 490 - [c11]Barbara Liskov:
Full text of all questions submitted. HOPL 1978: 491 - [c10]Barbara Liskov:
Biography of Kristen Nygaard. HOPL 1978: 492 - [c9]Barbara Liskov:
Biography of Ole-Johan Dahl. HOPL 1978: 493 - 1977
- [j5]Barbara H. 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 H. Liskov:
A Language Extension for Controlling Access to Shared Data. IEEE Trans. Software Eng. 2(4): 277-285 (1976) - [c8]Anita K. Jones, Barbara H. Liskov:
A Language Extension for Controlling Access to Shared Data (Abstract). ICSE 1976: 235 - 1975
- [j3]Barbara H. Liskov:
Data types and program correctness. ACM SIGPLAN Notices 10(7): 16-17 (1975) - [j2]Barbara H. Liskov, Stephen N. Zilles:
Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19 (1975) - [c7]Barbara H. Liskov:
Data types and program correctness. AFIPS National Computer Conference 1975: 285-286 - [c6]Barbara Liskov, Stephen N. Zilles:
Specification techniques for data abstractions. Reliable Software 1975: 72-87 - 1974
- [c5]Barbara H. Liskov, Stephen N. Zilles:
Programming with Abstract Data Types. SIGPLAN Symposium on Very High Level Languages 1974: 50-59 - 1973
- [c4]Robert A. Freiburghouse, Barbara Liskov:
Report of session on structured programming. SIGPLAN-SIGOPS Interface Meeting 1973: 5-10 - [c3]Barbara H. Liskov, Leroy A. Smith:
SPIL: A language for construction of reliable system software. SIGPLAN-SIGOPS Interface Meeting 1973: 100-103 - 1972
- [j1]Barbara H. Liskov:
The Design of the Venus Operating System. Commun. ACM 15(3): 144-149 (1972) - [c2]Barbara H. Liskov:
A design methodology for reliable software systems. AFIPS Fall Joint Computing Conference (1) 1972: 191-199 - 1971
- [c1]Barbara H. Liskov:
The Design of the Venus Operating System. SOSP 1971: 11-16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
