分布式系统---1 图灵奖获奖者Barbara Liskov介绍


分布式领域图灵奖牛人Barbara Liskov

维基介绍,英文原文链接https://en.wikipedia.org/wiki/Barbara_Liskov

Barbara Liskov教授,就职于MIT,是美国杰出的计算机科学家,是美国第一位获得计算机科学Ph.D.的女性。1939年出生于加州洛杉矶,1961年在Berkeley获得数学学士学位,1968年在Standford获得计算机博士学位,师从著名的人工智能领域大师John McCathy。

19世纪70年代期间,她发明和研究CLU编程语言,它是一种基于对象(Object-based)的能力,提供抽象数据类型(Abstract data type)、共享式调用(Call by Sharing)、迭代器(Iterators)、多返回值(Multiple return value)、类型安全参数(Type safe parameters )、类型安全变量(Type safevariant)、支持类的构造器和方法,但不支持继承。

19世纪80年代期间,发明和研究Argus编程语言,它是CLU编程语言的扩展,可以更好的支持分布式程序,提供封装和原子操作;1987年,在一个重要会议的Keynote中,提出了著名的里氏替换原则(Liskov substitutionprinciple),其核心思路是“Inheritance should ensure that anyproperty proved about supertype objects also holds for subtype objects.”,也就是说“继承必须确保超类所拥有的性质在子类中仍然成立”,更通俗的描述就是“老鼠的儿子会打洞”。

1988年,发表了分布式领域关键里程碑的论文Viewstamped Replication(简称VR): A General Primary Copy,该论文给出了分布式系统复制的理论和工程实现的详细分析和设计,足以支撑产品级实现。该论文基于Fail-Stop故障模式(故障之后停止工作),实现2F+1的容错能力(2F+1个副本,可以容忍F个副本故障);相比较于PAXOS论文,它更加的简单直接、容易理解,但是和PAXOS相比VR并没提供完备的选主(Leader Select)功能,它被后续的复制协议广泛参考引用,比如RAFT。

19世纪90年代,Liskov教授进一步深入研究分布式系统,1999年发表了Practical Byzantine Fault Tolerance(简称BFT),它基于Byzatine-Fail故障模式(故障之后不是停止工作,而会以捣乱的方式继续运行,可能发送正确或错误的消息,极大地影响系统的正确运行),实现3F+1的容错能力(3F+1个副本,可以容忍F个副本故障);它是VR的改进版本,也是很多工程实现的参考。

20世纪以后,Liskov教授继续在分布式网络里面研究,比如P2P网络、DHT等技术,2008年因为在编程语言、分布式领域的卓越共享,Barbara Liskov教授获得了Turing奖。

