AICon 北京站 Keynote 亮点揭秘,想了解 Agent 智能体来就对了! 了解详情
写点什么

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

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

关注

评论

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

嘉为蓝鲸CMP多云管理平台解决方案成功入选!

嘉为蓝鲸

多云管理 IT运维 蓝鲸

火山引擎多云安全平台,破解多云异构场景下的安全挑战

科技热闻

零信任之访问代理

Flomesh

Pipy

理解JVM工作机制(三)对象的内存布局

Geek漫游指南

Java JVM

Python从0到1丨了解图像形态学运算中腐蚀和膨胀

华为云开发者联盟

Python 人工智能 华为云 华为云开发者联盟 企业号 5 月 PK 榜

火山引擎DataLeap联合DataFun发布《数据治理知识地图》

字节跳动数据平台

数据治理 数据开发 数据库开发 数据研发

奇妙JVM(一):Java程序员必须知道的神秘黑箱

xfgg

Java JVM

GitHub上13个高赞Java项目推荐,会一个就能跟面试官谈笑风生

Java你猿哥

Java 微服务 秒杀系统 网约车项目 java项目

开源赋能 普惠未来|铜锁/Tongsuo诚邀您参与2023开放原子全球开源峰会

开放原子开源基金会

开源

等保和网络安全法的关系是什么?怎么理解?

行云管家

网络安全 等保 等级保护

实力上榜!ONES 荣获深圳市「专精特新」企业认定

万事ONES

开发者福利来了 | 京东云全系核心产品公开比价:我们承诺,买贵就赔!

京东科技开发者

数据库 云主机 京东云 云主机厂商 企业号 5 月 PK 榜

面试官:怎么保证Kafka的消息不丢失

Java kafka 面试 消息队列 消息中间件

【云计算】谷歌云是国外的吗?是公有云还是私有云?

行云管家

公有云 私有云 谷歌云

分解GameFi链游游戏软件系统如何开发?

Congge420

浅谈NFT盲盒游戏系统开发原理

Congge420

【技术】多端能力服务统一是一种关键的技术和架构

没有用户名丶

发挥数据价值!数据驱动的日志解析与异常检测方法介绍!

嘉为蓝鲸

日志分析 管理日志 日志统计

开源赋能 普惠未来|XuperCore诚邀您参与2023开放原子全球开源峰会

开放原子开源基金会

开源

ChatGPT聊天系统开发基于GPT-3.5架构

Congge420

NFTScan 正式发布 Bitcoin NFT 浏览器,支持 Ordinals NFT 和 BRC20 资产

NFT Research

Bitcoin NFT\

软件测试丨SeleniumIDE 自动化用例录制、测试用例结构分析

测试人

软件测试 自动化测试 测试开发 测试用例 selenium

透明LED显示屏与常规屏的区别

Dylan

LCD1602液晶显示屏 显示器 LED显示屏

SpringBoot 中实现定时任务的几种方式

Java Spring Boot

JMeter笔记7 | JMeter脚本回放

测试 Jmeter 性能测试 自动化测试 接口测试

JMeter笔记8 | JMeter关联

测试 Jmeter 性能测试 自动化测试 接口测试

理解JVM工作机制(二) 对象的创建

Geek漫游指南

Java JVM Java web

嘉为蓝鲸DevOps流水线工具如何为企业研发赋能?

嘉为蓝鲸

DevOps 流水线 蓝鲸

Apache Hudi 在袋鼠云数据湖平台的设计与实践

袋鼠云数栈

数据湖 Hudi Apache Hudi

在 Kubernetes 上实现高速应用交付

NGINX开源社区

nginx Kubernetes

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