Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: A New Way to Search Game Trees
Researchers in artificial intelligence know that computers still lag far behind human levels of play in many games of strategy. One such contest of wits is Go...
From Communications of the ACM
Technical Perspective: The Benefits of Capability-Based Protection
Affordable personal computing hardware and the usable GUI-based PC operating systems made the vision of "a computer on every desktop and in every home" a reality...
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: Modeling High-Dimensional Data
Data in high dimension is difficult to visualize and understand. This has always been the case and is even more apparent now with the availability of large high...
From Communications of the ACM
Disentangling Gaussians
The Gaussian mixture model is one of the oldest and most widely used statistical models. Our work focuses on the case where the mixture consists of a small but...
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: Where Do People Draw Lines?
Computer graphics once focused exclusively on realism. The field eventually broadened to include other pictorial...
From Communications of the ACM
Where Do People Draw Lines?
This paper presents the results of a study in which artists made line drawings intended to convey specific 3D shapes.
From Communications of the ACM
Technical Perspective: Anonymity Is Not Privacy
We live in an era of data abundance. Every aspect of our online and offline behavior is captured and analyzed. The companies holding our data face the responsibility...
From Communications of the ACM
Wherefore Art Thou R3579X?: Anonymized Social Networks, Hidden Patterns, and Structural Steganography
In a social network, nodes correspond to people or other social entities, and edges correspond to social links between them. We describe a family of attacks such...
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: A Perfect 'Match'
In a breakthrough contribution, the authors of the paper that follows have developed an efficient way to find approximate nearest neighbors for the case of database...
From Communications of the ACM
The Patchmatch Randomized Matching Algorithm For Image Manipulation
This paper presents a new randomized algorithm for quickly finding approximate nearest neighbor matches between image patches. Our algorithm offers substantial...
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