Barbara Liskov教授研究成果(http://dblp.uni-trier.de/pers/hd/l/Liskov:Barbara.html):

2016

  <Author>NathanielHerman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, BarbaraLiskov, Liuba Shrira:

    [Name]Type-awaretransactions for faster concurrent code. EuroSys 2016: 31:1-31:16

  <Author>YizhouZhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers:

    [Name]Accepting blamefor safe tunneled exceptions. PLDI 2016: 281-295

2015

  <Author>YizhouZhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers:

    [Name]Lightweight,flexible object-oriented generics. PLDI 2015: 436-445

  <Author>BarbaraLiskov:

    [Name]Perspectives onsystem languages and abstraction. SOSP History Day 2015: 5:1-5:25

2014

  <Author>WentingZheng, Stephen Tu, Eddie Kohler, Barbara Liskov:

    [Name]Fast Databaseswith Fast Durability and Recovery Through Multicore Parallelism. OSDI 2014:465-477

  <Author>RossShaull, Liuba Shrira, Barbara Liskov:

    [Name]A Modular andEfficient Past StateSystem for BerkeleyDB. USENIX Annual Technical Conference 2014: 157-168

2013

  <Author>David A.Schultz, Barbara Liskov:

    [Name]IFDB:decentralized information flow control for databases. EuroSys 2013: 43-56

  <Author>StephenTu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden:

    [Name]Speedytransactions in multicore in-memory databases. SOSP 2013: 18-32

2012

  <Author>RodrigoRodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz:

    [Name]AutomaticReconfiguration for Large-Scale Reliable Storage Systems. IEEE Trans.Dependable Sec. Comput. 9(2): 145-158 (2012)

  <Author>SusanGraham, Frances E. Allen, Barbara Liskov, Niklaus Wirth:

    [Name]ProgrammingLanguages - Past Achievements and Future Challenges. ACM-TURING 2012: 12:1

  <Author>BarbaraLiskov:

    [Name]Keynotepresentation: Programming the turing machine. HILT 2012: 23-24

  <Author>WinnieCheng, Dan R. K. Ports, David A. Schultz, Victoria Popic, Aaron Blankstein,James A. Cowling, Dorothy Curtis, Liuba Shrira, Barbara Liskov:

    [Name]Abstractions forUsable Information Flow Control in Aeolus. USENIX Annual Technical Conference2012: 139-151

  <Author>James A.Cowling, Barbara Liskov:

    [Name]Granola:Low-Overhead Distributed Transaction Coordination. USENIX Annual TechnicalConference 2012: 223-235

2010

  <Author>David A.Schultz, Barbara Liskov, Moses Liskov:

    [Name]MPSS: Mobile Proactive SecretSharing. ACM Trans. Inf. Syst. Secur. 13(4): 34:1-34:32 (2010)

  <Author>Dan R. K. Ports,Austin T. Clements, Irene Zhang, Samuel Madden, Barbara Liskov:

    [Name]TransactionalConsistency and Automatic Management in an Application Data Cache. OSDI 2010:279-292

  <Author>BarbaraLiskov:

    [Name]From ViewstampedReplication to Byzantine Fault Tolerance. Replication 2010: 121-149

  <Author>BarbaraLiskov:

    [Name]The Power ofAbstraction - (Invited Lecture Abstract). DISC 2010: 3

 

2009

  <Author>PedroFonseca, Rodrigo Rodrigues, Anjali Gupta, Barbara Liskov:

    [Name]Full-InformationLookups for Peer-to-Peer Overlays. IEEE Trans. Parallel Distrib. Syst. 20(9):1339-1351 (2009)

  <Author>BenjaminWester, James A. Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn,Barbara Liskov:

    [Name]ToleratingLatency in Replicated State Machines Through Client Speculation. NSDI 2009:245-260

  <Author>James A.Cowling, Dan R. K. Ports, Barbara Liskov, Raluca Ada Popa,Abhijeet Gaikwad:

    [Name]Census:Location-Aware Membership Management for Large-Scale Distributed Systems.USENIX Annual Technical Conference 2009

2008

  <Author>David A.Schultz, Barbara Liskov, Moses Liskov:

    [Name]Mobile proactivesecret sharing. PODC 2008: 458

2007

  <Author>Ben Leong,Barbara Liskov, Robert Morris:

    [Name]Greedy VirtualCoordinates for Geographic Routing. ICNP 2007: 71-80

  <Author>BenVandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden:

    [Name]Toleratingbyzantine faults in transaction processing systems using commit barrierscheduling. SOSP 2007: 59-72

  <Author>Daniel S.Myers, Jennifer N. Carlisle, James A. Cowling, Barbara Liskov:

    [Name]MapJAX: DataStructure Abstractions for Asynchronous Web Applications. USENIX AnnualTechnical Conference 2007: 101-114

2006

  <Author>Ben Leong,Barbara Liskov, Erik D. Demaine:

    [Name]EpiChord:Parallelizing the Chord lookup algorithm with reactive routing statemanagement. Computer Communications 29(9): 1243-1259 (2006)

  <Author>SameerAjmani, Barbara Liskov, Liuba Shrira:

    [Name]Modular SoftwareUpgrades for Distributed Systems. ECOOP 2006: 452-476

  <Author>BarbaraLiskov, Rodrigo Rodrigues:

    [Name]Tolerating Byzantine Faulty Clients in aQuorum System. ICDCS 2006: 34

  <Author>Ben Leong,Barbara Liskov, Robert Morris:

    [Name]GeographicRouting Without Planarization. NSDI 2006

  <Author>James A.Cowling, Daniel S. Myers, Barbara Liskov, Rodrigo Rodrigues, Liuba Shrira:

    [Name]HQ Replication:A Hybrid Quorum Protocol for Byzantine Fault Tolerance. OSDI 2006: 177-190

2005

  <Author>Ben Leong,Sayan Mitra, Barbara Liskov:

    [Name]Path Vector FaceRouting: Geographic Routing with Local Face Information. ICNP 2005: 147-158

  <Author>RodrigoRodrigues, Barbara Liskov:

    [Name]HighAvailability in DHTs: Erasure Coding vs. Replication. IPTPS 2005: 226-239

  <Author>BarbaraLiskov, Rodrigo Rodrigues:

    [Name]ByzantineClients Rendered Harmless. DISC 2005: 487-489

2004

  <Author>Ben Leong,Barbara Liskov, Erik D. Demaine:

    [Name]EpiChord:parallelizing the chord lookup algorithm with reactive routing statemanagement. ICON 2004: 270-276

  <Author>AnjaliGupta, Barbara Liskov, Rodrigo Rodrigues:

    [Name]EfficientRouting for Peer-to-Peer Overlays. NSDI 2004: 113-126

  <Author>Chuang-HueMoh, Barbara Liskov:

    [Name]TimeLine: A HighPerformance Archive for a Distributed Object Store. NSDI 2004: 351-364

  <Author>RodrigoRodrigues, Barbara Liskov:

    [Name]Briefannouncement: reconfigurable byzantine-fault-tolerant atomic memory. PODC 2004:386

  <Author>BarbaraLiskov, Rodrigo Rodrigues:

    [Name]Transactionalfile systems can be fast. ACM SIGOPS European Workshop 2004: 5

2003

  <Author>MiguelCastro, Rodrigo Rodrigues, Barbara Liskov:

    [Name]BASE: Usingabstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269(2003)

  <Author>AnjaliGupta, Barbara Liskov, Rodrigo Rodrigues:

    [Name]One Hop Lookupsfor Peer-to-Peer Overlays. HotOS 2003: 7-12

  <Author>SameerAjmani, Barbara Liskov, Liuba Shrira:

    [Name]Scheduling andSimulation: How to Upgrade Distributed Systems. HotOS 2003: 43-48

 <Author>Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira,Chuang-Hue Moh, Steven Richman:

    [Name]Lazy modularupgrades in persistent object stores. OOPSLA 2003: 403-417

 <Author>Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira:

    [Name]Ownership typesfor object encapsulation. POPL 2003: 213-223

2002

  <Author>Miguel Castro,Barbara Liskov:

    [Name]Practicalbyzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst.20(4): 398-461 (2002)

  <Author>RodrigoRodrigues, Barbara Liskov, Liuba Shrira:

    [Name]The design of arobust peer-to-peer system. ACM SIGOPS European Workshop 2002: 117-124

2001

#<Author>Barbara Liskov, John V. Guttag:

    [Name]ProgramDevelopment in Java - Abstraction, Specification, and Object-Oriented Design.Addison-Wesley 2001, ISBN 978-0-201-65768-5, pp. I-XIX, 1-443

  <Author>MiguelCastro, Barbara Liskov:

    [Name]Byzantine FaultTolerance Can Be Fast. DSN 2001: 513-518

  <Author>MiguelCastro, Rodrigo Rodrigues, Barbara Liskov:

    [Name]UsingAbstraction To Improve Fault Tolerance. HotOS 2001: 27-32

  <Author>RodrigoRodrigues, Miguel Castro, Barbara Liskov:

    [Name]BASE: UsingAbstraction to Improve Fault Tolerance. SOSP 2001: 15-28

2000

  <Author>Andrew C.Myers, Barbara Liskov:

    [Name]Protectingprivacy using the decentralized label model. ACM Trans. Softw.Eng.Methodol.9(4): 410-442 (2000)

  <Author>Atul Adya,Barbara Liskov, Patrick E. O'Neil:

    [Name]GeneralizedIsolation Level Definitions. ICDE 2000: 67-78

  <Author>MiguelCastro, Barbara Liskov:

    [Name]ProactiveRecovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288

 

1999

  <Author>BarbaraLiskov, Miguel Castro, Liuba Shrira, Atul Adya:

    [Name]ProvidingPersistent Objects in Distributed Systems. ECOOP 1999: 230-257

  <Author>MiguelCastro, Barbara Liskov:

    [Name]PracticalByzantine Fault Tolerance. OSDI 1999: 173-186

1998

  <Author>Andrew C.Myers, Barbara Liskov:

    [Name]Complete, SafeInformation Flow with Decentralized Labels. IEEE Symposium on Security andPrivacy 1998: 186-197

1997

  <Author>UmeshMaheshwari, Barbara Liskov:

    [Name]CollectingCyclic Distributed Garbage by Controlled Migration. Distributed Computing10(2): 79-86 (1997)

  <Author>Atul Adya,Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira:

    [Name]FragmentReconstruction: Providing Global Cache Coherence in a Transactional StorageSystem. ICDCS 1997: 2-11

  <Author>Atul Adya,Barbara Liskov:

    [Name]Lazy ConsistencyUsing Loosely Synchronized Clocks. PODC 1997: 73-82

  <Author>UmeshMaheshwari, Barbara Liskov:

    [Name]CollectingDistributed Garbage Cycles by Back Tracing. PODC 1997: 239-248

  <Author>Andrew C.Myers, Joseph A. Bank, Barbara Liskov:

    [Name]ParameterizedTypes for Java. POPL 1997: 132-145

  <Author>UmeshMaheshwari, Barbara Liskov:

    [Name]PartitionedGarbage Collection of Large Object Store. SIGMOD Conference 1997: 313-323

  <Author>MiguelCastro, Atul Adya, Barbara Liskov, Andrew C. Myers:

    [Name]HAC: HybridAdaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115

  <Author>Andrew C.Myers, Barbara Liskov:

    [Name]A DecentralizedModel for Information Flow Control. SOSP 1997: 129-142

1996

  <Author>BarbaraLiskov, Atul Adya, Miguel Castro, Quinton Zondervan:

    [Name]Type-SafeHeterogeneous Sharing can be Fast. POS 1996: 1-10

  <Author>LiubaShrira, Barbara Liskov, Miguel Castro, Atul Adya:

    [Name]FragmentReconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996:128-139

  <Author>BarbaraLiskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber,Umesh Maheshwari, Andrew C. Myers, Liuba Shrira:

    [Name]Safe andEfficient Sharing of Persistent Objects in Thor. SIGMOD Conference 1996:318-329

  <Author>LiubaShrira, Barbara Liskov, Miguel Castro, Atul Adya:

    [Name]How to scaletransactional storage systems. ACM SIGOPS European Workshop 1996: 121-127

1995

  <Author>Mark Day,Robert Gruber, Barbara Liskov, Andrew C. Myers:

    [Name]Subtypes vs.Where Clauses: Constraining Parametric Polymorphism. OOPSLA 1995: 156-168

  <Author>UmeshMaheshwari, Barbara Liskov:

    [Name]CollectingCyclic Distributed Garbage Using Heuristics to Control Migration. PODC 1995:57-63

  <Author>Atul Adya,Robert Gruber, Barbara Liskov, Umesh Maheshwari:

    [Name]EfficientOptimistic Concurrency Control Using Loosely Synchronized Clocks. SIGMODConference 1995: 23-34

  <Author>SanjayGhemawat, M. Frans Kaashoek, Barbara Liskov:

    [Name]Using a ModifiedObject Buffer to Improve the Write Performance of an Object-Oriented Database.SOSP 1995: 235

  <Author>BarbaraLiskov, Jeannette M. Wing:

    [Name]Specificationsand Their Use in Defining Subtypes. ZUM 1995: 245-263

1994

  <Author>BarbaraLiskov, Jeannette M. Wing:

    [Name]A BehavioralNotion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994)

  <Author>PhillipBogle, Barbara Liskov:

    [Name]Reducing CrossDomain Call Overhead using Batched Futures. OOPSLA 1994: 341-354

  <Author>UmeshMaheshwari, Barbara Liskov:

    [Name]Fault-TolerantDistributed Garbage Collection in a Client-Server Object-Oriented Database.PDIS 1994: 239-248

  <Author>RobertGruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira:

    [Name]DisconnectedOperation in the Thor Object-Oriented Database System. WMCSA 1994: 51-56

