Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: Catching Lies (and Mistakes) in Offloaded Computation
The system described in "Pinocchio: Nearly Practical Verifiable Computation" refines an important theoretical advance by Gennaro et al. Together, these two works represent...
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
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: High-Performance Virtualization: Are We Done?
"Bare-Metal Performance for Virtual Machines with Exitless Interrupts" shows how to enable a virtual machine to attain "bare metal" performance from high-speed...
From Communications of the ACM
Bare-Metal Performance For Virtual Machines with Exitless Interrupts
We present ExitLess Interrupts (ELI), a software-only approach for handling interrupts within guest virtual machines directly and securely.
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: Not Just a Matrix Laboratory Anymore
Mathematics is not difficult to find in Chebfun, the subject of "Computing Numerically with Functions Instead of Numbers."
From Communications of the ACM
Computing Numerically with Functions Instead of Numbers
We present the Chebfun system for numerical computation with functions, which is based on a key idea: an analogy of floating-point arithmetic for functions rather...
From Communications of the ACM
Technical Perspective: A Woodworker's Easy Fix
The authors of "Guided Exploration of Physically Valid Shapes for Furniture Design" have found a way to provide the user with instant feedback on how to fix unstable...
From Communications of the ACM
Guided Exploration of Physically Valid Shapes For Furniture Design
The authors propose an interactive design framework for the efficient and intuitive exploration of geometrically and physically valid shapes.
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: The Simplicity of Cache Efficient Functional Algorithms
In "Cache Efficient Functional Algorithms," Blelloch and Harper suggest we analyze the costs of functional algorithms by assuming objects are allocated sequentially...
From Communications of the ACM
Cache Efficient Functional Algorithms
We present a cost model for analyzing the memory efficiency of algorithms expressed in a simple functional language.
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