ACM的通信
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2017年4月
从ACM的通信
无罪的数据重用
在这项工作中，我们启动了关于如何保证自适应数据分析统计推断的有效性的原则研究。
从ACM的通信
技术视角：证明文件系统符合预期
“使用Crash Hoare Logic认证文件系统：崩溃存在的正确性”朝着严格意义上的崩溃安全的真实档案系统提供了一大步。
从ACM的通信
使用CRASH HOARE LOGIC认证文件系统：在存在崩溃时正确性
本文介绍了崩溃的Hoare Logic，它将传统的Hoare逻辑扩展到崩溃条件，恢复过程和逻辑地址空间，以在不同的抽象级别指定磁盘状态。
从ACM的通信
技术视角：构建安全网进行数据重用
“无罪数据重用”的作者显示有一种方法可以构建围绕固定数据集的安全网，以便即使数据集是......