Lessons from the Tech Transfer Trenches
Moving from the research realm to real-world business application.
Security and Privacy
Advertisement
The Land Sharks Are on the Squawk Box
It turns out riding across America is more than a handy metaphor for building system software.
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 a dramatic improvement in speed, generality, and functionality.
Technical Perspective: Program Synthesis Using Stochastic Techniques
The authors of "Stochastic Program Optimization" have developed a stochastic search technique and applied it to program optimization.
Stochastic Program Optimization
By encoding constraints of transformation correctness as terms in a cost function, and using a Markov Chain Monte Carlo sampler to explore the space of all possible code sequences, we are able to generate aggressively optimized versions of a given target code sequence.
Pinocchio: Nearly Practical Verifiable Computation
We introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions.
Drumming Up Support For AP CS Principles
Mark Guzdial issues a "call to action" to encourage high schools to offer, and students to take, the Advanced Placement course in Computer Science Principles.
ACM has recognized 42 of its members for significant contributions to the development and application of computing, in areas ranging from data management and spoken-language processing to robotics and cryptography.
Toward a Discourse on Cyber Strategy
Efforts to understand how advanced information technologies will affect future conflicts seem to be missing, or are taking place far from the public eye.
Identity cloaking tools, developed to protect the privacy of Internet users, are being used to skirt cybersecurity and international law.
Where Code Comes From: Architectures of Automatic Control from Babbage to Algol
Considering the evolving concept of programming.
The Building Blocks of a Cloud Strategy: Evidence from Three SaaS Providers
Before looking to enter a cloud-based market, weigh industry characteristics and one's own stock of design capital.
Knowing where you are in space and time promises a deeper understanding of neighbors, ecosystems, and the environment.
Unbalanced Data Leads to Obsolete Economic Advice
Few computer scientists and technological workers worry about their role in the economies of their industries and their countries. Background supplementary material available.
Controlling Cyber Arms, and Creating New Legos
John Arquilla identifies flaws in a potential U.S.-China cyber arms control pact, while Joel C. Adams suggests an unusual way of preserving computer science history.
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.
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 network interface cards.
Gene Amdahl, who formulated Amdahl's Law and worked with IBM and others on developments related to mainframe computing, died recently from complications of pneumonia.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More