Program language & system design; Byzantine Fault

Invented the notion of Data Abstraction & she & her group designed & implemented CLU the 1st programming language to support it; in 1987 introduced The Liskov Substitution principle (with Jeanette Wing) stating objects with a superclass should be replaceable with objects of its subclass without breaking the application; the principle is used in type theory & in object-oriented programming; has led many significant projects including: Venus operating systems design & implementation of CLU Argus & Thor; holds 15 patents

Byzantine fault tolerance; Content server selection for accessing content in a content distribution network; Method & apparatus for redirecting request by content; Methods & apparatus for processing client request in a client distribution network using client lists; Method & apparatus for efficient propagation of large datasets under failure conditions; Method & apparatus for providing sticky bindings using version vectors; Managing a content distribution system using virtual content-distribution trees; Content delivery network (CDN) replication status reporter; Methods & apparatus for processing content requests using domain name server; Methods & apparatus for preforming content distribution in a content distribution network; Methods & apparatus for obtaining content from a content-originating device within a computerized network; Remote identification of client & DNS proxy IP addresses

Category:
Computer Science

Completion Status:
yes

Patent Number:
6671821;8527639;8504720;8412764;8224986;7853565;7610387;7516240;7340510;7289519;7260598;7257628;7158985;6925504;6728767

Co-Inventor:
Miguel Castro; James O'Toole; M. Frans Karshoek; Kirk Johnson; John F. Carr; Mark Day; David M. Bernstein; Dmitry Stavisky; Steven Jeffrey Morris; Dan Li; Gang Lu