Communications of the ACM
Latest Practice
From Communications of the ACM
The Hyperdimensional Tar Pit
Make a guess, double the number, and then move to the next larger unit of time.
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
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
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
Arrogance in Business Planning
Technology business plans that assume no competition — ever.
From Communications of the ACM
Computing Without Processors
Heterogeneous systems allow us to target our programming to the appropriate environment.
From Communications of the ACM
Passing a Language Through the Eye of a Needle
How the embeddability of Lua impacted its design.
From Communications of the ACM
DSL For the Uninitiated
Domain-specific languages bridge the semantic gap in programming.
From Communications of the ACM
Microsoft's Protocol Documentation Program: Interoperability Testing at Scale
A discussion with Nico Kicillof, Wolfgang Grieskamp, and Bob Binder.
From Communications of the ACM
If You Have Too Much Data, Then 'Good Enough' Is Good Enough
In today's humongous database systems, clarity may be relaxed, but business needs can still be met.
From Communications of the ACM