Sign In

Communications of the ACM

Table of Contents

On the Future of ACM

How must ACM restructure its portfolio, and the business models that support it, to stay relevant and viable in the future?
DEPARTMENT: From the president

Revisiting the Tragedy of the Commons

While the commons created by the Internet need not be bounded, it is a shared environment that must be protected for the benefit of its users.
DEPARTMENT: Letters to the Editor

Deep Accountability, Beyond Even Liability

I am a Colorado licensed professional engineer whose area of practice is software and who found no cause for disagreement with the first half of Vinton G. Cerf's "From the President" editorial (July 2013). The second half …

Helping Scientists, Engineers to Work Up to 100 Times Faster

Philip Guo explains how programming skills can make scientists and engineers more efficient and creative.

Tuning In to Graphene

New ultra-fast wireless antennas may be on the way, but don't throw away your old wireless router just yet.

Making the Internet Safe For Gadgets

Initiatives favor direct connections, named resources, and cryptography.

Software Helps Linguists Reconstruct, Decipher Ancient Languages

Linguists who once spent an entire career reconstructing a major language family now can accomplish that in just a few hours.

The Alan Turing Year Leaves a Rich Legacy

A year-long celebration of the life and work of a man whom many call the founding father of computer science.
COLUMN: Technology strategy and management

Evaluating a Startup Venture

Considering the key elements of successful startups.
COLUMN: The business of software

When Faster Is Slower

How the speed of modern tools may decelerate development.
COLUMN: Kode Vicious

The Naming of Hosts Is a Difficult Matter

Also, the perils of premature rebooting.
COLUMN: Inside risks

Controlling For Cybersecurity Risks of Medical Device Software

Medical device hacking is a red herring. But the flaws are real.
COLUMN: Viewpoint

Beyond Efficiency

Esteem for efficiency should be tempered with respect for robustness.
SECTION: Practice

Barbarians at the Gateways

A special section on high-frequency trading and exchange technology.

Online Algorithms in High-Frequency Trading

The challenges faced by competing HFT algorithms.

Passively Measuring TCP Round-Trip Times

A close look at round-trip time measurements with the Transmission Control Protocol.
SECTION: Contributed articles

Implementing the Argument Web

Improve online public discourse by connecting opinions across blogs, editorials, and social media.

Trends in Computer Science Research

Keywords in the ACM Digital Library and IEEE Xplore digital library and in NSF grants anticipate future CS research.
SECTION: Review articles

A Blueprint for Building a Quantum Computer

Quantum computer architecture holds the key to building commercially viable systems.
SECTION: Research highlights

Technical Perspective: Can We Verify Cyber-Physical Systems?

Developing effective symbolic verification technology for mixed discrete-analog models has proved to be a challenging problem. The following paper by Althoff et al. reports a major milestone in this quest.

Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization

We present a scalable and formal technique to verify locking time and stability for charge-pump phase-locked loops (PLLs).
COLUMN: Last byte

Future Tense: Quantum Precog

From the intersection of computational science and technological speculation, with boundaries limited only by our ability to imagine what could be.Spared a horrible death, it was murder just the same.