AICon 上海站|90%日程已就绪,解锁Al未来! 了解详情
写点什么

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

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

关注

评论

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

framework源码,Android学习路线指南,已整理成文档

欢喜学安卓

android 程序员 面试 移动开发

In-depth Java synchronized

0xABC

Java并发 并发编程 Monitor

HBase三个重要机制

五分钟学大数据

HBase 4月日更

和老大的相爱相杀中,让我终于搞懂了函数式接口

麦洛

Java 函数式接口 Lambda java8

Dubbo 学习笔记(一) Hello,Dubbo

U2647

dubbo 4月日更

redis Redis缓存穿透解决方案

Sakura

4月日更

《几何代数计算入门(计算机视觉)》

计算机与AI

计算机视觉 计算机图形学

如何从Telegram下载一整套可爱的猫猫表情包?

彭宏豪95

GitHub 效率 社交 4月日更

一篇文章告诉你什么是EGG Network(阿凡提)以及什么是EFTalk

币圈那点事

OpenHarmony 1.1.0 LTS 版本正式发布

开放原子开源基金会

开源 开放原子开源基金会 OpenHarmony

如何引入TDD实践

顿晓

TDD 4月日更

深圳龙华携手腾讯云 加快推进区块链先行试验区建设

CECBC

区块链技术驱动商业银行开展供应链金融业务的创新路径

CECBC

我是收藏一把好手

yes

学习

「开源免费」基于Vue和Quasar的前端SPA项目crudapi后台管理系统实战之动态表单设计器(五)

crudapi

Vue crud 动态表单 quasar cruapi

用OpenCV制作庆祝武汉重启一周年短视频

老猿Python

Python OpenCV 音视频 图形图像处理 引航计划

你看起来很美味?独家揭露视频推荐系统AI秘方

白洞计划

DEX领域第一个运用整合思维的DeFi协议 SumSwwap潜力巨大

币圈资讯

【资深猎头分享】程序员面试如何避坑?

Java架构师迁哥

聊聊云厂商的指标监控组件

耳东@Erdong

Prometheus 4月日更 #Grafana

使用Composition API在Vue3中创建防抖搜索输入框

devpoint

vite Vue3 防抖

MapReduce优化

大数据技术指南

hadoop 4月日更

火爆火爆!最新分享给大家:Boss直聘转发超80W次的一套超全面试题总结

比伯

Java 架构 面试 程序人生 计算机

spring的IOC使用以及原理

邱学喆

spring ioc 对象创建 属性注入

Linux mkdir 命令

一个大红包

4月日更

NA(Nirvana)Chain“以应用而生”如何强势突围

区块链第一资讯

使用FFmpeg开发的那些事

Bob

音视频 ffmpeg 开源文化

Boss直聘转发超120W次Java全栈面试题!已帮我拿下5个Offer!

Java架构追梦

Java 面试 架构师 阿里巴巴面经总结

别当工具人了,手摸手教会你 Jenkins ! 码农很低调

比伯

Java 程序员 架构 计算机 技术宅

读《非暴力沟通》

箭上有毒

读书笔记 4月日更

flutter开发环境搭建,京东面试真题解析,分享PDF高清版

欢喜学安卓

android 程序员 面试 移动开发

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