ACM通信
部门:从总统
部门:瑟夫
部门:BLOG@CACM
专栏:新闻
专栏:技术战略和管理
列:内部风险
专栏:Kode恶性
专栏:观点
部分:练习
部分:文章的贡献
部分:评论文章
部分:研究亮点
专栏:最后一个字节
ACM如何响应社区需求
作为总统，人们问我的一个问题是ACM——一个以志愿者为基础的全球性组织——如何随着时间的推移而发展。它是为了跟上我们职业的变化而发展的吗?部门:瑟夫
人工智能不是借口!
我总是听到不去解决难题的借口:“最终人工智能会解决这个问题，所以现在没有必要去解决它。”对不起,错误的答案。部门:BLOG@CACM
确定变量，采用敏捷方法
罗宾·k·希尔试图更好地定义变量，而埃德温·托雷斯承认他是自己最大的障碍。专栏:新闻
接近量子纠错
量子计算机只有在实现量子纠错时才会变得实用。保护工业控制系统
找到并堵住SCADA的安全漏洞。CS教师短缺
如果没有足够的教师，我们如何填补更多的计算机科学教室?专栏:技术战略和管理
云作为软件开发的创新平台
云计算如何成为一个平台。列:内部风险
如何提高系统的可信度?
总结一些对于解决已知的系统和网络缺陷以及预测当前未知的漏洞似乎越来越必要的更改。专栏:Kode恶性
首席安全官的职责是什么?
安全需要的不仅仅是现成的解决方案。专栏:观点
无需多设备数字的援助
云服务的增加和对多个数字设备的所有权为数字助手提供跨一系列任务和场景的指导创造了独特的机会。部分:练习
开源固件
走进内核背后的世界。演示数据作为代码
自动化有助于协作。管理的演变
在梯子上过渡。部分:文章的贡献
解锁数据以改善公共政策
当管理数据得到妥善保护、匿名化并优化用于研究时，就可以将其用于帮助政府项目更好地服务于有需要的人。基于采样的机器人运动规划
为了解决在规划机器人系统时出现的计算挑战，必须重新审视传统的CS算法、工具和范式。部分:评论文章
消费者级制造及其革命性的可及性的潜力
数字制造技术为现实世界的支持打开了新的大门和挑战。用可证明算法设计蛋白质
蛋白质设计算法可以利用可证明的准确性保证提供新的见解和独特的优化分子。部分:研究亮点
技术角度:CertiKOS的可伸缩性
“构建经过认证的并发操作系统内核”的作者阐明，正式验证可以扩展到具有大量共享内存并发性的中等大小的程序(6,500行C语言)。构建认证的并发操作系统内核
在这项工作中，我们提出了CertiKOS，一种用于构建经过验证的并发操作系统内核的新组合框架。专栏:最后一个字节
