The Scalable Commutativity Rule: Designing Scalable Software For Multicore Processors
This paper introduces an interface-driven approach to building scalable software.
Nickolai Zeldovich
Advertisement
Author Archives
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 disk states at different abstraction levels.
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 undefined behavior bugs.
CryptDB: Processing Queries on an Encrypted Database
An ideal solution to satisfying the dual goals of protecting data confidentiality and running computations is to enable a server to compute over encrypted data, without the server ever decrypting the data to plaintext.
Making Information Flow Explicit in HiStar
Features of the new HiStar operating system permit several novel applications, including privacy-preserving, untrusted virus scanners and a dynamic Web server with only a few thousand lines of trusted code.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved