正式定档!QCon 北京站改期为2024年4月11-13日,地点:北京·国测国际会议会展中心 >>> 了解详情
写点什么

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:382010
用户头像

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

关注

评论

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

为什么秒验是老年用户注册的最佳选择

MobTech袤博科技

业界数据库工具结合 ChatGPT 的(不完全)汇总

Bytebase

人工智能 数据库 dba ChatGPT

提升用户体验与搜索引擎排名|网页性能监控实操详解

云智慧AIOps社区

监控 监控管理平台 监控宝 网站优化 网站监控

让业务容器化更安全便捷,阿里云容器镜像服务 ACR 推出免费制品中心

阿里巴巴中间件

阿里云 容器 云原生

Kyligence 亮相 Gartner 数据与分析峰会,展示指标平台创新成果

Kyligence

大数据 数据分析 指标中台

切实保障用户权益!天翼云加入“云服务用户权益护航计划”

天翼云开发者社区

共享文件和文档方法指南

镭速

持续创新,厚积薄发,用友引领企业数智化服务产业

用友BIP

用友 用友BIP

ChatGPT编程秀-1:从一个爬虫开始

仝键

JavaScript 架构 TDD java ChatGPT

官宣|Apache Flink 1.17 发布公告

Apache Flink

大数据 flink 实时计算

共铸国云智领未来| 吹起“螺”号,构建数字化生态圈

天翼云开发者社区

Uniapp最新版iOS打包详细步骤详解

雪奈椰子

为什么选择免费文件共享方法上的托管文件传输?

镭速

主题及关卡揭晓!全国智能汽车竞赛智慧交通创意组发布倒计时

飞桨PaddlePaddle

时序数据库入门 | 时序数据库的特点及与传统数据库的区别详解

Greptime 格睿科技

时序数据库 tsdb 时序数据

再获信创认证!MIAOYUN荣获“产业技术创新奖”和“优秀信创企业奖”双重奖项

MIAOYUN

信创 信创云 MIAOYUN 产业技术创新奖 优秀信创企业奖

天翼云坚持科技创新,加速算力普惠!

天翼云开发者社区

定位任意时刻性能问题,持续性能分析实践解析

阿里巴巴中间件

阿里云 云原生 可观测

什么是远程桌面连接?win11系统如何启用远程桌面连接?

RayLink远程工具

SeaTunnel 与 StarRocks 生态融合,让大数据处理回归“简单”!

Apache SeaTunnel

开源 Bigdata Apache SeaTunnel

云平台监控指标的设定

天翼云开发者社区

CloudQuery 社区重启 | 愿归来仍是少年

BinTools图尔兹

数据库 数据库管控 社区版 版本更新

大会计走向业财合一,价值财务成追求方向

用友BIP

智能会计 价值财务 全球司库 业财合一 业财融合

远程桌面无法连接远程计算机是什么原因?

RayLink远程工具

远程桌面连接 远程桌面

重塑大融合体系,立体推进“业财合一”

用友BIP

智能会计 价值财务 业财合一 用友智能财务 业财融合

摸着OpenAI过河,百度文心一言能否“重拳出击”?

引迈信息

百度 ChatGPT 文心一言

LUKS加密卷应用技术简介

天翼云开发者社区

金融监管科技业务中的AI应用:上市公司公告信息风险识别

飞桨PaddlePaddle

天翼云斩获SD-WAN & SASE两项大奖!让企业上云更加丝滑

天翼云开发者社区

“巨变”中,用友奋力实现飞跃

用友BIP

用友BIP

使能千行百业数智化 用友BIP跑出“+速度”

用友BIP

用友BIP

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