SIGPLAN主席的包容性声明

SIGPLAN博客

奖项和近期获奖者

编程语言成就奖（2023年提出）

• 凯瑟琳·麦金利

杰出服务奖（于2023年提交）

• 塔里亚·林格

卓越教育者奖（2023年提出）

• 凯西·菲斯勒（Kathi Fisler）和克里希纳穆斯（Shriram Krishnamurthi）

编程语言软件奖（2023年提出）

• OCaml公司

罗宾·米尔纳青年研究员奖（2023年提出）

• 内特·福斯特

约翰·雷诺兹博士论文奖（2023年提出）

• 卡内基梅隆大学Sam Westrick

  基于解纠缠的高效可扩展并行函数编程

最具影响力的POPL论文奖（2024年提出）

• 拉马纳·库马尔（Ramana Kumar）、马格努斯·米林（Magnus Myreen）、迈克尔·诺里什（Michael Norrish）、斯科特·欧文斯（Scott Owens）

  （2014年）：CakeML：ML的验证实现

最具影响力的PLDI论文奖（2023年提出）

• 乔纳森·拉甘·凯利（麻省理工学院）、康奈利·巴恩斯（奥多比）、安德鲁·亚当斯（奥多布）、，Sylvain Paris（Adobe）、Frédo Durand（麻省理工学院）、Saman Amarasinghe（麻省理工学院）

  （2013年）卤化物：用于优化图像处理管道中的并行性、局部性和表示的语言和编译器

最具影响力的ICFP论文奖（2023年提出）

• Ohad Kammar、Sam Lindley和Nicolas Oury

  （2013年）操作中的处理程序

最具影响力OOPSLA论文奖（2023年提出）

• 利奥·梅耶罗维奇和阿里尔·拉布金

  （2013年）编程语言采用的实证分析

SIGPLAN赞助活动的其他奖项（2022年提出）

• ASPLOS最具影响力论文奖：Shan Lu、Soyeon Park、Eunsoo Seo和周媛媛

  从错误中学习：对真实世界并发错误特征的综合研究，ASPLOS 2008

• ASPLOS最具影响力论文奖：Donald E.Porter、Silas Boyd-Wickizer、Jon Howell、Reuben Olinsky和Galen C.Hunt

  从上到下重新思考图书馆操作系统，ASPLOS 2011

• ASPLOS最具影响力论文奖：托德·莫瑞（Todd C.Mowry）、莫妮卡·兰姆（Monica S.Lam）和阿诺普·古普塔（Anoop Gupta）

  预取编译器算法的设计与评估，ASPLOS 1992

ACM研究员（2020年确认）

• Tony Hoare、Andrew D.Gordon、Cormac Flanagan、Gordon Plotkin、Patrick Cousot和Thomas Eiter

SIGPLAN赞助会议

• 程序设计语言原理（POPL）
• 程序设计与实现（PLDI）
• OOPSLA公司
• 函数式程序设计国际会议
• 编程语言和操作系统（ASPLOS）的体系结构支持
• 系统、编程、语言和应用&#58人性化软件（SPLASH）
• 编译器构造（CC）
• 代码生成与优化（CGO）
• 动态语言研讨会（DLS）
• 生成性编程：概念和经验（GPCE）
• 记忆管理国际研讨会
• 嵌入式系统的语言、编译器和工具（LCTES）
• 哈斯克尔研讨会（HS）
• 编程语言史（HOPL）
• 托管编程语言和运行时（MPLR）
• 向前的！
• 软件语言工程（SLE）
• 并行编程原理与实践（PPOPP）
• 虚拟执行环境（VEE）
• 编程语言指导研讨会（PLMW）
• 认证课程和证明（CPP）