ACM编程语言特别兴趣小组(SIGPLAN)探索编程语言的概念和工具,重点关注设计、实现、实践和理论。它的成员包括编程语言开发人员、教育工作者、实现者、研究人员、理论家和用户。
基于解纠缠的高效可扩展并行函数编程
(2014年):CakeML:ML的一种验证实现
(2013年)Halide:一种用于优化图像处理管道中的并行性、局部性和表示的语言和编译器
(2013年)操作中的处理程序
(2013年)编程语言采用的实证分析
从错误中学习:对现实世界并发错误特征的全面研究,ASPLOS 2008
从上到下重新思考图书馆操作系统,ASPLOS 2011
预取编译器算法的设计与评估,ASPLOS 1992