哭了!2020图灵奖颁给编程的回忆——Jeff Dean 的编译启蒙书(中)

简介: 刚刚,2020年图灵奖揭晓!影响了数代人的「龙书」作者——阿尔佛雷德·艾侯 (Alfred Aho)和杰弗里·戴维·乌尔曼(Jeffrey David Ullman)获奖。

2017年,他与乌尔曼和约翰·霍普克洛夫特三人一起获得了「C&C奖」。他还是美国科学促进会、ACM、贝尔实验室和IEEE的研究员。

9.jpg

左二为艾侯教授,右一为乌尔曼教授

艾侯教授因其关于算法和数据结构、编程语言、编译器以及计算机科学基础的许多论文和书籍而闻名。

10.jpg

「编程语言AWK」中的「A」就代表艾侯教授Aho,另两个字母代表另外两名开发者:「W」是 Peter Weinberger,「K」是Brian Kernighan.

11.jpg

他还编写了作为 UNIX 一部分的字符串模式匹配实用程序 egrep 和 fgrep 的初始版本; fgrep 是现在被称为 Aho-Corasick 算法的第一个广泛使用的实现。

加入哥伦比亚大学之前,他是贝尔实验室计算机科学研究中心的VP。

杰弗里·乌尔曼

杰弗里·戴维·乌尔曼(Jeffrey David Ullman)(1942年生)是美国计算机科学家,也是斯坦福大学Stanford W. Ascherman工程学老教授。

12.jpg

他所著的关于编译器的教材《编译器设计原理》(Principles of Compiler Design),通常被称为「龙书」,计算理论的书(与他人合著)《自动机理论、语言和计算导论》(Introduction to Automata Theory, Languages, and Computation)被称为「灰姑娘书」(Cinderella book),另外还有数据结构和数据库的教材,这些书都被视为所在专业的标准。

13.jpg

「灰姑娘书」本书的封面描绘了一个女孩(可能是灰姑娘)坐在一个鲁布·戈德堡装置前 手里拿着一根从里面出来的绳子。而封底,在她拉动绳子后,这个装置变得一片狼藉。

乌尔曼于1963年从哥伦比亚大学获得工程数学理学学士学位,1966年获得普林斯顿电气工程专业博士学位。

14.jpg

此后,他在贝尔实验室工作了好几年。1969年到1979年期间,他在普林斯顿大学任教。自1979年以来,他一直是斯坦福大学的教授,目前已经荣退。

1995年,他被选为ACM Fellow;2000年,他被授予高德纳奖。2010年,他还与John Hopcroft一起获得了IEEE冯·诺依曼奖,他们的贡献「为自动机和语言理论领域奠定了基础,并为理论计算机科学做出了许多开创性的贡献。」

15.jpg

相关文章
|
机器学习/深度学习 人工智能 算法
Mamba作者新作:将Llama3蒸馏成混合线性 RNN
【9月更文挑战第25天】《Distillation and Acceleration of Hybrid Models》一文由日内瓦大学、Together AI、康奈尔大学和普林斯顿大学的研究者联合发表,提出将大型Transformer模型(如Llama3)蒸馏成混合线性RNN的新方法,旨在提升长序列生成任务的效率。该方法通过权重映射和多阶段蒸馏,结合渐进蒸馏、监督微调及定向偏好优化技术,有效解决了Transformer模型的二次复杂度和高内存需求问题。实验表明,混合模型在聊天基准测试中表现出色,甚至优于原模型,并通过硬件感知解码算法进一步加速推理。然而,该方法在其他任务上的适用性仍有待验证。
337 7
|
3月前
|
SQL 人工智能 Java
告别传统 Text-to-SQL:基于 Spring AI Alibaba 的数据分析智能体 DataAgent 深度解析
DataAgent是基于Spring AI Alibaba生态构建的企业级AI数据分析师,融合NL2SQL、多智能体协作与RAG技术,支持多数据源分析、自动纠错与可视化报告生成,让业务人员零代码获取深度数据洞察。
2234 42
告别传统 Text-to-SQL:基于 Spring AI Alibaba 的数据分析智能体 DataAgent 深度解析
|
12月前
|
存储 SQL 自然语言处理
ClickHouse查询执行与优化
本文详细介绍了SQL语法扩展、执行计划分析及优化策略,涵盖特殊函数与子句(如`WITH`、`ANY JOIN`)、聚合函数扩展(如`uniqCombined`、`quantileTDigest`)以及执行计划优化技巧。同时深入解析了ClickHouse的索引原理,包括主键索引和跳数索引的工作机制与优化方法。针对查询优化,文章提供了过滤条件下推、分布式查询优化和数据预聚合等策略,并探讨了资源管理与并发控制的核心参数(如`max_memory_usage`、`max_threads`)及队列优先级调度机制,助力高效使用ClickHouse。
1448 9
|
人工智能 决策智能 iOS开发
新Siri解锁万能Agent?魔搭开源移动端框架Mobile-Agent-v2抢先体验!
在刚结束的苹果全球开发者大会WWAC上,Apple家族AI全家桶 「Apple Intelligence」亮相,库克宣布个人智能系统将应用于新版本的 iPhone、iPad 和 Mac 操作系统。
9、Mybatis-Plus 乐观锁
这篇文章介绍了Mybatis-Plus中乐观锁的实现和使用流程,包括使用场景、在实体类中添加版本号字段、配置乐观锁插件以及通过测试验证乐观锁的效果,确保在并发环境下数据的一致性。
9、Mybatis-Plus 乐观锁
|
存储 算法 编译器
课程设计——基于FPGA的交通红绿灯控制系统(源代码)
课程设计——基于FPGA的交通红绿灯控制系统(源代码)
|
消息中间件 缓存 算法
中间件数据一致性
【7月更文挑战第23天】
345 58
|
存储 人工智能 自然语言处理
新手指南:微软ai助手Copilot国内如何使用?
微软 Copilot 是一款强大的 AI 助手,掌握一些技巧可以让你更好地利用它,提高效率和创造力,让你的工作和生活更加精彩!
15550 11
|
存储 机器学习/深度学习 人工智能
深入浅出 AI 智能体(AI Agent)|技术干货
随着人工智能技术的发展,智能体(AI Agents)逐渐成为人与大模型交互的主要方式。智能体能执行任务、解决问题,并提供个性化服务。其关键组成部分包括规划、记忆和工具使用,使交互更加高效、自然。智能体的应用涵盖专业领域问答、资讯整理、角色扮演等场景,极大地提升了用户体验与工作效率。借助智能体开发平台,用户可以轻松打造定制化AI应用,推动AI技术在各领域的广泛应用与深度融合。
33982 1
|
存储 关系型数据库 MySQL
阿里巴巴MYSQL 开发规范
阿里巴巴MYSQL 开发规范
2008 0

热门文章

最新文章