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: 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: Paris Beyond Frommer's
Can a computer automatically discover and tell us what makes Paris look so much like Paris? "What Makes Paris Look Like Paris?" offers a creative, inspiring new...
From Communications of the ACM
What Makes Paris Look Like Paris?
Given a large repository of geo-tagged imagery, we seek to automatically find visual elements, for example windows, balconies, and street signs, that are most distinctive...
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: The Path to Light Transport
"Geometric Tools for Exploring Manifolds of Light Transport Paths" presents a technique to address the challenging problems of light transport.
From Communications of the ACM
Geometric Tools For Exploring Manifolds of Light Transport Paths
We provide a geometric solution to the longstanding problem of light simulations by representing light paths as points in an abstract high-dimensional configuration...
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