法兰西斯·艾伦

更新时间:2023-08-25 22:10

法兰西斯·艾伦(Frances Elizabeth Allen,1932年8月4日—2020年8月4日),出生于美国纽约,2006年图灵奖得主(首位女性图灵奖获得者),美国国家科学院院士美国国家工程院院士美国艺术与科学院院士,IBM荣誉院士,ACM FellowIEEE Fellow,IBM Fellow,生前是IBM研究员。

人物生平

1932年8月4日,法兰西斯·艾伦出生于美国纽约。

1954年,获得纽约师范学院(现纽约州立大学奥尔巴尼分校)数学学士学位。

1957年,获得密歇根大学数学硕士学位。

1957年—1959年,在IBM(国际商业机器)公司向公司科学家和工程师教授FORTRAN语言。

1959年—1963年,负责IBM的Stretch(最早的超级计算机之一)/Harvest(为Stretch设计的协处理器)计算机编译器的设计与管理。

1963年—1968年,负责IBM的ACS项目实验优化编译器的设计与开发。

1970年—1973年,担任IBM未来系统(FS)项目至编译器的总监。

1973年—1980年,担任IBM实验编译系统项目的发起人和总监。

1980年—1985年,担任IBM产品编译器的规划总监。

1984年—1994年,担任IBM并行编程技术项目的发起人和总监。

1987年,当选为美国国家工程院院士。

1989年,当选为IBM Fellow。

1991年,当选为IEEE Fellow。

1994年,当选为美国艺术与科学院院士,同年当选为ACM Fellow。

1995年—1996年,担任IBM研究员和IBM技术学院院长。

1996年—2002年,担任IBM的SAS和BlueGene项目研究员和高级技术顾问。

2000年,担任美国计算机历史博物馆研究员。

2002年,从IBM退休并当选为IBM荣誉院士。

2006年,获得图灵奖。

2010年,当选为美国国家科学院院士。

2020年8月4日,去世,享年88岁。

主要成就

科研成就

法兰西斯·艾伦和她的团队设计了一个编译器框架来处理三种非常不同的编程语言:FORTRAN、Autocoder(一种类似于COBOL的商业语言)和新语言Alpha(旨在快速检测以任何字母表示的任意文本中的模式),成功为Stretch超级计算机及其Harvest协处理器生成代码。

法兰西斯·艾伦与约翰·科克(John Cocke)一起合作了Y项目,后来被称为高级计算系统项目(ACS),开发了一款新的编译器技术,该技术允许编译器自动优化程序以提高性能。

法兰西斯·艾伦负责的实验性编译系统项目(ECS),面对PL/I的新语言给优化编译器带来了更困难的问题,ECS实现了积极的过程间分析、过程内联、广泛的优化转换集合,以及允许自由混合解释代码和优化编译代码的运行时环境。

法兰西斯·艾伦的并行翻译器(PTRAN)项目是一个编译Fortran程序的系统,面对在并行计算机体系结构上执行时,并没有特别考虑到并行性的问题,于是她开发了从顺序代码中提取并行性的新算法,PTRAN引入了程序依赖图的概念,这是许多并行编译器使用的一种表示。

据2023年8月AMiner平台数据,法兰西斯·艾伦已发表学术论文21篇,论文被引1821次,H-index:11。

人才培养

法兰西斯·艾伦曾在自己的高中母校任教两年,后来在IBM休假期间,她受雅各布·杰克·施瓦茨(Jacob Jack Schwartz)的邀请,到纽约大学库朗数学科学研究所教授编译器方面的研究生课程。

荣誉表彰

社会任职

法兰西斯·艾伦1970年至1973年担任纽约大学客座教授。

个人生活

高中时,法兰西斯·艾伦深受数学老师的影响,立志成为一名数学老师。法兰西斯·艾伦后来意识到她需要一个硕士学位才能获得教师资格证书,她进入密歇根大学安娜堡分校后学习了计算机课程,其中一些是最早开设的课程,并从Bernard Galler那里了解并学习了IBM 650编程,Bernard Galler是MAD编程语言的共同开发者。后来IBM在密歇根校园进行面试,并给了她一份研究工作。她接受了这个邀请,法兰西斯·艾伦当时认为她会赚到足够的钱来偿还她的读书债务,然后回去继续教书。后来恰恰相反,她在接下来的45年里一直在IBM工作。

法兰西斯·艾伦的丈夫是雅各布·杰克·施瓦茨,他是SETL编程语言和纽约大学库朗研究所超级计算机的创始者。雅各布·杰克·施瓦茨曾访问IBM,与法兰西斯·艾伦和约翰·科克合作开发ACS(高级计算系统项目)。后来,法兰西斯·艾伦和雅各布·杰克·施瓦茨结婚了。

人物评价

(法兰西斯·艾伦)对优化编译器技术的理论和实践做出了开创性贡献,为现代优化编译器和自动并行执行奠定了基础(For pioneering contributions to the theory and practice of optimizing compiler techniques that laid the foundation for modern optimizing compilers and automatic parallel execution)。(图灵奖评)

她(法兰西斯·艾伦)的贡献跨越了计算机科学的大部分历史,并使我们在商业和技术中依赖的计算技术成为可能(Her contributions have spanned most of the history of computer science, and have made possible computing techniques that we rely on today in business and technology)。(时任图灵奖委员会主席、加州大学伯克利分校电气与工程与计算机科学教授露勋娜·巴伊奇评)

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}