Барбара Дж. Райдер

Барбара Гершон Райдер
Барбара Гершон Райдер
Национальность	Американский
Альма-матер	Университет Рутгерса ; Стэнфордский университет ; Брауновский университет
Известный	языки программирования
Награды	Сотрудник ACM (1998)
	Научная карьера
Поля	Информатика
Учреждения	Технологический институт Вирджинии ; Университет Рутгерса
Веб-сайт	люди .cs .vt .edu /~райдер /

Барбара Дж. Райдер — американский ученый-компьютерщик, известная своими исследованиями языков программирования , а точнее, теоретическими основами и эмпирическими исследованиями межпроцедурного анализа во время компиляции.

Биография

Райдер получила степень бакалавра прикладной математики в Университете Брауна в 1969 году. Она получила степень магистра компьютерных наук в Стэнфордском университете в 1971 году и степень доктора в компьютерных наук Университете Рутгерса в 1982 году.

Затем в 1982 году она поступила на факультет компьютерных наук Университета Рутгерса в качестве доцента. Там она получила звание доцента в 1988 году и профессора в 1994 году. В 2008 году она перешла в Технологический институт Вирджинии в качестве руководителя кафедры компьютерных наук. . Она вышла на пенсию в 2016 году.

Награды

В 1998 году ее назвали членом ACM . ^[1]

Среди других ее заметных наград:

Президентская премия ACM (2008 г.) ^[1]
Награда ACM SIGPLAN за выдающиеся заслуги (2001 г.) ^[2]

Статья PLDI'92 выбрана в номинации «Лучшее из коллекции PLDI 1970–1996 годов» в апреле 2003 года. ^[3] Статья называлась: Безопасный приближенный алгоритм межпроцедурного псевдонимов указателей. ^[4]

Ссылки

^ Jump up to: ^а ^б Ассоциация вычислительной техники (17 августа 2013 г.). «АКМ НАГРАДЫ» . АКМ . Проверено 17 августа 2013 г.
^ Ассоциация вычислительной техники SIGPLAN (17 августа 2013 г.). «Награда SIGPLAN за выдающиеся заслуги» . СИГПЛАН . Проверено 17 августа 2013 г.
^ СИГПЛАН АСМ. «20 лет PLDI (1979–1999). Подборка» . СИГПЛАН . Проверено 17 августа 2013 г.
^ Уильям Лэнди и Барбара Г. Райдер (1992). «Безопасный приближенный алгоритм межпроцедурного совмещения указателей». Материалы конференции ACM SIGPLAN по разработке и реализации языков программирования : 235–248.

Внешние ссылки

Технологический институт Вирджинии: Барбара Райдер, факультет компьютерных наук

[acmawards-1] Jump up to: ^а ^б Ассоциация вычислительной техники (17 августа 2013 г.). «АКМ НАГРАДЫ» . АКМ . Проверено 17 августа 2013 г.

[2] Ассоциация вычислительной техники SIGPLAN (17 августа 2013 г.). «Награда SIGPLAN за выдающиеся заслуги» . СИГПЛАН . Проверено 17 августа 2013 г.

[3] СИГПЛАН АСМ. «20 лет PLDI (1979–1999). Подборка» . СИГПЛАН . Проверено 17 августа 2013 г.

[4] Уильям Лэнди и Барбара Г. Райдер (1992). «Безопасный приближенный алгоритм межпроцедурного совмещения указателей». Материалы конференции ACM SIGPLAN по разработке и реализации языков программирования : 235–248.

[1]

[2]

[3]

[4]