Страна: США

Образование: Доктор философии по информатике, Стэнфордский университет, 1968

О лауреате

После получения докторской степени Liskov начала работу на корпорацию Mitre над проектированием компьютеров и операционными системами. Используя компьютер Interdata 3, который позволял менять набор инструкций с помощью микрокода, она создала «Компьютер Venus» спроектированный для разработки сложного ПО. ОС Venus была маленькой системой с разделением времени, поддерживающей до 16 пользователей, каждый из которых присоединялся к виртуальной машине и даже серьёзные ошибки не могли повлиять на стабильность системы в целом. С 1971 года она возглавила проект разработки языка CLU который использовал объектно-ориентированную модель, абстракцию данных и полиморфизм. Продолжая идеи CLU был разработан язык Argus, который был призван упростить разработку распределённых по сети программ. Для этой же задачи ею была разработана и реализована объектно-ориентированная система баз данных Thor, которая позволяла программам, написанным на разных языках, взаимодействовать с общими объектами удобным способом. В 1987 году Liscov предложила принцип замещения, который гласит, что функции, которые используют базовый тип, должны иметь возможность использовать подтипы базового типа, не зная об этом.

Ключевые слова: Venus (OS), CLU, Argus, Thor, Liscov Substitution Principle

Краткая библиография

1.	Liskov, Barbara Jane, “The Design of the Venus Operating System,” Communications of the ACM, Vol. 15, Num. 3, 1972, pp. 144-149. Описывает ОС Venus и некоторые результаты экспериментов с ней.
2.	Liskov, Barbara Jane, Alan Snyder, Russell R. Atkinson and Craig Schaffert, “Mechanisms for abstraction in the very high level language for structured programming, CLU,” Communications of the ACM, Vol. 20, Num. 8, 1977, pp. 564-576. Статья описывает механизмы абстракции в CLU.
3.	Liskov, Barbara Jane and Stephen N. Zilles, “Programming with Abstract Data Types,” SIGPLAN Notices, Vol. 9, Num. 4, 1974, pp. 50-59.
4.	Liskov, Barbara Jane, “Distributed Programming in Argus,” Communications of the ACM, Vol. 31, Num. 3, 1988, pp. 300-312. Рассказывает, как механизмы Argus решают проблемы, такие, как сегментация сети и выход из строя удалённого узла.
5.	Liskov, Barbara Jane, “Practical Uses of Synchronized Clocks in Distributed Systems,” Distributed Computing, Vol. 6, August 1993, pp. 211-219 Об улучшении производительности распределённых систем путём синхронизации их часов.