フランシス・アレン

フランシス・アレン
生まれる	フランシス・エリザベス・アレン ( 1932-08-04 )1932年8月4日 ペルー、ニューヨーク、米国
死亡	2020年8月4日(2020-08-04)（享年88歳） スケネクタディ、ニューヨーク州、米国
国籍	アメリカ人
母校	アルバニー大学(BS) ミシガン大学(MS)
配偶者	ジェイコブ・T・シュワルツ ​ ​ （ 1972年～1982年生まれ）
受賞歴	ACMフェロー（1994） IBMフェロー（1989） エイダ・ラブレス賞(2002) コンピュータパイオニア賞（2004） チューリング賞(2006) 米国科学アカデミー会員（2010年）[1]
科学者としてのキャリア
フィールド	コンピュータサイエンス 高性能コンピューティング 並列コンピューティング コンパイラ コンパイラの最適化
機関	IBM ニューヨーク大学
Webサイト	www.ibm.com/ibm/history/witexhibit/wit_hall_allen.html

フランシス・エリザベス・アレン （1932年8月4日 - 2020年8月4日）^{[2] [3]}は、アメリカのコンピューター科学者であり、最適化コンパイラの分野の先駆者でした。^{[4] [5] [6]アレンは}IBMフェローになった最初の女性であり、2006年にチューリング賞を受賞した最初の女性になりました。^{[7]彼女の業績には、}コンパイラ、プログラム最適化、並列化に関する独創的な仕事が含まれます。^[8]彼女は1957年から2002年までIBMに勤務し、その後名誉フェローになりました。^[9]

アレンはニューヨーク州ペルーのシャンプレーン湖近くの農場で6人兄弟の長女として育った。父親は農家で、母親は小学校教師だった。^[9]彼女は自宅から1マイル離れた一教室の学校で小学校初期教育を受け、後に地元の高校に通った。^[10]

彼女は1954年にニューヨーク州立教員養成大学（現在はニューヨーク州立大学アルバニー校の一部）を卒業し、数学の理学士号を取得し、ニューヨーク州ペルーで教師として働き始めました。^{[10] 2年後、彼女は}ミシガン大学に入学し、1957年に数学の理学修士号を取得しました。 ^[11]

学生ローンの多額の借金を抱えたアレンは、 1957年にニューヨーク州ポキプシーのIBMリサーチにプログラマーとして入社し、新入社員にFortranの基礎を教えた。学生ローンを返済したら教職に戻るつもりだったが、結局45年間のキャリアのすべてをIBMで過ごすことになった。1959年、アレンは国家安全保障局の暗号解読のためのハーベスト・プロジェクトに配属され、アルファと呼ばれるプログラミング言語の開発に取り組んだ。^{[7]アレンはハーベストと}ストレッチ・プロジェクトの両方でコンパイラ最適化チームを管理した。

1962年に彼女はトーマス・J・ワトソン研究所に異動し、ACS-1プロジェクトに貢献し、その後1970年代にはPL/Iに貢献した。この間、彼女は同僚の研究者ジョン・コックと協力してコンパイラの最適化に関する一連の重要な論文を執筆し、高級言語から機械語への変換の効率向上に貢献した。^[2]

1970年から1971年にかけて彼女はニューヨーク大学で長期休暇を取り、その後数年間は非常勤講師を務めた。 1977年には再び長期休暇を取り、スタンフォード大学に赴任した。 ^[11]

1980年から1995年まで、アレンはIBMの並列コンピューティング分野の開発を主導し、IBM Blue Geneプロジェクトのソフトウェア開発に貢献した。^[12]アレンは1989年に女性初のIBMフェローとなった。 2002年にIBMを退職したが、名誉フェローとして同社に所属し続けた。2007年には、彼女に敬意を表してIBM Ph.D.フェローシップ賞が創設された。^[13]退職後も、女性や少女が科学やコンピューティング分野でのキャリアを目指すことを奨励するプログラムに積極的に参加した。^[14]

彼女のAMチューリング賞の表彰状には次のように書かれています。

