Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: Unexpected Connections
The inherent scalability of an interface is the focus of "The Scalable Commutativity Rule" by Austin T. Clements, et al.
From Communications of the ACM
The Scalable Commutativity Rule: Designing Scalable Software For Multicore Processors
This paper introduces an interface-driven approach to building scalable software.
From Communications of the ACM
Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties
"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial...
From Communications of the ACM
Ironfleet: Proving Safety and Liveness of Practical Distributed Systems
We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our...
From Communications of the ACM
Technical Perspective: Low-Depth Arithmetic Circuits
The past few years have seen a revolution in our understanding of arithmetic circuits. "Unexpected Power of Low-Depth Arithmetic Circuits" by Gupta et al. on the...
From Communications of the ACM
Unexpected Power of Low-Depth Arithmetic Circuits
Several earlier results have shown that it is possible to rearrange basic computational elements in surprising ways to give more efficient algorithms. The main...
From Communications of the ACM
Technical Perspective: What Led Computer Vision to Deep Learning?
We are in the middle of the third wave of interest in artificial neural networks as the leading paradigm for machine learning. "ImageNet Classification with Deep...
From Communications of the ACM
ImageNet Classification with Deep Convolutional Neural Networks
In the 1980s backpropagation did not live up to the very high expectations of its advocates. Twenty years later, we know what went wrong: for deep neural networks...
From Communications of the ACM
DeepDive: Declarative Knowledge Base Construction
We describe DeepDive, a system that combines database and machine learning ideas to help to develop knowledge base construction systems.
From Communications of the ACM
Technical Perspective: Functional Compilers
"Exploiting Vector Instructions with Generalized Stream Fusion" points out that stream fusion by itself is not well suited for generating bulk instructions such...
From Communications of the ACM
Exploiting Vector Instructions with Generalized Stream Fusion
Programmers should not have to sacrifice code clarity or good software engineering practices to obtain performance. This work shows how to attain this goal for...
From Communications of the ACM
Technical Perspective: Magnifying Motions the Right Way
"Eulerian Video Magnification and Analysis" demonstrates that phase differences at a given frequency band, due to subtle motions in a video, can be independently...
From Communications of the ACM
Eulerian Video Magnification and Analysis
We present Eulerian Video Magnification, a computational technique for visualizing subtle color and motion variations in ordinary videos by making the variations...
From Communications of the ACM
Technical Perspective: 3D Image Editing Made Easy
The authors of "Extracting 3D Objects from Photographs Using 3-Sweep" present an important step toward achieving 3D editing.
From Communications of the ACM
Extracting 3D Objects from Photographs Using 3-Sweep
We introduce an interactive technique to extract and manipulate simple 3D shapes in a single photograph.
From Communications of the ACM
Technical Perspective: If I Could Only Design One Circuit . . .
"DianNao Family: Energy-Efficient Hardware Accelerators for Machine Learning" shows a deep understanding of both neural net implementations and the issues in computer...
From Communications of the ACM
Diannao Family: Energy-Efficient Hardware Accelerators For Machine Learning
We introduce a series of hardware accelerators (i.e., the DianNao family) designed for Machine Learning (especially neural networks), with a special emphasis on...
From Communications of the ACM
Technical Perspective: The Dawn of Computational Light Transport
What would the world look like if we had a chance to observe it with a trillion frame-per-second video camera? "Imaging the Propagation of Light through Scenes...
From Communications of the ACM
Imaging the Propagation of Light Through Scenes at Picosecond Resolution
We present a novel imaging technique, which we call femtophotography, to capture and visualize the propagation of light through table-top scenes with an effective...
From Communications of the ACM