Френсіс Аллен

Матеріал з Вікі ЦДПУ
Версія від 12:58, 20 червня 2022; 9757414 (обговореннявнесок)

(різн.) ← Попередня версія • Поточна версія (різн.) • Новіша версія → (різн.)
Перейти до: навігація, пошук

Кар'єра

Френсіс Аллен

Аллен виросла на фермі в Перу, Нью-Йорк. Закінчила Нью-Йоркський державний коледж для вчителів (наразі він є частиною Державного університету Нью-Йорка в Олбані, США). У 1954 році отримала ступінь бакалавра і почала викладати у школі в Перу, Нью-Йорк.[13] Через два роки вступила до Мічиганського університету й отримала ступінь магістра з математики у 1957.

У 1957 році почала працювати у центрі досліджень у Паукіпсі, Нью-Йорк, як програміст. Аллен викладала також мову програмування під назвою «Альфа».[11] Вона керувала командою оптимізації компіляторів для проектів Harvest і Stretch. У 1960-х роках вона сприяла проекту ACS-1, а в 1970-х — PL/I. З 1970 по 1971 рік стажувалась у Нью-Йоркському університеті і після виступала в якості ад'юнкт-професорки. У 1977 році стала працівницею Стенфордського університету.

Аллен стала першою співробітницею IBM у 1989 році. Вона вийшла з IBM у 2002 році, але залишається пов'язаною з корпорацією, як співробітниця Emeriti. У 2007 році IBM Ph.D. На її честь була створена стипендія.

Робота Фран Ален мала величезний вплив на дослідження і практику компіляторів. Вона створила багато абстракцій, алгоритмів і реалізацій, які заклали основу для автоматичної технології оптимізації програм. Робота Аллен 1966 року «Оптимізація програм» заклала концептуальну основу для системного аналізу та трансформації комп'ютерних програм. У цій роботі запропоновано використання теоретико-графових структур для кодування програмного змісту, автоматичного та ефективного виведення взаємозв'язків та визначення можливостей оптимізації.

У 1970 році були надруковані статті «Аналіз потоків управління» та «Основа для оптимізації програми», в яких вона встановила «інтервали» як контекст для ефективного та ефективного аналізу та оптимізації потоку даних.

У 1971 року у «Каталозі оптимізації перетворень» наведено перший опис і систематизацію оптимізувальних перетворень.

У 1976 році з Cocke описує одну з двох основних стратегій аналізу, що використовуються в оптимізації компіляторів сьогодні. Аллен розробила і впровадила свої методи як частину компіляторів для IBM STRETCH-HARVEST і експериментальної розширеної обчислювальної системи. Ця робота встановила доцільність і структуру сучасних машинномовних незалежних оптимізаторів. Вона продовжила роботу над проектом PTRAN з автоматичного паралельного виконання програм FORTRAN. Її команда PTRAN розробила нові схеми виявлення паралелізму і створила концепцію графу залежності від програми, основного методу структурування, використовуваного більшістю паралельних компіляторів.

Нагороди та відзнаки

Аллен є членкинею IEEE і ACM. У 2000 році вона стала членкинею Музею комп'ютерної історії «за її внесок у оптимізацію програми та компіляцію для паралельних комп'ютерів». Вона була обрана до Національної інженерної академії США в 1987 році, до Американського філософського товариства в 2001 році і до Національної академії наук у 2010 році. Вона була названа побратимом американської Академії мистецтв і наук у 1994 році.

Вона отримала IEEE Computer Society Чарльз Беббідж Award в 1997 році і премію Computer Pioneer в IEEE Computer Society в 2004 році. У 1997 році Аллен була введена в WITI Зал слави . Вона отримала нагороду від Асоціації жінок у галузі комп'ютерних технологій (Augusta Ada Lovelace) 2002 року. У 2004 році Аллен стала переможцем премії ABIE технічного керівництва від Аніти Борг інституту.

У 2006 році Аллен була визнана за роботу з обчисленнями премією Тюрінга. Вона стала першою жінкою-реципієнткою, яка вважається еквівалентом Нобелівської премії за обчислювальну техніку і надається Асоціацією обчислювальної техніки. В інтерв'ю після нагороди вона сподівалася, що це дасть більше «можливостей для жінок у науці, обчислювальній техніці та техніці».

У 2009 році вона була нагороджена почесною докторкою наук від Університету Макгілла за «новаторський внесок у теорію і практику оптимізації методів компілятора, які заклали основу для сучасних оптимізувальних компіляторів і автоматичного паралельного виконання».

Особисте життя

Аллен вступила у шлюб з Яковом Т. Шварцем в 1972 році. Вони розлучилися десять років тому, дітей не мали.

Посилання

- [1]
- [2]
- [3]