フラン・アレンの研究は、コンパイラの研究と実践に多大な影響を与えました。彼女は単独で、またジョン・コックとの共同研究で、自動プログラム最適化テクノロジの基礎となる抽象化、アルゴリズム、実装を数多く導入しました。アレンの 1966 年の論文「プログラム最適化」は、コンピュータ プログラムの体系的な分析と変換の概念的基礎を築きました。この論文では、グラフ理論構造を使用してプログラム コンテンツをエンコードし、関係を自動的かつ効率的に導出して最適化の機会を特定する方法を紹介しました。1970 年の論文「制御フロー分析」と「プログラム最適化の基礎」では、効率的で効果的なデータ フロー分析と最適化のコンテキストとして「間隔」を確立しました。コックとの 1971 年の論文「最適化変換のカタログ」では、最適化変換について初めて説明し、体系化しました。1973 年と 1974 年の論文では、プロシージャ間のデータ フロー分析について、分析をプログラム全体に拡張しました。 1976 年に Cocke と共同で発表した論文では、現在コンパイラの最適化に使用されている 2 つの主要な分析戦略の 1 つについて説明しています。Allen は、IBM STRETCH-HARVEST および実験的な Advanced Computing System のコンパイラの一部として、彼女の手法を開発し、実装しました。この研究により、マシンおよび言語に依存しない最新の最適化プログラムの実現可能性と構造が確立されました。Allen は、FORTRAN プログラムの自動並列実行に関する PTRAN プロジェクトを設立し、主導しました。彼女の PTRAN チームは、新しい並列性検出スキームを開発し、ほとんどの並列化コンパイラで使用される主要な構造化方法であるプログラム依存グラフの概念を生み出しました。

— 計算機協会(ACM)、2006 年 AM チューリング賞受賞

アレンは電気電子技術者協会（IEEE）と計算機協会（ACM）のフェローでした。2000年に彼女は「並列コンピュータのプログラム最適化とコンパイルへの貢献」によりコンピュータ歴史博物館のフェローに任命されました。^[15]彼女は1987年に米国工学アカデミーに選出され、 ^{[16] 2001年に}アメリカ哲学協会に、^[17] 2010年に米国科学アカデミーに選出されました。 ^[1]彼女は1994年にアメリカ芸術科学アカデミーのフェローに指名されました。 ^[18]

彼女は1997年にIEEEコンピュータ協会のチャールズ・バベッジ賞、2004年にIEEEコンピュータ協会のコンピュータパイオニア賞を受賞した。 ^[19] 1997年、アレンはウィティの殿堂入りを果たした。^{[20]彼女は2002年に}女性コンピューティング協会からオーガスタ・アダ・ラヴレス賞を受賞した。2004年にはアニタ・ボルグ研究所から技術リーダーシップに対するABIE賞を受賞した。^{[21] [22]}

アレンは、高性能コンピューティングにおける功績が認められ、2006年にチューリング賞を受賞した。^{[9] [23]同賞はコンピューティングの}ノーベル賞とされ、計算機協会が授与する同賞の40年の歴史で、女性としては初の受賞者となった。^{[24] [14] [25] [26] [27]}受賞後のインタビューで、彼女はこの賞が「科学、コンピューティング、エンジニアリングの分野で女性にさらなる機会」を与えることを願っていると述べた。^[28]

2009年に彼女は「現代の最適化コンパイラと自動並列実行の基礎を築いた最適化コンパイラ技術の理論と実践への先駆的な貢献」によりマギル大学から名誉理学博士号を授与された。 ^[29]

彼女の主な出版物は以下の通りである: ^{[4] [6]}

• Allen, Frances E.; Cocke, John (1971)。Rustin, Randall (編)。最適化変換のカタログ。コンパイラの設計と最適化。Thomas J. Watson IBM リサーチ センター。Prentice Hall。
• Allen, Frances E.、「Interprocedural data flow analysis」、Proceedings of Information Processing 74、IFIP、Elsevier / North-Holland (1974)、398–402。
• Allen, Frances E. および J. Cocke、「プログラム データ フロー分析手順」、Communications of the ACM、Vol. 19、No. 3 (1976 年 3 月)、137–147。
• Allen, Frances E. 他、「The Experimental Compiling System」、IBM Journal of Research and Development、第 24 巻、第 6 号、(1980 年 11 月)、695–715 ページ。
• Allen, Frances E.、「IBM における言語プロセッサ技術の歴史」、IBM Journal of Research and Development、第 25 巻、第 5 号 (1981 年 9 月)、535 ～ 548 ページ。

1972年、アレンはニューヨーク大学のコンピュータサイエンス教授で共同研究者のジェイコブ・T・シュワルツと結婚した。^[5] 2人は1982年に離婚した。^[2]

アレンさんは2020年8月4日、88歳の誕生日にアルツハイマー病の合併症で亡くなった。^{[2] [12] [30]}

ウィキメディア・コモンズには、フランシス・E・アレンに関連するメディアがあります。

• フランシス・アレン: コンピュータ歴史博物館による 2000 年フェロー賞受賞者
• フラン・アレンによるコンパイラと並列コンピューティングシステムに関する講演 2008 年のOrganick記念講演の記録