写点什么

LLVM 创建者荣获 2012 年 ACM 软件系统奖

  • 2013-04-18
  • 本文字数:1210 字

    阅读完需:约 4 分钟

ACM 已经颁发了 2012 年度的计算领域创新奖,其中的软件系统奖颁发给了 LLVM 的创建者。

计算机协会(ACM)宣布了2012 年度 6 个著名奖项的得主,奖励他们“在将计算机科学应用于解决现实挑战方面的重大贡献”,这也反映了“在计算机网络、信息检索、计算机科学教育、多智能体系统、通用编译技术和人机交互技术等方面的成就”。

软件系统奖是其中之一,由 Vikram S Adve Evan Cheng Chris Lattner 获得,奖励他们在 LLVM 编译器基础架构方面的贡献。LLVM 工具集支持对任意语言进行代码分析和变换。LLVM 技术已经应用于多家公司的产品,如 Apple、Adobe、AMD、Arxan、AutoESL、Cray、Google、Intel、National Instruments、nVidia、REAL Software、XMOS 等等。LLVM 3.2 版发布于 2012 年 12 月, 3.3 版本会在不久的将来发布。

ACM 软件系统奖自 1983 年设立以来,已被授予很多著名人物,如 Dennis Ritchie 和 Ken Thompson(UNIX)、Alan Kay(Smalltalk)、Michael Stonebraker(INGRES)、Vinton Cerf(TCP/IP)和 Tim Berners-Lee(WWW)等等。完整的列表很长,在此不再一一列举。

Martin Casado Dina Katabi 获得了 Grace Murray Hopper 奖(该奖项授予当年的优秀青年计算机专家),以表彰他们对网络效率的改进。Casado 发起了软件定义网络(SDN)运动,他的的贡献在于使用 OpenFlow (一种开放 API)、 OpenVswitch 以及 NOX 和 ONIX SDN 控制器给基于硬件的网络计算机提供了软件替代方案。Dina Katabi 提出了一种新的网络协议设计方案,在网络拥塞控制方面有重要贡献。

Andrei Broder、Moses Charikar 和 Piotr Indyk 因为局部敏感哈希(LSH)算法获得 Paris Kanellakis 理论与实践奖,该算法用于在大型数据库中检索相似条目。

Eric Roberts 获得 Karl V. Karlstrom 杰出教育家奖,以奖励他在计算机科学教育方面的贡献。Roberts 是《Thinking Recursively》一书的作者,他在斯坦福大学创建了计算机科学本科培养计划并且在百慕大群岛的公立高中开设了计算机课程。

Yoav Shoham 和 Moshe Tennenholtz 获得 ACM / AAAI Newell 奖,以表彰他们在“跨计算机科学、博弈论和经济学的多智能体系统”方面的贡献。作为先驱者,Shoham 提供了一种方法来“说明分布式多智能体系统”。而作为开拓者,Tennenholtz 提供了几种方法来“设计与分析计算设置中决策者之间的相互作用”。Tennenholtz 还创造了 RMax,这是一种通过与环境交互进行学习的算法。

Thomas Bartoschek 和 Johannes Schöning 因为“校园地理信息科学”(GI@School)获得 Eugene L. Lawler 奖。该程序使得学生可以“在他们的社区设计问题解决方案时综合利用地理信息和人机交互技术”。

查看英文原文: LLVM Authors Have Received One of the ACM Awards 2012


感谢臧秀涛对本文的审校。

给InfoQ 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博( @InfoQ )或者腾讯微博( @InfoQ )关注我们,并与我们的编辑和其他读者朋友交流。

2013-04-18 09:382557
用户头像

发布了 21 篇内容, 共 74594 次阅读, 收获喜欢 1 次。

关注

评论

发布
暂无评论
发现更多内容

犬类癌症检测(CANDiD)研究:使用独立测试集对1000多只犬进行基于高通量测序的多癌种早期检测"液体活检"血液测试的临床验证

INSVAST

生信服务 液体活检 生信分析 Sentieon 变异检测

京东API接口详解:轻松获取商品详情与SKU信息(1次15个),提升业务效率

代码忍者

京东API接口

揭秘南京大学人工智能通识教育,和鲸Heywhale上线人工智能通识课一体化解决方案

ModelWhale

Python 人工智能 大数据 教改

7个指标看本轮加密货币牛市走到哪一步

区块链软件开发推广运营

交易所开发 dapp开发 链游开发 代币开发 链游开发公链开发

淘宝天猫API接口深度解析:如何高效利用商品详情与关键词搜索商品列表功能

代码忍者

API 接口 pinduoduo API

Flutter OHOS harmony_fluwx 集成微信服务(二)

flfljh

SPICE协议浅析

天翼云开发者社区

云计算 远程控制

天翼云全栈混合云应用场景

天翼云开发者社区

云计算 混合云 天翼云

AlertDialog的简易使用

flfljh

Topaz Video AI for Mac 强大的视频增强与修复工具

小玖_苹果Mac软件

2024年用户喜爱的Top5云电脑排名!没想到黑马是这家

小喵子

云电脑 云游戏 ToDesk云电脑 云电竞 网易云游戏电脑

软件测试常用抓包工具 Charles 与 Fiddler

测试人

软件测试

harmony_flutter_FlutterEngineGroup

flfljh

Flutter OHOS flutter appscheme插件

flfljh

Flutter OHOS flutter_dart_native

flfljh

阿里云大模型矩阵:千问&Qwen解锁多元智能

测吧(北京)科技有限公司

测试

Flex 组件的简略使用

flfljh

自动化测试AI智能体:掌握AI,人人都是自动化测试工程师

测吧(北京)科技有限公司

测试

以太坊项目日渐冷门:以太坊链项目开发的现状与未来

区块链软件开发推广运营

交易所开发 dapp开发 链游开发 公链开发 代币开发

容器与虚拟机的区别与关系

天翼云开发者社区

云计算 容器 虚拟机

Walgreens商品详情API接口的开发应用与收益

科普小能手

数据分析 爬虫 跨境电商 API 接口 API 测试

《Django 5 By Example》阅读笔记:p561-p613

codists

Python django

从单一领域到系统级仿真与优化:Altair在消费电子产品设计中的应用

Altair RapidMiner

制造 仿真 altair Hypermesh jabra

Capture One Studio for Mac中文直装 专业RAW照片处理软件

小玖_苹果Mac软件

《深入浅出Apache Spark》系列⑤:Spark SQL的表达式优化

数新网络官方账号

sql

英伟达视角下的 2025:AI智能体元年

GPU算力

英伟达 AI Agent AI 智能体 Swarm magentic-one

harmony_flutter_udid

flfljh

LLVM创建者荣获2012年ACM软件系统奖_语言 & 开发_Abel Avram_InfoQ精选文章