acm-header
Sign In

Communications of the ACM

Latest Research

Latest Research Research Archive Refine your search:
subjectTheory
author Nickolai Zeldovich
The Scalable Commutativity Rule
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. Austin T. Clements, M. Frans Kaashoek, Eddie Kohler, Robert T. Morris, Nickolai Zeldovich
From Communications of the ACM | August 2017
Certifying a File System Using Crash Hoare Logic
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... Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler
From Communications of the ACM | April 2017
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account