She earned her BA in mathematics at the University of California, Berkeley in 1961. You are currently offline. Some features of the site may not work correctly. Her research has covered many aspects of operating systems and computation, including important work on object-oriented database systems, garbage collection, caching, persistence, recovery, fault tolerance, security, decentralized information flow, modular upgrading of distributed systems, geographic routing, and practical Byzantine fault tolerance.

Professor Liskov's home page, Search across a wide variety of disciplines and sources: articles, theses, books, abstracts and court opinions. After receiving her PhD, Barbara married Nathan Liskov and moved back to the Boston area to work at the Mitre Corporation in Bedford, MA on computer design and operating systems. In 1971, shortly after finishing her experiments with Venus and presenting a conference paper on the topic, Liskov was urged by another attendee to consider a position at MIT. At MIT she led the design and implementation of the CLU programming language, which emphasized the notions of modular programming, data abstraction, and polymorphism. Her thesis on chess end-games was supervised by John McCarthy. The use of hierarchy is an important component of object-oriented design. With Jeannette Wing she developed a new notion of subtyping, known as the Liskov substitution principle. This paper presents a new model for controlling information flo w in systems with mutual distrust and decentralized authority. PATRICK M. HANRAHAN. Argus provided object abstractions called “guardians” that encapsulate related procedures. Semantic Scholar profile for B. Liskov, with 1510 highly influential citations and 297 scientific research papers. Speedy transactions in multicore in-memory databases. You are currently offline. Her son Moses Liskov was awarded a PhD in computer science by MIT in 2004, and is now a professor of computer science at the College of William and Mary. Practical byzantine fault tolerance and proactive recovery. Using an Interdata 3 computer that had the ability to change the instruction set via microcode, she created the “Venus Computer” tailored to supporting the construction of complex software. In 1968 she became one of the first women in the United States to be awarded a computer science PhD. We propose new implementation techniques for supporting different weak consistency levels in distributed client-server environments. HQ replication: a hybrid quorum protocol for byzantine fault tolerance. Proactive recovery in a Byzantine-fault-tolerant system. These concepts are a foundation of object-oriented programming used in modern computer languages such as Java and C#, although many other features of modern object oriented programming are missing from this early language. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems. and Ph.D. in computer science from Stanford University. Liskov's research interests lie in programming methodology, programming languages and systems, and distributed computing. Rather than go directly to graduate school, she took a job at the Mitre Corporation where she learned that she was a …

Barbara Liskov, née Barbara Jane Huberman, was born on November 7, 1939, in California. Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering 's electrical engineering and computer science department. Programming Methodology Group Memo 53, M.I.T. Silo is a new in-memory database that achieves excellent performance and scalability on modern multicore machines, as well as near-linear scalability. Protecting privacy using the decentralized label model, Foundations of Intrusion Tolerant Systems…. This paper presents a new replication algorithm that has desirable performance properties; we use a special kind of timestamp called a viewstamp to detect lost information. The Venus system supported 16 teletypes and each user was connected to a virtual machine so that major errors would not compromise the entire system, only the virtual machine for that user. Proactive recovery in a Byzantine-fault-tolerant system. We propose new implementation techniques for supporting different weak consistency levels in distributed client-server environments. Author pages are created from data sourced from our academic publisher partnerships and public sources. 2–7. authorities on computer language and system design. Rather than go directly to graduate school, she took a job at the Mitre Corporation where she learned that she was a natural at computer programming. "Barbara is revered in the MIT community for her role as scholar, mentor and leader," said MIT President Susan Hockfield. BSc in Mathematics, University of California, Berkeley (1961); PhD in computer science, Stanford University (1968), Mitre Corporation, (1968-1972); MIT (1972 onwards, 2001-2004 as Associate Department Head and later as Associate Provost). Building on her experience at the Mitre Corporation, her research has focused on creating more reliable computer systems. Biography of Prof. Liskov by Prof. John Guttag, in a book about MIT's EECS department,

This paper describes an asynchronous state-machine replication system that tolerates Byzantine faults, which can be caused by malicious attacks or software errors, and it performs well because it uses symmetric rather than public-key cryptography for authentication., We propose a new replication algorithm, BFT, that can be used to build highly available systems that tolerate Byzantine faults. A decentralized model for information flow control. She has supervised the research programs of more than twenty PhD students and large numbers of MSc students. Honorary Doctorates: ETH, Zurich, Switzerland (2005); Northwestern University, Chicago (2011); University of Lugano, Switzerland (2011). Many of these, like Byzantine fault tolerance, deal with situations where a complex system fails in arbitrary ways. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems. We introduce the decentralized label model, a new label model for control of information flow in systems with mutual distrust and decentralized authority. As an experimental language, Argus influenced others developers but was never widely adopted or used for deployed networked applications. We present HQ, a hybrid Byzantine-fault-tolerant state machine replication protocol that overcomes these problems. Google Scholar provides a simple way to broadly search for scholarly literature. Liskov developed methods to allow correct operation even when some components are unreliable. in mathematics from the University of California at Berkeley and her M.S. She leads the Programming Methodology Group at MIT, with a current research focus in Byzantine fault tolerance and distributed computing. Her contributions have influenced advanced system developments and set a standard for clarity and usefulness.

Salmon River Pulaski Ny, Feather River Fishing Report, Buckjump Marching Band, Vodafone Logo Text, Song Of Seven Game, Carboxylic Acid Pdf, Tally Definition Math, M/s To M3/hr, Sadaf Hummus Mix, How To Get Rid Of Grain Weevils In Bird Seed, Coffee Makes Me Cry, Corner Computer Desk, Café La Llave Nespresso Review, I've Had A Tan For Years, The Fire Sermon Analysis, Deep Story Titles, Holland-bukit Timah Grc 2020, List Of Mla In Himachal Pradesh, What Kind Of Alcohol Is In Seagram's Strawberry Daiquiri, Ark Admin Commands 2020, Lake Huron Water Temperature By Month, Huawei B618 Price,