1993

  <Author>BarbaraLiskov:

    [Name]Practical Usesof Synchronized Clocks in Distributed Systems. Distributed Computing 6(4):211-219 (1993)

  <Author>Mark Day,Barbara Liskov, Umesh Maheshwari, Andrew C. Myers:

    [Name]References toRemote Mobile Objects in Thor. LOPLAS 2(1-4):115-126 (1993)

  <Author>BarbaraLiskov, Jeannette M. Wing:

    [Name]A New Definitionof the Subtype Relation. ECOOP 1993: 118-141

  <Author>BarbaraLiskov:

    [Name]A History ofCLU. HOPL Preprints 1993: 133-147

  <Author>BarbaraLiskov, Jeannette M. Wing:

    [Name]Specificationsand Their Use in Defining Subtypes. OOPSLA 1993: 16-28

  <Author>Andrew P.Black, Barbara Liskov:

    [Name]Proceedings ofthe Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, TheGrove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8,1993. ACM 1993, ISBN 0-89791-632-8 [contents]

1992

  <Author>RivkaLadin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat:

    [Name]Providing HighAvailability Using Lazy Replication. ACM Trans. Comput. Syst. 10(4): 360-391(1992)

  <Author>Rivka Ladin,Barbara Liskov:

    [Name]GarbageCollection of a Distributed Heap. ICDCS 1992: 708-715

  <Author>BarbaraLiskov, Mark Day, Liuba Shrira:

    [Name]DistributedObject Management in Thor. IWDOM 1992: 79-91

  <Author>BarbaraLiskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira:

    [Name]EfficientRecovery in Harp. Workshop on the Management of Replicated Data 1992: 104-106

