报名参加CloudWeGo黑客松,奖金直推双丰收! 了解详情
写点什么

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

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

关注

评论

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

从产品角度探索采控的快速交付

鲸品堂

交付工具

低成本、低功耗、小体积433MHz数字量无线控制器

不脱发的程序猿

DIY 无线通信 智能硬件 创客开发

都在说边缘计算,它到底是用来干啥的?

火山引擎边缘云

云计算 边缘计算 虚拟化 算力

低代码实现探索(十)流程执行器

零道云-混合式低代码平台

龙蜥操作系统通过工信部电子标准院首批开源项目成熟度评估

OpenAnolis小助手

国产操作系统 龙蜥社区

openEuler高琨:积极推动开源合规 助力供应链安全

科技热闻

蚂蚁自研移动端 xNN-OCR 技术演进与能力开放

阿里巴巴终端技术

OCR 移动端 端智能

几个超火的编程网站,别错过!

程序员鱼皮

CSS JavaScript html 前端 后端

ShardingSphere Mode 模式新起航:运行模式详解

SphereEx

开源 ShardingSphere SphereEx 运行模式 分布式治理

接口文档Swagger接入统一授权中心IdentityServer4

为自己带盐

swagger dotnet 28天写作 12月日更

从元宇宙到平行员工,人工世界推动的虚实分工利好RPA

王吉伟频道

RPA 机器人流程自动化 元宇宙 人机协作 虚实分工

语音信号的频域分析

轻口味

28天写作 12月日更

57 K8S之自动弹性缩放

穿过生命散发芬芳

k8s 28天写作 12月日更

第一财经年终总结

石云升

读书笔记 28天写作 12月日更

为什么很难得出结论

将军-技术演讲力教练

前端规范落地,团队级的解决方案

德育处主任

前端 代码规范 规范 eslint git规范

2021年全国人工智能大赛正式启动,396万奖金等你报名!

OpenI启智社区

人工智能大赛

性能工具之15个常用的Linux文件系统命令

zuozewei

Linux Shell 12月日更

Rainbond通过插件整合ELK/EFK,实现日志收集

北京好雨科技有限公司

Kubernetes PaaS ELK Stack rainbond

首颗云原生边缘计算卫星升空,与KubeEdge一起探索“智慧太空”

科技热闻

物联网资产管理系统解决方案

低代码小观

物联网 资产管理 CRM 企业管理系统 CRM系统

从0到1带你深入理解log4j2漏洞

网络安全学海

网络安全 信息安全 渗透测试 WEB安全 安全漏洞

HarmonyOS(鸿蒙)——滑动事件之上下左右滑动

李子捌

28天写作 21天挑战 鸿蒙开发 12月日更

百度智能云 AI 公有云服务市场,连续五次第一!

百度大脑

人工智能

敏捷、协作与研发管理

LigaAI

敏捷 研发效能 SaaS 内容合集 技术专题合集

淘特 Flutter 流畅度优化实践

阿里巴巴终端技术

flutter 移动端 flutter 调试工具

Spring Boot 最核心的 25 个注解,都是干货!

CRMEB

新一代人工智能院士高峰论坛-视觉预训练大模型及其在智慧城市中的应用分论坛顺利举办

OpenI启智社区

人工智能 智慧城市 预训练大模型

绩效评估的why&how

mtfelix

28天写作

为什么?为什么要先问目的?(27/28)

赵新龙

28天写作

低代码实现探索(十一)流程中的动作执行器

零道云-混合式低代码平台

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