Communications of the ACM
Latest Practice
From Communications of the ACM
Proving the Correctness of Nonblocking Data Structures
Nonblocking synchronization can yield astonishing results in terms of scalability and real-time response, but at the expense of verification state space.
From Communications of the ACM
There Is No Getting Around It: You Are Building a Distributed System
Building a distributed system requires a methodical approach to requirements.
From Communications of the ACM
Resolved: The Internet Is No Place For Critical Infrastructure
Risk is a necessary consequence of dependence.
From Communications of the ACM
Eventual Consistency Today: Limitations, Extensions, and Beyond
How can applications be built on eventually consistent infrastructure given no guarantee of safety?
From Communications of the ACM
A File System All Its Own
Flash memory has come a long way and it is time for software to catch up.
From Communications of the ACM
How Fast Is Your Website?
Website performance data has never been more readily available.
From Communications of the ACM
FPGA Programming For the Masses
The programmability of FPGAs must improve if they are to be part of mainstream computing.
From Communications of the ACM
Hazy: Making It Easier to Build and Maintain Big-Data Analytics
Racing to unleash the full potential of big data with the latest statistical and machine-learning techniques.
From Communications of the ACM
Making the Mobile Web Faster
Mobile performance issues? Fix the back end, not just the client.
From Communications of the ACM
Rethinking Passwords
Our authentication system is lacking. Is improvement possible?
From Communications of the ACM
Thinking Methodically About Performance
The USE method addresses shortcomings in other commonly used methodologies.
From Communications of the ACM
A Decade of OS Access-Control Extensibility
Open source security foundations for mobile and embedded devices.
From Communications of the ACM
Browser Security: Appearances Can Be Deceiving
A discussion with Jeremiah Grossman, Ben Livshits, Rebecca Bace, and George Neville-Neil
From Communications of the ACM
The Web Won't Be Safe or Secure Until We Break It
Unless you have taken very particular precautions, assume every website you visit knows exactly who you are.
From Communications of the ACM
The Essence of Software Engineering: The SEMAT Kernel
A thinking framework in the form of an actionable kernel.
From Communications of the ACM
Sender-Side Buffers and the Case For Multimedia Adaptation
A proposal to improve the performance and availability of streaming video and other time-sensitive media.
From Communications of the ACM
Anatomy of a Solid-State Drive
While the ubiquitous SSD shares many features with the hard-disk drive, under the surface they are completely different.
From Communications of the ACM
Resilience Engineering: Learning to Embrace Failure
A discussion with Jesse Robbins, Kripa Krishnan, John Allspaw, and Tom Limoncelli.
From Communications of the ACM
Weathering the Unexpected
Failures happen, and resilience drills help organizations prepare for them.
From Communications of the ACM