Аллен, Фрэнсис

Родилась и выросла на ферме в штате Нью-Йорк. Была старшей из шести детей в семье. Её отец, Джон Аллен, был фермером, а мать, Рут (Даунс) Аллен, — учительницей^[4]. В 1954 году окончила учительский колледж (ныне Университет штата Нью-Йорк в Олбани), получив степень бакалавра по математике. Степень магистра приобрела в Мичиганском университете в 1957 году, затем непродолжительное время преподавала математику в средней школе города Перу (штат Нью-Йорк)^[5]. 15 июля того же года Аллен устроилась в корпорацию IBM, первоначально намереваясь выплатить студенческие долги и вернуться к преподаванию^[6]; в IBM она проработала следующие 45 лет^[7]. В 1991 году Фрэнсис Аллен получила почётный докторский титул от университета Альберты^[7].

В 1995—1996 годах Аллен была президентом Академии технологий IBM^[8]. С 2002 года на пенсии.

Аллен была сотрудницей IBM, членом Национальной академии наук США (2010), Национальной инженерной академии США (1987)^[9], Американского философского общества (2001) и Американской академии искусств и наук (1994)^[9], а также действительным членом ACM (1994) и IEEE^[9].

Умерла 4 августа 2020 года, в день своего 88-летия^[2], в Скенектади от болезни Альцгеймера.

Работы Аллен заложили основы теории и практики оптимизирующих компиляторов и автоматического распараллеливания программ. Она развивала графовые методы анализа потока управления и данных, распространила анализ на межпроцедурный уровень и участвовала в создании машинно- и языково-независимых оптимизирующих систем^[8].

В исследованиях анализа потока данных Аллен разработала алгоритмы для определения достигающих определений переменных и «живых» данных на графах потока управления, применив для представления множеств битовые векторы^[10].

В ранних проектах STRETCH и HARVEST Аллен участвовала в создании общего оптимизирующего компонента для компиляторов языков FORTRAN, Autocoder и Alpha. В проекте Advanced Computing System она разработала машинно- и языково-независимый оптимизатор^[8].

В 1984 году Фрэнсис Аллен основала и возглавила исследовательскую группу Parallel TRANslation (PTRAN), занимавшуюся автоматическим распараллеливанием последовательных программ на FORTRAN для многопроцессорных систем^[7][8]. В рамках проекта были разработаны новые методы выявления параллелизма и концепция графа зависимостей программы, ставшая одним из основных средств структурирования в распараллеливающих компиляторах^[8]. В ходе этой работы Аллен и её сотрудники исследовали основы оптимизации, которые используются во многих компиляторах.

• Корпоративная премия IBM за алгоритмы оптимизации компиляторов (1968)^[8].
• IBM Fellow (1989, первая женщина, получившая этот статус)^[8].
• Премия Чарльза Бэббиджа Компьютерного общества IEEE (1997)^[8].
• Включение в Зал славы организации Women in Technology International (1997)^[8].
• Премия Ады Лавлейс Association for Women in Computing (2002)^[8].
• Премия «Пионер компьютерной техники» Компьютерного общества IEEE (2004)^[8].
• Премия ABIE за техническое лидерство Института Аниты Борг (2004)^[8].
• Премия Тьюринга (2006) — «за новаторский вклад в теорию и практику оптимизации компьютерных программ, послуживший основой для современных оптимизирующих компиляторов и автоматического распараллеливания программ»^[11]
• Премия имени Эрны Гамбургер (2008)^[12].
• Почётные докторские степени: Альбертский университет (1991), Университет Пейс (1999), Иллинойсский университет в Урбане-Шампейне (2004), Мичиганский университет (2008), Университет штата Нью-Йорк в Олбани (2008), Университет Нотр-Дам (2008) и Университет Макгилла (2009)^[8].

В официальном профиле премии Тьюринга ACM вклад Аллен характеризуется как основа современных оптимизирующих компиляторов и автоматического распараллеливания; разработанные при её участии методы анализа и преобразования программ продолжают применяться в компиляторах^[8]. В памятной публикации Communications of the ACM глава IBM Арвинд Кришна отметил не только её технические достижения, но и многолетнюю роль преподавателя и наставника^[13].

IBM также учредила названную в её честь премию за наставничество^[13].

В 2007 году IBM учредила в её честь премию IBM Ph.D. Fellowship Award^[14].

В 2020 году IEEE учредил медаль имени Фрэнсис Э. Аллен, присуждаемую одному человеку или команде численностью до трёх человек за инновационные работы в области вычислительной техники, оказавшие долгосрочное влияние на инженерное дело, науку, технологии или общество. Первыми лауреатами медали в 2022 году стали Юджин Майерс и Уэбб Миллер^[15]. В 2023 году медаль получила Лидия Кавраки, в 2024 году — Дэвид Как, в 2025 году — Регина Барзилай, в 2026 году — Луис фон Ан^[16].

Избранные научные работы:

• Allen, Frances E. «Program Optimization» // Annual Review in Automatic Programming. — 1969 (первоначально распространена как внутренний отчёт IBM в 1966 году)^[17].
• Allen, Frances E. «Control Flow Analysis» // SIGPLAN Notices. — 1970^[17].
• Allen, Frances E. «A Basis for Program Optimization». — 1970^[18].
• Allen, Frances E.; Cocke, John. «A Catalog of Optimizing Transformations» // Design and Optimization of Compilers. — 1972^[17].
• Allen, Frances E. «Interprocedural Data Flow Analysis» // Information Processing 74. — 1974^[17].
• Allen, Frances E.; Cocke, John. «A Program Data Flow Analysis Procedure» // Communications of the ACM. — 1976^[17].
• Allen, Frances E. и др. «The Experimental Compiling System» // IBM Journal of Research and Development. — 1980^[17].
• Allen, Frances E. «The History of Language Processor Technology at IBM» // IBM Journal of Research and Development. — 1981^[17].
• Allen, Frances E. и др. «An Overview of the PTRAN Analysis System for Multiprocessing» // Proceedings of the 1st International Conference on Supercomputing. — 1988^[17].