Quantum Technology Forgoes Unconditional Security to Extend its Reach
Two projects in China demonstrate the possibility of global quantum key distribution networks.
Systems and Networking
Advertisement
Serverless computing lets businesses and application developers focus on the program they need to run, without worrying about the machine on which it runs, or the resources it requires.
How innovation originates from market participants with multiple perspectives about commercial value.
Titus: Introducing Containers to the Netflix Cloud
Approaching container adoption in an already cloud-native infrastructure.
Research For Practice: Private Online Communication; Highlights in Systems Verification
Expert-curated guides to the best of CS research.
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.
Elements of the Theory of Dynamic Networks
The challenge of computing in a highly dynamic environment.
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?
The Quantum Computer Era Arrives
The drive to develop and commercialize the first quantum computer has been characterized as the new arms race.
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.
“when Performance Is Pursued Above All”
Long-overlooked CPU vulnerabilities have come to light.
Autonomous Construction Vehicles Are Building the Future
Self-operated construction vehicles will gain traction long before self-driving cars.
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.
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