Communications of the ACM
Latest Practice
From Communications of the ACM
Your Mouse Is a Database
Web and mobile applications are increasingly composed of asynchronous and real-time streaming services and push notifications.
From Communications of the ACM
Why LINQ Matters: Cloud Composability Guaranteed
The benefits of composability are becoming clear in software engineering.
From Communications of the ACM
Interactive Dynamics For Visual Analysis
A taxonomy of tools that support the fluent and flexible use of visualizations.
From Communications of the ACM
CPU DB: Recording Microprocessor History
With the open CPU DB database, you can mine microprocessor trends over the past 40 years.
From Communications of the ACM
SAGE: Whitebox Fuzzing For Security Testing
SAGE has had a remarkable impact at Microsoft.
From Communications of the ACM
You Don't Know Jack About Shared Variables or Memory Models
Data races are evil.
From Communications of the ACM
Advances and Challenges in Log Analysis
Logs contain a wealth of information to help manage systems.
From Communications of the ACM
Creating Languages in Racket
Sometimes you just have to make a better mousetrap.
From Communications of the ACM
I/O Virtualization
Decoupling a logical device from its physical implementation offers many compelling advantages.
From Communications of the ACM
Postmortem Debugging in Dynamic Environments
Many modern dynamic languages lack tools for understanding complex failures.
From Communications of the ACM
How Will Astronomy Archives Survive the Data Tsunami?
Astronomers are collecting more data than ever. What practices can keep them ahead of the flood?
From Communications of the ACM
Coding Guidelines: Finding the Art in the Science
Computer science is both a science and an art. Yet, when it comes time for implementation, there is a combination of artistic flare, nuanced style, and technical...
From Communications of the ACM
The Software Industry is the Problem
The time has come for software liability laws.
From Communications of the ACM
Java Security Architecture Revisited
Difficult technical problems and tough business challenges.
From Communications of the ACM
OCaml For the Masses
Why the next language you learn should be functional.
From Communications of the ACM
Abstraction in Hardware System Design
Applying lessons from software languages to hardware languages using Bluespec SystemVerilog.
From Communications of the ACM
The World According to LINQ
Big data is about more than size, and LINQ is more than up to the task.
From Communications of the ACM
Verification of Safety-Critical Software
Avionics software safety certification is achieved through objective-based standards.
From Communications of the ACM
ACM CTO Roundtable on Mobile Devices in the Enterprise
Finding solutions as growth and fragmentation complicate mobile device support.
From Communications of the ACM