1991

  <Author>RivkaLadin, Barbara Liskov, Liuba Shrira:

    [Name]LazyReplication: Exploiting the Semantics of Distributed Services (ExtendedAbstract). Operating Systems Review 25(1): 49-55 (1991)

  <Author>BarbaraLiskov, Robert Gruber, Paul Johnson, Liuba Shrira:

    [Name]A ReplicatedUnic File System. Operating Systems Review 25(1): 60-64 (1991)

  <Author>BarbaraLiskov, Liuba Shrira, John Wroclawski:

    [Name]EfficientAt-Most-Once Messages Based on Synchronized Clocks. ACM Trans. Comput. Syst.9(2): 125-142 (1991)

  <Author>BarbaraLiskov:

    [Name]Practical Usesof Synchronized Clocks in Distributed Systems. PODC 1991: 1-9

  <Author>BarbaraLiskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, MichaelWilliams:

    [Name]Replication inthe Harp File System. SOSP 1991: 226-238

1990

  <Author>RivkaLadin, Barbara Liskov, Liuba Shrira:

    [Name]LazyReplication: Exploiting the Semantics of Distributed Services. PODC 1990: 43-57

  <Author>BarbaraLiskov:

    [Name]SystemImplementation I - Introduction. POS 1990: 87-88

  <Author>BarbaraLiskov, Paul Johnson, Robert Gruber, Liuba Shrira:

    [Name]A HighlyAvailable Object Repository for Use in a Heterogeneous Distributed System. POS1990: 255-266

  <Author>BarbaraLiskov, Liuba Shrira, John Wroclawski:

    [Name]EfficientAt-Most-Once Messages Based on Synchronized Clocks. SIGCOMM 1990: 41-49

  <Author>RivkaLadin, Barbara Liskov, Liuba Shrira:

    [Name]Lazyreplication: exploiting the semantics of distributed services. ACM SIGOPSEuropean Workshop 1990

  <Author>BarbaraLiskov, Robert Gruber, Paul Johnson, Liuba Shrira:

    [Name]A replicatedUnix file system. ACM SIGOPS European Workshop 1990

  <Author>BarbaraLiskov, Robert Gruber, Paul Johnson, Liuba Shrira:

    [Name]A ReplicatedUnix File System. Workshop on the Management of Replicated Data 1990: 11-14

  <Author>RivkaLadin, Barbara Liskov, Liuba Shrira:

    [Name]LazyReplication: Exploiting the Semantics of Distributed Services. Workshop on theManagement of Replicated Data 1990: 31-34

 

