B
Barbara Liskov
Researcher at Massachusetts Institute of Technology
Publications - 205
Citations - 26653
Barbara Liskov is an academic researcher from Massachusetts Institute of Technology. The author has contributed to research in topics: Byzantine fault tolerance & Replication (computing). The author has an hindex of 76, co-authored 204 publications receiving 25026 citations. Previous affiliations of Barbara Liskov include Carnegie Mellon University & Mitre Corporation.
Papers
More filters
Proceedings ArticleDOI
Practical Byzantine fault tolerance
Miguel Castro,Barbara Liskov +1 more
TL;DR: A new replication algorithm that is able to tolerate Byzantine faults that works in asynchronous environments like the Internet and incorporates several important optimizations that improve the response time of previous algorithms by more than an order of magnitude.
Journal ArticleDOI
Practical byzantine fault tolerance and proactive recovery
Miguel Castro,Barbara Liskov +1 more
TL;DR: A new replication algorithm, BFT, is described that can be used to build highly available systems that tolerate Byzantine faults and is used to implement the first Byzantine-fault-tolerant NFS file system, BFS.
Journal ArticleDOI
A behavioral notion of subtyping
Barbara Liskov,Jeannette M. Wing +1 more
TL;DR: This paper presents a way of specifying types that makes it convenient to define the subtype relation, and discusses the ramifications of this notion of subtyping on the design of type families.
Proceedings ArticleDOI
Programming with abstract data types
Barbara Liskov,Stephen N. Zilles +1 more
TL;DR: An approach which allows the set of built-in abstractions to be augmented when the need for a new data abstraction is discovered and is an outgrowth of work on designing a language for structured programming.
Journal ArticleDOI
Abstraction mechanisms in CLU
TL;DR: This paper provides an introduction to the abstraction mechanisms in CLU by means of programming examples, and it is shown how CLU programs may be written to use and implement abstractions.