Software Engineering and Programming Languages
Advertisement
Technical Perspective: Mesa Takes Data Warehousing to New Heights
Producing reports at the scale of Google Ads, where billions of clicks happen per day, is the challenge addressed by the Mesa system described in "Mesa: A Geo-Replicated Online Data Warehouse for Google's Advertising System."
The latest in machine learning helps high-energy physicists handle the enormous amounts of data produced by the Large Hadron Collider.
Reducing waste, encouraging experimentation, and making everyone happy.
Should You Upload or Ship Big Data to the Cloud?
The accepted wisdom does not always hold true.
Formula-Based Software Debugging
Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.
λ > 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.
Human-centered design can make application programming interfaces easier for developers to use.
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 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.
This visualization of software execution is a new necessity for performance profiling and debugging.
Welcome to the 40th Annual ACM-ICPC World Finals in Phuket, Thailand
The ACM International Collegiate Programming Contest, sponsored by IBM, is the oldest, largest, and most prestigious programming competition in the world.
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