1989

  <Author>Andrew Xu,Barbara Liskov:

    [Name]A design for afault-tolerant, distributed implementation of Linda. FTCS 1989: 199-206

  <Author>Elliot K.Kolodner, Barbara Liskov, William E. Weihl:

    [Name]Atomic GarbageCollection: Managing a Stable Heap. SIGMOD Conference 1989: 15-25

1988

  <Author>RivkaLadin, Barbara Liskov, Liuba Shrira:

    [Name]A Technique forConstructing Highly Available Services. Algorithmica 3: 393-420 (1988)

  <Author>BarbaraLiskov:

    [Name]DistributedProgramming in Argus. Commun. ACM 31(3): 300-312 (1988)

  <Author>BarbaraLiskov, Liuba Shrira:

    [Name]Promises:Linguistic Support for Efficient Asynchronous Procedure Calls in DistributedSystems. PLDI 1988: 260-267

  <Author>Brian M.Oki, Barbara Liskov:

    [Name]ViewstampedReplication: A General Primary Copy. PODC 1988: 8-17

1987

  <Author>BarbaraLiskov, Dorothy Curtis, Paul Johnson, Robert Scheifler:

    [Name]Implementationof Argus. SOSP 1987: 111-122

1986

  <Author>BarbaraLiskov, William E. Weihl:

    [Name]Specificationsof Distributed Programs. Distributed Computing 1(2): 102-118 (1986)

  <Author>BarbaraLiskov:

    [Name]Argus.Fault-Tolerant Distributed Computing 1986: 108-114

  <Author>BarbaraLiskov, Rivka Ladin:

    [Name]Highly-AvailableDistributed Service and Fault-Tolerant Distributed Garbage Collection. PODC1986: 29-39

  <Author>BarbaraLiskov, Maurice Herlihy, Lucy Gilbert:

    [Name]Limitations ofSynchronous Communication with Static Process Structure in Languages forDistributed Computing. POPL 1986: 150-159

