Research For Practice: Private Online Communication; Highlights in Systems Verification
Expert-curated guides to the best of CS research.
Computing Applications
Advertisement
The Next Phase in the Digital Revolution: Intelligent Tools, Platforms, Growth, Employment
Digital technology determines how (and even whether) people work as much as it determines how information produces economic activity.
A Large-Scale Comparative Study of Beta Testers and Regular Users
Beta testers should represent a future product's target users as much as possible.
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.
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.
Who can say no to the hive mind's promise of cybernetic immortality, for free?
Ethics for Tech must address how professional issues play out in the workplace, in real life.
Cartoon Clinicians: Precursors of Virtual Therapy?
Soldiers in one study were more open with a virtual character about post-traumatic stress symptoms than with human doctors.
The End of Software Engineering and the Last Methodologist
Let's all do deep learning now.
Empirical Answers to Important Software Engineering Questions (Part 1 of 2)
Beyond the lamppost
“when Performance Is Pursued Above All”
Long-overlooked CPU vulnerabilities have come to light.
How Law and Computer Science Can Work Together to Improve the Information Society
Seeking to remedy bad legislation with good science.
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.
The Role of Archives in Digital Preservation
A significant test of any specification is that multiple, independent implementations can be shown to interwork. Establishing standards and allowing archives to be networked could create an ecosystem with substantial resilience.
A new generation of portable scientific instruments is taking shape, thanks to mobile processors and innovative data-gathering techniques.
Abstracting the Geniuses Away from Failure Testing
Ordinary users need tools that automate the selection of custom-tailored faults to inject.
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.
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