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
SAGE: Whitebox Fuzzing For Security Testing
SAGE has had a remarkable impact at Microsoft.
From Communications of the ACM
Revisiting Network I/O APIs: The Netmap Framework
It is possible to achieve huge performance improvements in the way packet processing is done on modern operating systems.
From Communications of the ACM
Bufferbloat: What's Wrong With the Internet?
A discussion with Vint Cerf, Van Jacobson, Nick Weaver, and Jim Gettys.
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
Bufferbloat: Dark Buffers in the Internet
Networks without effective AQM may again be vulnerable to congestion collapse.
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
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