Technical Perspective: Building Bug-Free Compilers
What to do about buggy compilers? The authors of "Practical Verification of Peephole Optimizations with Alive" give us a compelling and practical answer.
Research and Advances
Advertisement
Practical Verification of Peephole Optimizations with Alive
We created Alive, a domain-specific language for writing correct peephole optimizations and for automatically either proving them correct or else generating counterexamples.
Technical Perspective: Designing Algorithms and the Fairness Criteria They Should Satisfy
"Which Is the Fairest (Rent Division) of Them All?" focuses on the problem of rent division, and stands out in the variety of techniques applied to arrive at a solution.
Which Is the Fairest (Rent Division) of Them All?
What is a fair way to assign rooms to several housemates, and divide the rent between them? We develop a general algorithmic framework that enables the computation of solutions in polynomial time that optimize a criterion of social justice, subject to the envy freeness constraint.
Technical Perspective: Moving Spectrum
The incentive auction scenario provides the backdrop for the breathtaking research contribution presented by Newman et al. in "Deep Optimization for Spectrum Repacking."
Halide: Decoupling Algorithms from Schedules For High-Performance Image Processing
We propose a new programming language for image processing pipelines, called Halide, that separates the algorithm from its schedule.
Deep Optimization For Spectrum Repacking
This paper describes the process by which we built the SAT-based Feasibility Checker, a crucial element of the 2016-17 U.S. FCC "incentive auction" design.
Technical Perspective: Can High Performance Be Portable?
"Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing" by Ragan-Kelley et al. on the image processing language Halide explores a substantially different approach to architecture-specific code optimization.
Decentralized Blockchain-Based Electronic Marketplaces
In a decentralized marketplace, buyers and sellers transact directly, without manipulation by intermediary platforms.
Popularity Spikes Hurt Future Chances For Viral Propagation of Protomemes
Once a meme gets popular, it will have to evolve to keep being popular.
Information Hiding: Challenges For Forensic Experts
The practice of hiding ill-gotten data in digital objects is rising among cyber thieves. New initiatives serve to educate, train, and thwart these activities.
Cybersecurity, Nuclear Security, Alan Turing, and Illogical Logic
Cyber deterrence, like nuclear deterrence, depends on our adversaries being rational enough to be deterred by our threats but us not by theirs.
Technology-Driven Changes in Work and Employment
Even when surrounded by ubiquitous computing, humans should be encouraged to do what they do better than machines.
Energy Efficiency: A New Concern For Application Software Developers
Development of energy-efficient software is hindered by a lack of knowledge and a lack of tools.
A Theory Of Pricing Private Data
We describe the foundations of a market in which those seeking access to data must pay for it and individuals are compensated for the loss of privacy they may suffer.
Automatically Accelerating Non-Numerical Programs By Architecture-Compiler Co-Design
HELIX-RC is a compiler/microprocessor co-design that opens loops to parallelization by decoupling communication from thread execution in conventional multicore architectures.
Technical Perspective: A Simple, Elegant Approach to Non-Numeric Parallelization
"Automatically Accelerating Non-Numerical Programs by Architecture-Compiler Co-Design," by Simone Campanoni, et al., proposes a modest hardware extension to support a new parallel execution model for small, non-numeric loops.
Technical Perspective: Pricing Information (and Its Implications)
"A Theory of Pricing Private Data," by Chao Li, et al., introduces a fascinating and complicated issue that arises on the buy-side of the market when buyers are interested in multiple linear functions of the same dataset.
User Reviews of Top Mobile Apps in Apple and Google App Stores
The varying review dynamics seen in different app stores can help guide future app development strategies.
Cambits: A Reconfigurable Camera System
Multiple computational cameras can be assembled from a common set of imaging components.
Healthcare robotics can provide health and wellness support to billions of people.
Heads-Up Limit Hold’em Poker Is Solved
This paper is an extended version of our original 2015 Science article, with additional results showing Cepheus' in-game performance against computer and human opponents.
Technical Perspective: Exploring a Kingdom By Geodesic Measures
"The Heat Method for Distance Computation," by Crane, Weischedel, and Wardetzky, shows that the gradient of the probability density function of a random walk is parallel to geodesics.
The Heat Method For Distance Computation
We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains.
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