ACM编程语言特别兴趣小组(SIGPLAN)探讨编程语言的概念和工具,重点关注设计、实现、实践和理论。它的成员包括编程语言开发人员、教育工作者、实现者、研究人员、理论家和用户。
高级量子编程
(2014年):CakeML:ML的一种验证实现
(2014年)FlowDroid:精确上下文、流、字段,Android的对象敏感和生命周期感知Taint分析应用程序
(2013年)操作中的处理程序
(2013年)编程语言采用的实证分析
从错误中学习:对真实世界并发错误特征的综合研究,ASPLOS 2008
从上到下重新思考图书馆操作系统,ASPLOS 2011
预取编译器算法的设计与评估,ASPLOS 1992