ACM通信
前进
随着我作为ACM主席任期的结束，我发现自己在反思过去的两年。庆祝活动!
计算机协会的事务是有节奏的，六月是我们一年一度的颁奖典礼和每两年一次的新官员选举。部门:给编辑的信
不需要或期望借壳
我对尤金·h·斯帕福德(Eugene H. Spafford)的《加密的力量》(The Strength of Encryption, 2016年3月)感到失望，它将执法部门访问特定智能手机内容的请求与政府需要后门的前景混为一谈……部门:BLOG@CACM
人工智能的解决方案，真正的研究人员做什么，以及对计算机科学课堂的期望
John Langford谈AlphaGo, Bertrand Meyer谈Research as Research, Mark Guzdial谈CS课程与实验室结果的相关性。专栏:新闻
保护隐私的关键
40年前，Whitfield Diffie和Martin E. Hellman引入了公钥加密技术，用于保护今天的在线交易。当大数据出现错误时会发生什么?
大数据被吹捧为解决商业、政府和医疗保健领域挑战的万灵药，但正如疾病爆发预测显示的那样，大数据经常失败。重新搜索
搜索引擎开发人员正在超越文档分析的问题，转向找出人们真正想要的东西这一难以捉摸的目标。数字人文学科的下一个方向是什么?
新的计算工具促进了一个不断发展的领域的进步。列:内部风险
自我审计系统的风险
由于缺乏公正的独立评价，可能会出现无法预见的问题。专栏:Kode恶性
你想做什么?
单个缓存丢失的代价比许多指令都要高。专栏:IT行业
如何进行创新
如果你从小处开始，不断积累，创新就会非常容易、令人满意和有回报。专栏:面试
采访耶鲁·帕特
ACM Fellow Yale Patt教授回顾了他在工业和学术界的职业生涯。专栏:观点
计算机科学应该保持年轻
寻求改进计算机科学出版文化，同时保留会议和期刊出版过程的最佳方面。隐私已死，隐私万岁
保护社会规范的保密性减弱。一个字节就是我们所需要的
一名青少年探索如何吸引女孩进入计算机科学的神奇世界。部分:练习
我不知道当工程师经理会学到的9件事
许多技能根本不是技术性的。火焰图
这种软件执行的可视化是性能分析和调试的新需要。站在巨人分散的肩膀上
以前有远见的物理学家们都被绞死了!部分:文章的贡献
改善API可用性
以人为中心的设计可以使开发人员更容易使用应用程序编程接口。针对pc的物理密钥抽取攻击
计算机通过容易测量和利用的不经意的物理辐射传播它们的秘密。部分:评论文章
随机数值线性代数
随机化为大规模线性代数计算提供了新的好处。部分:研究亮点
技术角度:验证解决路径爆炸问题
Avgerinos等人的“用验证增强符号执行”提出了一种称为验证的有效技术，解决了符号执行中路径合并的可伸缩性限制。用验证增强符号执行力
在本文中，我们提出了一种生成公式的新技术，称为veritesting它在静态符号执行(SSE)和动态符号执行(DSE)之间交替。技术视角:与人群一起计算
什么样的问题可以通过人机结合的计算来解决?Barowy等人的《AutoMan:一个集成人工和数字计算的平台》为回答这个问题提供了第一步……Automan:一个集成人工和数字计算的平台
我们介绍了AutoMan，第一个全自动众编程系统。专栏:最后一个字节
