Communications of the ACM
Latest Research
From Communications of the ACM
X86-TSO: A Rigorous and Usable Programmer's Model For X86 Multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code. However, concurrent programming...
From Communications of the ACM
Technical Perspective: A Solid Foundation For X86 Shared Memory
Multithreaded programs that communicate through shared memory are pervasive. Today they are the most obvious...
From Communications of the ACM
seL4: Formal Verification of an Operating-System Kernel
We report on the formal, machine-checked verification of the seL4 microkernel from an abstract specification down to its C implementation. We assume correctness...
From Communications of the ACM
Technical Perspective: Learning To Do Program Verification
When you decide to use a piece of software, how do you know it will do what you need it to do? Will it be safe to run? Will it interfere...
From Communications of the ACM
Asserting and Checking Determinism For Multithreaded Programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of...
From Communications of the ACM
Technical Perspective: Building Confidence in Multicore Software
Surprises may be fun in real life, but not so in software. One approach to avoiding surprises in software is to establish its...
From Communications of the ACM
Automatic Program Repair With Evolutionary Computation
There are many methods for detecting and mitigating software errors but few generic methods for automatically repairing errors once they are discovered. Recent...
From Communications of the ACM
Technical Perspective: Automated Patching Techniques: The Fix Is In
Finding bugs is technically demanding and yet economically vital. How much more difficult yet valuable would it be to...
From Communications of the ACM
Censored Exploration and the Dark Pool Problem
The success and proliferation of dark pool stock exchanges have created challenging and interesting problems in algorithmic trading—in particular, the problem of...
From Communications of the ACM
Technical Perspective: Learning to Act in Uncertain Environments
The problem of decision making in an uncertain environment arises in many diverse contexts. The key issue in effectively solving problems like this is known as...
From Communications of the ACM
Toward Robotic Cars
Recent challenges organized by DARPA have induced a significant advance in technology for autopilots for cars; similar to those already used in aircraft and marine...
From Communications of the ACM
Technical Perspective: New Bar Set For Intelligent Vehicles
Sebastian Thrun gives us a glimpse into the design and implementation of two winning DARPA grand challenge entries...
From Communications of the ACM
Collaborative Filtering with Temporal Dynamics
Customer preferences for products are drifting over time. Product perception and popularity are constantly changing as new selection emerges. Similarly, customer...
From Communications of the ACM
Creativity Helps Influence Prediction Precision
The past decade has seen an explosion of interest in machine learning and data mining, with significant advances in terms of...
From Communications of the ACM
Using the Forest to See the Trees: Exploiting Context For Visual Object Detection and Localization
Recognizing objects in images is an active area of research in computer vision. However, most of the algorithms for detecting objects perform an exhaustive search...
From Communications of the ACM
Technical Perspective: Seeing the Trees, the Forest, and Much More
Bristling with cameras, microphones, and other sensors, today's portable phones are nevertheless essentially deaf and...
From Communications of the ACM
Post-Silicon Bug Localization For Processors Using IFRA
IFRA overcomes major challenges associated with a very expensive step in post-silicon validation of processors — pinpointing a bug location and the instruction...
From Communications of the ACM
Technical Perspective: Want to Be a Bug Buster?
Microprocessor performance has increased exponentially. These chips with ever increasing complexity are not always fully functional on...
From Communications of the ACM
Faster Dimension Reduction
Data represented geometrically in high-dimensional vector spaces can be found in many applications. The need to manipulate such data in huge corpora and to support...
From Communications of the ACM