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.
Software Engineering and Programming Languages
Advertisement
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.
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.
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.
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."
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.
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.
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.
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.
Evolutionary Programming Converts Darwinism Into Algorithms
Evolutionary computation strategies include a multitude of biologically inspired algorithms for optimizing problems, often those with too many variables to compare all possible scenarios.
Computing Is the Secret Ingredient (well, Not So Secret)
Computer science is both a powerful enabler of rapid advances in all intellectual fields and a disruptor driving furious revolutions in commerce and society worldwide.
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.
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