Sign In

Communications of the ACM

Research Archive


Archives

The Research archive provides access to all Research articles published in past issues of Communications of the ACM.

April 2017


From Communications of the ACM

Guilt-Free Data Reuse

Guilt-Free Data Reuse

In this work, we initiate a principled study of how to guarantee the validity of statistical inference in adaptive data analysis.


From Communications of the ACM

Technical Perspective: Proving File Systems Meet Expectations

"Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes" presents a big step toward real-world file systems that are crash-safe in a strict sense.


From Communications of the ACM

Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes

Certifying a File System Using Crash Hoare Logic

This paper introduces Crash Hoare logic, which extends traditional Hoare logic with a crash condition, a recovery procedure, and logical address spaces for specifying disk states at different abstraction levels.


From Communications of the ACM

Technical Perspective: Building a Safety Net for Data Reuse

The authors of "Guilt-Free Data Reuse" show there is a way to construct a safety net that goes around a fixed dataset so that it may be analyzed interactively without compromising statistical validity even when the dataset is…