Communications of the ACM
Latest Research
From Communications of the ACM
A Taste of Capsicum: Practical Capabilities For Unix
Capsicum is a lightweight operating system capability and sandbox framework planned for inclusion in FreeBSD 9. Capsicum extends, rather than replaces, UNIX APIs...
From Communications of the ACM
Technical Perspective: Compiling What to How
The following paper by Viktor Kuncak et al. integrates declarative programming into a general-purpose language, allowing one to escape the host language when...
From Communications of the ACM
Software Synthesis Procedures
Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming...
From Communications of the ACM
Technical Perspective: Content-Centric Networking
Much has changed in the 50 years since the invention of packet switching and the early network designs and deployments that...
From Communications of the ACM
Networking Named Content
Current network use is dominated by content distribution and retrieval yet current networking protocols are designed for conversations between hosts. We present...
From Communications of the ACM
Technical Perspective: Safety First!
Software misbehaves all too often. This is a truism, but also the driving force behind many computing techniques intended to increase software reliability, safety...
From Communications of the ACM
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
High-level computer applications build on services provided by lower-level software layers. Unfortunately, today's low-level software still suffers from a steady...
From Communications of the ACM
Technical Perspective: Making Untrusted Code Useful
The following paper combines two important themes in secure computing: assurance and information flow control. For high assurance, a system's Trusted Computing...
From Communications of the ACM
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...
From Communications of the ACM
Technical Perspective: Power Efficiency as the #1 Design Constraint
Moore's Law, and associated observations by Bob Dennard, describe key technical...
From Communications of the ACM
Understanding Sources of Ineffciency in General-Purpose Chips
To better understand what improvement in processor efficiency is possible, we quantify the performance and energy overheads of a 720p HD H.264 encoder running on...
From Communications of the ACM
Technical Perspective: Making Browser Extensions Secure
Vulnerabilities in browsers and their extensions have become the primary venue through which cyber criminals compromise the security...
From Communications of the ACM
Vetting Browser Extensions For Security Vulnerabilities with VEX
The browser has become the de facto platform for everyday computation and a popular target for attackers of computer systems. Among the many potential attacks that...
From Communications of the ACM
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Windows Error Reporting (WER) is a distributed system that automates the processing of error reports coming from an installed base of a billion machines. WER has...
From Communications of the ACM
Technical Perspective: Is Scale Your Enemy, Or Is Scale Your Friend?
Scale has been the single most important force driving changes in system software over the last decade. Its impact is...
From Communications of the ACM
Technical Perspective: FAWN: A Fast Array of Wimpy Nodes
The emergence of wimpy processors and FLASH met a promising deployment scenario in the field of large-scale data centers. The energy efficiency potential of these...
From Communications of the ACM
FAWN: A Fast Array of Wimpy Nodes
This paper presents a fast array of wimpy nodes — FAWN — an approach for achieving low-power data-intensive data-center computing.
From Communications of the ACM
Dremel: Interactive Analysis of Web-Scale Datasets
Dremel is a scalable, interactive ad hoc query system for analysis of read-only nested data. By combining multilevel execution trees and columnar data layout, it...
From Communications of the ACM
Technical Perspective: Data Analysis at Astonishing Speed
The importance of data analysis has never been clearer. Globe-spanning scientific collaborations are exploring...
From Communications of the ACM