1985

  <Author>William E.Weihl, Barbara Liskov:

    [Name]Implementationof Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269(1985)

  <Author>Brian M.Oki, Barbara Liskov, Robert Scheifler:

    [Name]Reliable ObjectStorage to Support Atomic Actions. SOSP 1985: 147-159

  <Author>Mack W.Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov,Geoff P. Mullery, Fred B. Schneider:

    [Name]DistributedSystems: Methods and Tools for Specification, An Advanced Course, April 3-12,1984 and April 16-25, 1985 Munich.Lecture Notes in Computer Science 190, Springer 1985, ISBN 3-540-15216-4[contents]

1984

  <Author>LawrenceA. Rowe, L. Peter Deutsch, Stuart I. Feldman, Butler W. Lampson, BarbaraLiskov, Terry Winograd:

    [Name]Programminglanguage issues for the 1980's: SIGPLAN '83: symposium on programming languagesissues in software systems. SIGPLAN Notices 19(8): 51-61 (1984)

  <Author>BarbaraLiskov:

    [Name]The ArgusLanguage and System. Advanced Course: Distributed Systems 1984: 343-430

1983

  <Author>William E.Weihl, Barbara Liskov:

    [Name]Specificationand implementation of resilient, atomic data types. SIGPLAN Notices 18(6):53-64 (1983)

  <Author>BarbaraLiskov, Robert Scheifler:

    [Name]Guardians andActions: Linguistic Support for Robust, Distributed Programs. ACM Trans.Program. Lang. Syst. 5(3): 381-404 (1983)

  <Author>BarbaraLiskov, Maurice Herlihy:

    [Name]Issues Processand Communication Structure for Distributed Programs. Symposium on Reliabilityin Distributed Software and Database Systems 1983: 123-132

