Communications of the ACM
Latest Research
From Communications of the ACM
Pinocchio: Nearly Practical Verifiable Computation
We introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions.
From Communications of the ACM
Technical Perspective: Enlisting the Power of the Crowd
An important contribution of "Answering Enumeration Queries with the Crowd" is the observation that by using the crowd for the collection of new data, we are departing...
From Communications of the ACM
Answering Enumeration Queries with the Crowd
Hybrid human/computer database systems promise to greatly expand the usefulness of query processing by incorporating the crowd. Such systems raise many implementation...
From Communications of the ACM
Technical Perspective: In-Situ Database Management
"NoDB: Efficient Query Execution on Raw Data Files" investigates extending a DBMS so it can use the file data in situ, without having to load it first.
From Communications of the ACM
NoDB: Efficient Query Execution on Raw Data Files
We here present the design and roadmap of a new paradigm in database systems, called NoDB, which do not require data loading while still maintaining the whole feature...
From Communications of the ACM
Technical Perspective: Treating Networks Like Programs
"Software Dataplane Verification" takes existing static checking of networks to a new level by checking the real code in the forwarding path of a Click router using...
From Communications of the ACM
Software Dataplane Verification
We present the result of working iteratively on two tasks: designing a domain-specific verification tool for packet-processing software, while trying to identify...
From Communications of the ACM
Technical Perspective: Corralling Crowd Power
"Soylent: A Word Processor with a Crowd Inside," introduces an exciting vision of using crowd workers to power an interactive system — here, a word processor —...
From Communications of the ACM
Soylent: A Word Processor with a Crowd Inside
This paper introduces architectural and interaction patterns for integrating crowdsourced human contributions directly into user interfaces.
From Communications of the ACM
Technical Perspective: Virtual Reality in Your Living Room
The authors of IllumiRoom investigate what AR/VR could look like in a truly social environment — the living room.
From Communications of the ACM
Illumiroom: Immersive Experiences Beyond the TV Screen
IllumiRoom is a proof-of-concept system that surrounds a television with projected light, bringing video games, and film experiences out of the TV screen and into...
From Communications of the ACM
Technical Perspective: Programming Multicore Computers
"Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications" advocates an appealing division of labor between a developer...
From Communications of the ACM
Can Traditional Programming Bridge the Ninja Performance Gap For Parallel Computing Applications?
Current processor trends of integrating more cores with SIMD units have made it more to extract performance from applications. It is believed that traditional...
From Communications of the ACM
Technical Perspective: The Specialization Trend in Computer Hardware
Specialization improves energy-efficiency in computing but only makes economic sense if there is significant demand. A balance can often be found by designing...
From Communications of the ACM
Convolution Engine: Balancing Efficiency and Flexibility in Specialized Computing
We present the Convolution Engine (CE) — a programmable processor specialized for the convolution-like data-flow prevalent in computational photography, computer...
From Communications of the ACM
Technical Perspective: Big Data Needs Approximate Computing
"Neural Acceleration for General-Purpose Approximate Programs" demonstrates the significant advantages in cost, power, and latency through approximate computing...
From Communications of the ACM
Neural Acceleration For General-Purpose Approximate Programs
This paper describes a new approach that uses machine learning-based transformations to accelerate approximation-tolerant programs.
From Communications of the ACM
Technical Perspective: Attacking a Problem from the Middle
"Dissection: A New Paradigm for Solving Bicomposite Search Problems," by Itai Dinur, Orr Dunkelman, Nathan Keller, and Adi Shamir, presents an elegant new algorithm...
From Communications of the ACM
Dissection: A New Paradigm For Solving Bicomposite Search Problems
In this paper, we introduce the new notion of bicomposite search problems, and show that they can be solved with improved combinations of time and space complexities...
From Communications of the ACM