Communications of the ACM
Latest Research
From Communications of the ACM
Exterminator: Automatically Correcting Memory Errors with High Probability
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. We present Exterminator, a system that automatically...
From Communications of the ACM
Breaking the Memory Wall in MonetDB
In this paper, we report how research around the MonetDB database system has led to a redesign of database architecture in order to take advantage of modern hardware...
From Communications of the ACM
Polaris: A System For Query, Analysis, and Visualization of Multidimensional Databases
In this paper, we address these demands by presenting the Polaris formalism, a visual query language for precisely describing a wide range of table-based graphical...
From Communications of the ACM
Technical Perspective: Safeguarding Online Information Against Failures and Attacks
Users need storage that is highly reliable (it is not lost) and highly available (accessible when needed). Guaranteeing...
From Communications of the ACM
Technical Perspective: The Polaris Tableau System
Jim Gray nominated the Polaris paper for the Research Highlights section and wrote the first draft of this Technical Perspective in November 2006. David Patterson...
From Communications of the ACM
Zyzzyva: Speculative Byzantine Fault Tolerance
A longstanding vision in distributed systems is to build reliable systems from unreliable components. An enticing formulation of this vision is Byzantine fault-tolerant...
From Communications of the ACM
Technical Perspective: Computational Photography on Large Collections of Images
This paper wil strike a familiar chord with anyone who has ever taken a picture. The problem is easy to understand— replacing unwanted parts of a photograph.
From Communications of the ACM
Geometry, Flows, and Graph-Partitioning Algorithms
"Graph partitioning" refers to a family of computational problems in which the vertices of a graph have to be partitioned...
From Communications of the ACM
Scene Completion Using Millions of Photographs
What can you do with a million images? In this paper, we present a new image completion algorithm powered by a huge database of photographs gathered from the Web...
From Communications of the ACM
Technical Perspective: New Developments in Graph Partitioning
Arora, Rao, and Vazirani discuss the most important developments in approximation algorithms over the last two decades.
From Communications of the ACM
Technical Perspective: Transactional Memory in the Operating System
The long tradition of building ever-faster processors is ending, with the computer industry instead putting more...
From Communications of the ACM
Distributed Selection: A Missing Piece of Data Aggregation
In this article, we study the problem of distributed selection from a theoretical point of view. Given a general connected graph of diameter D consisting of n nodes...
From Communications of the ACM
TxLinux and MetaTM: Transactional Memory and the Operating System
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux...
From Communications of the ACM
Technical Perspective: Distributing Your Data and Having It, Too
From Communications of the ACM
Technical Perspective: A Methodology For Evaluating Computer System Performance
Computer science has long had a solid foundation for evaluating the performance of algorithms. The asymptotic...
From Communications of the ACM
Technical Perspective: Transactions Are Tomorrow's Loads and Stores
In computer science, when we say "time is money," we typically refer to two types of time that determine the costs and benefits...
From Communications of the ACM
Composable Memory Transactions
In this paper we present a concurrency model based on transactional memory. All the usualblocking and choice...
From Communications of the ACM
Wake Up and Smell the Coffee: Evaluation Methodology For the 21st Century
Evaluation methodology underpins all innovation in experimental computer science. It requires relevant workloads, appropriate experimental design, and rigorous...
From Communications of the ACM
Technical Perspective: Computer Science Takes on Molecular Dynamics
The following paper by researcher David Shaw and colleagues describes their Anton molecular dynamics engine....
From Communications of the ACM