Barbara Liskov
#666
Most Influential Person Now
American computer scientist
Barbara Liskov's AcademicInfluence.com Rankings
Barbara Liskovcomputer-science Degrees
Computer Science
#37
World Rank
#39
Historical Rank
#21
USA Rank
Object Oriented Programming
#3
World Rank
#3
Historical Rank
#2
USA Rank
Software Engineering
#44
World Rank
#44
Historical Rank
#28
USA Rank
Database
#85
World Rank
#87
Historical Rank
#51
USA Rank
Download Badge
Computer Science
Barbara Liskov's Degrees
- PhD Computer Science Stanford University
- Bachelors Mathematics University of California, Berkeley
Similar Degrees You Can Earn
Why Is Barbara Liskov Influential?
(Suggest an Edit or Addition)According to Wikipedia, Barbara Liskov is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the introduction of abstract data types and the accompanying principle of data abstraction, along with the Liskov substitution principle, which applies these ideas to object-oriented programming, subtyping, and inheritance. Her work was recognized with the 2008 Turing Award, the highest distinction in computer science.
Barbara Liskov's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Practical byzantine fault tolerance and proactive recovery (2002) (2076)
- A behavioral notion of subtyping (1994) (1321)
- Programming with abstract data types (1974) (830)
- Abstraction mechanisms in CLU (1977) (722)
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs (1983) (635)
- Protecting privacy using the decentralized label model (2000) (629)
- A decentralized model for information flow control (1997) (625)
- Distributed programming in Argus (1988) (539)
- Speedy transactions in multicore in-memory databases (2013) (467)
- Specification techniques for data abstractions (1975) (431)
- Providing high availability using lazy replication (1992) (428)
- High Availability in DHTs: Erasure Coding vs. Replication (2005) (424)
- Promises: linguistic support for efficient asynchronous procedure calls in distributed systems (1988) (419)
- Data Abstraction and Hierarchy (1987) (390)
- Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems (1999) (371)
- HQ replication: a hybrid quorum protocol for byzantine fault tolerance (2006) (367)
- CLU Reference Manual (1984) (359)
- Replication in the harp file system (1991) (326)
- Keynote address - data abstraction and hierarchy (1988) (268)
- Program Development in Java - Abstraction, Specification, and Object-Oriented Design (1986) (267)
- Parameterized types for Java (1997) (256)
- Abstraction and Specification in Program Development (1986) (256)
- BASE: using abstraction to improve fault tolerance (2001) (244)
- Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions (1999) (241)
- Ownership types for object encapsulation (2003) (232)
- Geographic Routing Without Planarization (2006) (226)
- Efficient Routing for Peer-to-Peer Overlays (2004) (220)
- Exception Handling in CLU (1979) (214)
- Complete, safe information flow with decentralized labels (1998) (206)
- Proactive recovery in a Byzantine-fault-tolerant system (2000) (206)
- Efficient optimistic concurrency control using loosely synchronized clocks (1995) (201)
- Generalized isolation level definitions (2000) (197)
- A Value Transmission Method for Abstract Data Types (1982) (191)
- Path vector face routing: geographic routing with local face information (2005) (183)
- Implementation of Argus (1987) (182)
- Embedded Every-where: A Research Agenda for Networked Systems of Embedded Computers (2001) (174)
- One Hop Lookups for Peer-to-Peer Overlays (2003) (166)
- Practical uses of synchronized clocks in distributed systems (1991) (165)
- Safe and efficient sharing of persistent objects in Thor (1996) (160)
- EpiChord: parallelizing the chord lookup algorithm with reactive routing state management (2004) (153)
- Granola: Low-Overhead Distributed Transaction Coordination (2012) (150)
- Using abstraction to improve fault tolerance (2001) (144)
- Highly available distributed services and fault-tolerant distributed garbage collection (1986) (139)
- Implementation of resilient, atomic data types (1985) (139)
- Primitives for distributed computing (1979) (135)
- Viewstamped Replication Revisited (2012) (130)
- A New Definition of the Subtype Relation (1993) (127)
- Modular Software Upgrades for Distributed Systems (2006) (121)
- BASE: Using abstraction to improve fault tolerance (2003) (116)
- Transactional Consistency and Automatic Management in an Application Data Cache (2010) (114)
- The Argus Language and System (1984) (113)
- Subtypes vs. where clauses: constraining parametric polymorphism (1995) (112)
- Distributed Object Management in Thor (1992) (110)
- A design methodology for reliable software systems (1972) (110)
- Fast Databases with Fast Durability and Recovery Through Multicore Parallelism (2014) (109)
- Tolerating byzantine faults in transaction processing systems using commit barrier scheduling (2007) (107)
- Lazy modular upgrades in persistent object stores (2003) (106)
- Lazy replication: exploiting the semantics of distributed services (extended abstract) (1990) (106)
- Global Environment for Network Innovations (2005) (95)
- Specifications and their use in defining subtypes (1993) (95)
- On Linguistic Support for Distributed Programs (1982) (93)
- Abstraction mechanisms in CLU (1977) (92)
- Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany (1988) (91)
- Providing Persistent Objects in Distributed Systems (1999) (89)
- A design for a fault-tolerant, distributed implementation of Linda (1989) (87)
- Abstractions for Usable Information Flow Control in Aeolus (2012) (85)
- Greedy Virtual Coordinates for Geographic Routing (2007) (83)
- A history of CLU (1993) (82)
- A language extension for expressing constraints on data access (1978) (81)
- Cross-chain deals and adversarial commerce (2019) (77)
- A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm (1999) (77)
- Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture (2003) (77)
- Limitations of synchronous communication with static process structure in languages for distributed computing (1986) (76)
- Guardians and actions: linguistic support for robust, distributed programs (1982) (75)
- HAC: hybrid adaptive caching for distributed storage systems (1997) (73)
- IFDB: decentralized information flow control for databases (2013) (71)
- Lazy replication: exploiting the semantics of distributed services (1991) (66)
- The design of a robust peer-to-peer system (2002) (66)
- A Language Extension for Controlling Access to Shared Data (1976) (63)
- Communications in the Mercury system (1988) (63)
- Viewstamped Replication: A General Primary Copy (1988) (62)
- Garbage collection of a distributed heap (1992) (58)
- Behavioral Subtyping Using Invariants and Constraints (2001) (57)
- Mobile proactive secret sharing (2008) (56)
- Tolerating Latency in Replicated State Machines Through Client Speculation (2009) (56)
- ARGUS REFERENCE MANUAL (1987) (56)
- Scheduling and Simulation: How to Upgrade Distributed Systems (2003) (55)
- Full-Information Lookups for Peer-to-Peer Overlays (2008) (54)
- Reducing cross domain call overhead using batched futures (1994) (53)
- Census: Location-Aware Membership Management for Large-Scale Distributed Systems (2009) (52)
- Tolerating Byzantine Faulty Clients in a Quorum System (2006) (51)
- Reliable object storage to support atomic actions (1983) (51)
- Authenticated Byzantine Fault Tolerance Without Public-Key Cryptography (1999) (50)
- Automatic Reconfiguration for Large-Scale Reliable Storage Systems (2012) (48)
- The design of the Venus Operating System (1971) (48)
- MPSS: Mobile Proactive Secret Sharing (2010) (46)
- Disconnected Operation in the Thor Object-Oriented Database System (1994) (45)
- Type-aware transactions for faster concurrent code (2016) (45)
- Lazy replication: exploiting the semantics of distributed services (1990) (45)
- Efficient at-most-once messages based on synchronized clocks (1989) (43)
- Specification and implementation of resilient, atomic data types (1983) (42)
- Lazy consistency using loosely synchronized clocks (1997) (41)
- The design of the Venus operating system (1972) (38)
- Family Values: A Behavioral Notion of Subtyping (1993) (38)
- Partitioned garbage collection of a large object store (1997) (36)
- References to remote mobile objects in Thor (1993) (36)
- A Trusted Third-Party Computation Service (2001) (35)
- Atomic garbage collection: managing a stable heap (1989) (31)
- Opportunities for optimism in contended main-memory multicore transactions (2020) (30)
- Aspects Of Implementing CLU (1978) (29)
- Fault-tolerant distributed garbage collection in a client-server object-oriented database (1994) (29)
- Collecting distributed garbage cycles by back tracing (1997) (28)
- Transactional file systems can be fast (2004) (27)
- Collecting cyclic distributed garbage by controlled migration (1997) (26)
- Byzantine fault tolerance can be fast (2001) (23)
- Lightweight, flexible object-oriented generics (2015) (23)
- Efficient at-most-once messages based on synchronized clocks (1991) (22)
- A Highly Available Object Repository for Use in a Heterogeneous Distributed System (1990) (22)
- From Viewstamped Replication to Byzantine Fault Tolerance (2010) (22)
- The design of the Venus Operating System (1972) (20)
- DISTRIBUTED COMPUTER SYSTEMS: STRUCTURE AND SEMANTICS (1979) (20)
- Accepting blame for safe tunneled exceptions (2016) (19)
- Modular Program Construction Using Abstractions (1979) (18)
- Byzantine Clients Rendered Harmless (2005) (18)
- The Power of Abstraction (2011) (17)
- Collecting Cyclic Distributed Garbage Using Heuristics to Control Migration (1995) (16)
- Issues Process and Communication Structure for Distributed Programs (1983) (15)
- Proceedings of the fourteenth ACM symposium on Operating systems principles (1994) (15)
- Family Values: A Semantic Notion of Subtyping (1992) (14)
- An Access Control Facility for Programming Languages (1976) (14)
- MapJAX: Data Structure Abstractions for Asynchronous Web Applications (2007) (13)
- Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases (2002) (13)
- Fragment reconstruction: providing global cache coherence in a transactional storage system (1997) (13)
- The Dawn of Software Engineering: From Turing to Dijkstra (2012) (12)
- TimeLine: A High Performance Archive for a Distributed Object Store (2004) (12)
- Byzantine Fault Tolerance in Long-Lived Systems (2004) (12)
- A replicated Unix file system (1990) (11)
- Report of session on structured programming (1973) (11)
- Report of the NSF Workshop on Research Challenges in Distributed Computer Systems (2005) (10)
- The Language-Independent Interface of the Thor Persistent Object System (1995) (9)
- How to scale transactional storage systems (1996) (8)
- A Modular and Efficient Past State System for Berkeley DB (2014) (7)
- Guidelines for the Design and Implementation of Reliable Software Systems (1973) (7)
- A replicated Unix file system (extended abstract) (1991) (7)
- Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systems (1984) (7)
- The Proof of Correctness Approach to Reliable Systems. (1971) (7)
- Type-Safe Heterogeneous Sharing can be Fast (1996) (6)
- Safe Lazy Software Upgrades in Object-Oriented Databases (2002) (6)
- Software upgrades in distributed systems (2001) (5)
- Partitioned garbage collection of a large stable heap (1996) (5)
- Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory (2004) (5)
- Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980 (1981) (5)
- Data types and program correctness (1975) (3)
- A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership (2003) (3)
- Technical perspectiveSafeguarding online information against failures and attacks (2008) (3)
- Transcript of question and answer session (1978) (3)
- Accepting Blame: Expressive Checked Exceptions (2016) (3)
- Data types and program correctness (1975) (3)
- Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with the special problems that arise in distributed programs, such as network partitions and crashes of remote nodes. (1988) (3)
- Lazy Reference Counting for Transactional Storage Systems (1997) (3)
- The Power of Abstraction - (Invited Lecture Abstract) (2010) (3)
- Genus: Making Generics Object-Oriented, Expressive, and Lightweight (2015) (3)
- Distributed Programming in Argu!s Special Section (1999) (2)
- Specifications of distributed programs (1986) (2)
- Protecting privacy in a decentralized environment (2000) (2)
- Practical Usesof Synchronized Clocks undistributed Systems (1991) (2)
- 'Argus': the programming language and system (1988) (2)
- Biography of Kristen Nygaard (1978) (2)
- Approaches to Solving the Software Problem: Software Engineering and Automatic Programming. (1976) (1)
- Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion) (1978) (1)
- Keynote presentation: Programming the turing machine (2012) (1)
- Overview of PolyJ (1999) (1)
- Escaping the disk bottleneck in fast transaction processing (1992) (1)
- HQ Replication: Properties and Optimizations (2007) (1)
- Critical research directions in programming languages (1989) (1)
- Report on Workshop on Research in Experimental Computer Science Held in Palo Alto, California on 16-18 October 1991 (1992) (1)
- Efficient Recovery in Harp (1992) (1)
- OBJECT-ORIENTED CONCURRENCY - PANEL DISCUSSION (1988) (1)
- Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems (2017) (1)
- A technique for constructing highly available services (1988) (1)
- SPIL: A language for construction of reliable system software (1973) (1)
- The Impact of Timestamp Granularity in Optimistic Concurrency Control (2018) (1)
- Replication Algorithms for Highly-Available Systems (1993) (1)
- IV – LISP SESSION (1981) (1)
- Practical benefits of research in programming methodology (Abstract of presentation) (1978) (1)
- Disconnected operation in the Thor object-oriented database system (1994) (1)
- OOPSLA keynote: Turing Award Lecture (reprise) (2009) (1)
- SPIL - A Systems Programming Implementation Language. (1972) (1)
- Annex SPARK -- final draft: SPARK.Specific information for vulnerabilities (2010) (0)
- Specifying and Checking Security Properties in an Evolving Software Base (2003) (0)
- Biography of Geoffrey Gordon (1978) (0)
- System Implementation I - Introduction (1990) (0)
- Biography of John McCarthy (1978) (0)
- Design Patterns (2018) (0)
- Testing Program Verification Techniques and Input Space Partitioning (2006) (0)
- Security of online information (2009) (0)
- Programming with Abstract Data Types (1974) (2021) (0)
- Aeolus Reference Manual (2012) (0)
- Chapter 6: Weak Isolation and Distribution Overview and Prevalence the Key Challenge: Reasoning about Anoma- Lies (2016) (0)
- Programming Languages — Past Achievements and Future Challenges (2012) (0)
- MrrLCSTR-409 A TECHNIQUE FOR CONSTRUCTING HIGHLY (0)
- A tribute to referees (2004) (0)
- Experiment with Annotations after Developing a Program Using Control Abstraction, 9 Programming Methodology (2007) (0)
- Perspectives on system languages and abstraction (2015) (0)
- IFDB : Decentralized Information Flow Control for Databases Citation (2013) (0)
- Reflections on a Career in Computer Science (2022) (0)
- Biography of Ole-Johan Dahl (1978) (0)
- Session details: LISP session (1978) (0)
- Guardians and Actions" Linguistic for Robust, Distributed Programs (1983) (0)
- Abstraction Mechanisms in Theta (2013) (0)
- Extending the Metaglue Multi-agent System Chairman, Department Committee on Graduate Theses Libraries Author Extending the Metaglue Multi-agent System (2013) (0)
- AD-A 259 881 Family Values : A Semantic Notion of Subtyping (0)
- Brief Announcement: Byzantine Clients Rendered Harmless (2005) (0)
- From Viewstamped Replication to Blockchains (2021) (0)
- Using a modified object buffer to improve the write performance of an object-oriented database (1995) (0)
- Family Values : A Semantic Notion of Subtyping 1 (1992) (0)
- Efficient recovery in Harp (replicated Unix file system) (1992) (0)
- Session details: GPSS session (1978) (0)
- USENIX Association Proceedings of the First Symposium on Networked Systems Design and Implementation (2004) (0)
- Keynote: Multicore Programming (2019) (0)
- The Magazine of Usenix & Sage the Advanced Computing Systems Association & the System Administrators Guild Hotos-ix (0)
- AD-A 269 102 IiIIIIIIIIffIIll | II Family Values : A Behavioral Notion of Subtyping (0)
- Session details: SIMULA session (1978) (0)
- Greedy*vrtual Coord'inates for Geographc Routing (0)
- Towards an Isolation Level Standard (2007) (0)
- Partitioned Garbage Collection of Large Object Store (1997) (0)
- Full text of all questions submitted (1978) (0)
- " TR-76-0886 i 00 AN ACCESS CONTROL FACILITY FOR PROGRAMMING LANGUAGES (2013) (0)
This paper list is powered by the following services:
Other Resources About Barbara Liskov
What Schools Are Affiliated With Barbara Liskov?
Barbara Liskov is affiliated with the following schools:
