Page 310 - 信息的脉络
P. 310
·信息的脉络·
给他图灵奖。
41. 法兰西斯·艾伦（Frances E. Allen）
贡献领域：优化编译器。
获奖年份：2006 年。
法兰西斯·艾伦致力研究并行计算机的编译问题，在以往的工作中促成了许
多目前广泛应用于商业编译器中的程序优化算法和技术，奠定了现代优化编译器
和自动并行执行技术的基础。
42. 爱德蒙·克拉克（Edmund M. Clarke）
艾伦·艾默生（Allen Emerson）
约瑟夫·斯发基斯（Joseph Sifakis）
贡献领域：开发自动化方法检测计算机硬件和软件中的设计错误。
获奖年份：2007 年。
模型检查理论基础是 1981 年由斯发基斯在法国、克拉克和艾默生在美国分别
独立提出的。
模型检查（Model-Checking），是用数学算法来验证一个软件或硬件系统设计
是否满足预设的需求，工业检测方面应用包括芯片检测、通信协议、外部设备主
控软件、嵌入式系统（如在飞机、火车、火箭、卫星或移动电话）以及安全算法等。
43. 芭芭拉·利斯科夫（Barbara Liskov）
贡献领域：编程语言和系统设计的实践与理论。
获奖年份：2008 年。
芭芭拉·利斯科夫领导了多个重要项目，包括第一个支持数据抽象的面向对
象编程语言 CLU 的设计与实现，第一个支持分布式程序实现的高级语言 Argus，
面向对象数据库系统 Thor，还有最近的 Byzantine 分布式容错系统。
其中，CLU 语言对现代主流语言，如 C++/Java/Python/Ruby/C# 都有比较深远
的影响。而她从这些实际项目中提炼出来的数据抽象思想，已经成为软件工程中
最重要的精髓之一。
44. 查尔斯·萨克尔（Charles Thacker）
贡献领域：帮助设计、制造第一款现代 PC。
• 294 •
