Formula-Based Software Debugging
Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.
Computing Applications
Advertisement
λ > 4: An Improved Lower Bound on the Growth Constant of Polyominoes
The universal constant λ, the growth constant of polyominoes (think Tetris pieces), is rigorously proved to be greater than 4.
Why Google Stores Billions of Lines of Code in a Single Repository
Google's monolithic repository provides a common source of truth for tens of thousands of developers around the world.
The Ritual of Academic-Unit Review
Why is it that academic-unit reviews accomplish so little in spite of the significant effort both by the reviewed units and reviewing committees? There are three main reasons, I believe.
Mesa: A Geo-Replicated Online Data Warehouse For Google's Advertising System
Mesa is a highly scalable analytic data warehousing system that stores critical measurement data related to Google's Internet advertising business. This paper presents the Mesa system and reports the performance and scale that it achieves.
You cannot learn something if you think you already know it, and don't.
Drivers, These Robots Have Your Back
Automated safety systems can prevent an accident before the driver is even aware of the possibility.
3d/vr Malady May Have Simple Solution
A simple low-tech solution appears to compensate for the vergence-accommodation conflict.
More Low-Cost Pcs Are Aimed at Students
BBC’s micro:bit is the latest low-cost computer for education.
Google nveils ‘artificial Creativity’
Google's Magenta artificial intelligence is being challenged to produce original music and other art.
Human-centered design can make application programming interfaces easier for developers to use.
Randnla: Randomized Numerical Linear Algebra
Randomization offers new benefits for large-scale linear algebra computations.
Automan: A Platform For Integrating Human-Based and Digital Computation
We introduce AutoMan, the first fully automatic crowdprogramming system.
Enhancing Symbolic Execution with Veritesting
In this article, we present a new technique for generating formulas called veritesting that alternates between static symbolic execution (SSE) and dynamic symbolic execution (DSE).
Technical Perspective: Computing with the Crowd
What kinds of problems can be solved with combined human and machine computation? "AutoMan: A Platform for Integrating Human-Based and Digital Computation," by Barowy et al., provides the first steps toward answering this question.
Technical Perspective: Veritesting Tackles Path-Explosion Problem
"Enhancing Symbolic Execution with Veritesting" by Avgerinos et al. proposes an effective technique called veritesting that addresses the scalability limitations of path merging in symbolic execution.
What’s Next For Digital Humanities?
New computational tools spur advances in an evolving field.
What Happens When Big Data Blunders?
Big data is touted as a cure-all for challenges in business, government, and healthcare, but as disease outbreak predictions show, big data often fails.
Search engine developers are moving beyond the problem of document analysis, toward the elusive goal of figuring out what people really want.
The Solution to AI, What Real Researchers Do, and Expectations For CS Classrooms
John Langford on AlphaGo, Bertrand Meyer on Research as Research, and Mark Guzdial on correlating CS classes with laboratory results.
This visualization of software execution is a new necessity for performance profiling and debugging.
Athletic footwear is about to be customized in the extreme, through a combination of computer vision-enabled scanning and three-dimensional printing.
The Emerging Technology Landscape in China
Observations about the emerging technology landscape in China, looking at mobile social networking, mobile payments, taxi hailing, and same or next day delivery.
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