acm-header
Sign In

Communications of the ACM

Latest Research



Building Secure Web Applications With Automatic Partitioning
From Communications of the ACM

Building Secure Web Applications With Automatic Partitioning

Swift is a new, principled approach to building Web applications that are secure by construction. Swift automatically partitions application code while providing...

From Communications of the ACM

Technical Perspective: Tools For Information to Flow Securely and Swift-ly

Back in the old days of the Web (before 1995), Web browsers were fairly simple devices. The server's Web interface was simple enough that an auditor could at least...

From Communications of the ACM

Technical Perspective: Patching Program Errors

C programmers are are all too familiar with out-of-bounds memory errors. The paper here presents an intriguing technique for...

Exterminator: Automatically Correcting Memory Errors with High Probability
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

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...

Zyzzyva: Speculative Byzantine Fault Tolerance
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: 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

Anton, A Special-Purpose Machine For Molecular Dynamics Simulation

The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macro-molecules could in principle provide answers...

From Communications of the ACM

The Emergence of a Networking Primitive in Wireless Sensor Networks

The wireless sensor network community approached networking abstractions as an open question, allowing answers to emerge with time and experience. The Trickle algorithm...

From Communications of the ACM

Technical Perspective: The Physical Side of Computing

Wireless sensor networks represent a new computing platform that blends computation, sensing, and communication...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account