Communications of the ACM
Latest Research
From Communications of the ACM
The Scalable Commutativity Rule: Designing Scalable Software For Multicore Processors
This paper introduces an interface-driven approach to building scalable software.
From Communications of the ACM
Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes
This paper introduces Crash Hoare logic, which extends traditional Hoare logic with a crash condition, a recovery procedure, and logical address spaces for specifying...
From Communications of the ACM
A Differential Approach to Undefined Behavior Detection
This paper studies undefined behavior arising in systems programming languages such as C/C++. We introduce a new static checker called STACK that precisely identifies...
From Communications of the ACM