相关文章链接：专访IBM老兵：从教师到首位女性图灵奖获得者

2006年的图灵奖于07年2月21日给了75岁的IBM终生院士(IBM Fellow Emerita)，Frances E. Allen。ACM的官方声明说Frances因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。

Frances是该奖项创立40年来的第一位女性得主。同时，她也是IBM历史上第一位女院士。IBM Fellow是IBM的最高技术职位。当年Frances本想当一名光荣的人民教师，于是就读阿尔班尼州立师范（Albany State Teacher’s College），又在密歇根大学拿了数学硕士学位。临近毕业，她需要钱偿还学生贷款，在1957年加盟IBM Watson 研究中心。于是2007年2月，图灵奖历史上第一位女英雄诞生。

刚进IBM时Frances负责教工程师们使用Fortran。很快她便发现当时的编译器十分原始，大有值得改进的余地，于是着手研究编译器优化。几年后，IBM推出了世界上第一款Fortran优化编译器。1970年到1980年间她发表了一系列经典论文。1970年的Control Flow Analysis和A Basis of Program Optimization一举奠定了基于有向图的程序优化方法，以及基于区间的优化。1971年的A Catalog of Optimizing Transformations更是当时系统执行优化变换的集大成之作。和众多老一辈牛人一样，Frances也是左手理论右手编程的双料高手。她在领导开发IBM的STRETCH系统时，不仅亲手实现了许多她提出的优化算法，还实现了IBM的第一个优化程序的符号调试器。

说Frances深刻影响计算机工业界并非夸张。大家多半熟知摩尔定律。不知有多少人了解Proebsting’s Law?  简单说，就是编译优化技术让计算能力每18年翻一番。不错，单位面积上的晶体管数量每18个月翻倍，随之带来硬件性能的高速增长。可是没有编译技术帮助我们，强大的硬件性能也不过是我们茶余饭后的谈资而已。动不动就闹着要用汇编优化程序的老大们也可以洗洗睡了。就凭个人的小脑袋瓜儿，能优化过几十年来几代科学家和工程师千锤百炼的算法么？系统优化早已超越了跟一条两条机器指令较劲的作坊阶段。现代计算机体系对优化的要求也超越了人的进化速度。乱序执行，分支预测，管道优化，缓存优化，自动并行化，基于数据流的全局优化...这些技术都需要复杂的分析。现在是改动两条独立指令的执行顺序都可以对程序性能造成明显影响的时代了。更不用说基于Strongtalk和JIT的动态优化技术了。就凭人脑几十万年的缓慢进化，拼死能同时跟踪9个变量的能力，呵呵，我们还是和编译器亲密合作的好。

2002年退休后，Allen一直致力于旨在鼓励女性从事计算机科学的教育项目。

备注：

图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人，而这些贡献必须对计算机业有长远而重要的影响。迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。现在的奖金10万美元，由Intel公司赞助。

历届图灵奖获奖者：

1966  A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主

1967　Maurice V.Wilkes因设计出第一台具有内置存储程序的计算机而获奖

1968　Richard W.Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖

1969　Marvin Minsky(资料空缺)

1970　J.H.Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖

1971　John McCarthy因对人工智能的贡献被授予图灵奖

1972　Edsger W.Dijkstra因在编程语言方面的出众表现而获奖

1973　Charles W.Bachman因在数据库方面的杰出贡献而获奖

1974　Donald E.Knuth因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖

1975　Allen Newell和Herbert A.Simon因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖

1976　Michael O.Robin和Dana S.Scott因他们的论文“有限自动机与它们的决策问题”中所提出的非决定性机器这一很有价值的概念而获奖

1977　John Backus因对可用的高级编程系统设计有深远和重大的影响而获奖1978　Robert W.Floyd因其在软件编程的算法方面的深远影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖

1979　Kenneth E.Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖

1980　C.Anthony R.hoare因对程序设计语言的定义和设计所做的贡献而获奖

1981　Edgar F.Codd因在数据库管理系统的理论和实践方面的贡献而获奖

1982　Steven A.Cook因奠定了NP-Completeness理论的基础而获奖

1983　Ken Thompson和Dennis M.Ritchie因在通用操作系统理论方面的突出贡献，特别是对UNIX操作系统的推广的贡献而获奖

1984　Niklaus Wirth因开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言而获奖

1985　Richard M.Karp因对算法理论的贡献而获奖

1986　John E.Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而获奖

1987　John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖

1988　Ivan E.Sutherland因在计算机图形学方面的贡献而获奖

1989　William V.Kahan因在数值分析方面的贡献而获奖

1990　Fernando J.Corbato因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面的贡献而获奖

1991　Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖

1992　Butler Lampson因在个人分布式计算机系统方面的贡献而获奖

1993　Jurlis Hartmanis和Richard E.Stearns因奠定了计算复杂性理论的基础而获奖

1994　Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖

1995　Manuel Blum因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖

1996　Amir Pnueli因在中引入临时逻辑和对程序及系统检验的贡献而获奖

1997　Douglas Engelbart因提出交互计算概念并创造出实现这一概念的重要技术而获奖

1998　James Gray因在数据库和事务处理方面的突出贡献而获奖

1999  Frederick P.和Brooks，Jr.因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献。人月神话的作者

2000  Yao, Andrew Chi-Chih (姚期智)由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性

2001  Dahl, Ole-Johan和Nygaard, Kristen 因他们在设计编程语言SIMULA I 和 SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始

2002  Rivest, Ronald L.和Shamir, 和Adi Adleman, Leonard M.国际上最具影响力的公钥密码算法“RSA”的创始人

2003  Kay, Alan 因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk. 至理名言：预测未来的最好方法是创造

2004  Cerf, Vinton G.和Kahn, Robert E.(TCP/IP协议发明人)由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导

2005  Naur, Peter ACM（美国计算机学会）决定将2005年图灵奖颁发给Peter Naur， 以表彰他在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代程序设计语言的原型。在语法描述中广泛使用的BNF范式，其中的“N”便是来自Peter Naur的名字

（责任编辑 火凤凰 sunsj@51cto.com  QQ：34067741  TEL：（010）68476636-8007）