Communications of the ACM
Latest Practice
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
Scalable SQL
How do large-scale sites and applications remain SQL-based?
From Communications of the ACM
The One-Second War
Finding a lasting solution to the leap seconds problem has become increasingly urgent.
From Communications of the ACM
Mobile Application Development: Web vs. Native
Web apps are cheaper to develop and deploy than native apps, but can they match the native user experience?
From Communications of the ACM
Weapons of Mass Assignment
A Ruby on Rails app highlights some serious, yet easily avoided, security vulnerabilities.
From Communications of the ACM
A Co-Relational Model of Data For Large Shared Data Banks
Contrary to popular belief, SQL and noSQL are really just two sides of the same coin.
From Communications of the ACM
Returning Control to the Programmer: SIMD Intrinsics For Virtual Machines
Exposing SIMD units within interpreted languages could simplify programs and unleash floods of untapped processor power.
From Communications of the ACM
B.Y.O.C (1,342 Times and Counting)
Why can't we all use standard libraries for commonly needed algorithms?
From Communications of the ACM
Testable System Administration
As we progress into an information age, humans will need to work less like the machines they use and embrace...
From Communications of the ACM