1982

  <Author>MauriceHerlihy, Barbara Liskov:

    [Name]A ValueTransmission Method for Abstract Data Types. ACM Trans. Program. Lang. Syst.4(4): 527-551 (1982)

  <Author>BarbaraLiskov:

    [Name]On LinguisticSupport for Distributed Programs. IEEE Trans. SoftwareEng.8(3): 203-210(1982)

  <Author>BarbaraLiskov, Robert Scheifler:

    [Name]Guardians andActions: Linguistic Support for Robust, Distributed Programs. POPL 1982: 7-19

1981

  <Author>BarbaraLiskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert,Robert Scheifler, Alan Snyder:

    [Name]CLU ReferenceManual. Lecture Notes in Computer Science 114, Springer 1981, ISBN3-540-10836-X

  <Author>BarbaraLiskov:

    [Name]Report on theWorkshop on Fundamental Issues in Distributed Computing, Fallbrook, California,December 1980. Operating Systems Review 15(3): 9-38 (1981)

 

1979

  <Author>BarbaraLiskov, Alan Snyder:

    [Name]ExceptionHandling in CLU. IEEE Trans. SoftwareEng.5(6): 546-558 (1979)

  <Author>BarbaraLiskov:

    [Name]Modular ProgramConstruction Using Abstractions. Abstract Software Specifications 1979: 354-389

  <Author>BarbaraLiskov:

    [Name]Primitives forDistributed Computing. SOSP 1979: 33-42

1978

  <Author>Anita K.Jones, Barbara Liskov:

    [Name]A LanguageExtension for Expressing Constraints on Data Access. Commun. ACM 21(5): 358-367(1978)

  <Author>Russell R.Atkinson, Barbara Liskov, Robert Scheifler:

    [Name]Aspects OfImplementing CLU. ACM Annual Conference (1) 1978: 123-129

  <Author>Bharat K.Bhargava, Stephen R. Kimbleton, Barbara Liskov, Jack Minker, Jeffrey D. Ullman:

   [Name]Crossfertilization Of DBMS Research With Other Disciplines OfComputer Science (Panel Discussion). ACM Annual Conference (1) 1978: 325

1977

  <Author>BarbaraLiskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert:

    [Name]AbstractionMechanisms in CLU. Commun. ACM 20(8): 564-576 (1977)

1976

  <Author>Anita K.Jones, Barbara Liskov:

    [Name]A LanguageExtension for Controlling Access to Shared Data. IEEE Trans. SoftwareEng.2(4): 277-285(1976)

  <Author>Anita K.Jones, Barbara Liskov:

    [Name]A LanguageExtension for Controlling Access to Shared Data (Abstract). ICSE 1976: 235

1975

  <Author>BarbaraLiskov, Stephen N. Zilles:

    [Name]SpecificationTechniques for Data Abstractions. IEEE Trans. SoftwareEng.1(1): 7-19(1975)

  <Author>BarbaraLiskov:

    [Name]Data types andprogram correctness. AFIPS National Computer Conference 1975: 285-286

1974

  <Author>BarbaraLiskov, Stephen N. Zilles:

    [Name]Programming withAbstract Data Types. SIGPLAN Notices 9(4): 50-59 (1974)

1972

  <Author>BarbaraLiskov:

    [Name]The Design ofthe Venus Operating System. Commun. ACM 15(3): 144-149 (1972)

  <Author>BarbaraLiskov:

    [Name]A designmethodology for reliable software systems. AFIPS Fall Joint ComputingConference (1) 1972: 191-199

1971

  <Author>BarbaraLiskov:

    [Name]The Design ofthe Venus Operating System. SOSP 1971: 11-16