Sign In

Communications of the ACM

BLOG@CACM



Dynamic Analysis in the Browser
From BLOG@CACM

Dynamic Analysis in the Browser

Autopsy of a Google Query.

Soundness and Completeness: With Precision
From BLOG@CACM

Soundness and Completeness: With Precision

The two key properties of program analysis are dual of each other.

An Agile Approach to Learning Programming
From BLOG@CACM

An Agile Approach to Learning Programming

The Super Simple Programming Book is one example to teach programming in an Agile way. In general, Agile concepts can lead to highly effective learning.

Calculating With Roman Numerals is Not So Difficult
From BLOG@CACM

Calculating With Roman Numerals is Not So Difficult

How to deal with Roman numerals and without a sign for zero in an additive number system, if no hand abacus is available?

More Replicas of Historical Calculating Machines Found
From BLOG@CACM

More Replicas of Historical Calculating Machines Found

Documenting the discovery of several previously unknown replicas of historical computing devices made by Roberto A. Guatelli.

The Model Maker of Leonardo da Vinci, Blaise Pascal, and Charles Babbage
From BLOG@CACM

The Model Maker of Leonardo da Vinci, Blaise Pascal, and Charles Babbage

Discovery of a previously unknown replica of the legendary Swiss Millionaire calculating machine at Carnegie Mellon University in Pittsburgh, PA.

What Turing and Church Left Out
From BLOG@CACM

What Turing and Church Left Out

Concurrency control for readers and writers in a database is a classic problem that illustrates the power of message passing.

Did Albert Einstein Calculate on the 'Millionaire' in Zurich?
From BLOG@CACM

Did Albert Einstein Calculate on the 'Millionaire' in Zurich?

In 1897, ETH Zurich was the first university in the world to have a copy of the legendary four-species calculating machine Millionaire.

Validating Beneficial AI
From BLOG@CACM

Validating Beneficial AI

The foundational work of the first AI for Good Summit allows the AI community to work together to create an infrastructure for responsible communication, development...

Articulation of Decision Responsibility
From BLOG@CACM

Articulation of Decision Responsibility

Can we establish a locution for the results of a program that does not ascribe decision-making power?

Securing Threats to Election Systems
From BLOG@CACM

Securing Threats to Election Systems

Election systems are supposed to be disconnected from the Internet, for obvious and sensible reasons. Most elections today, however, use computers.

Time To End The vi/Emacs Debate
From BLOG@CACM

Time To End The vi/Emacs Debate

If you still use Emacs, I feel for you. Perhaps it is time to give vi a try.

A Computing Education Research Perspective on Programmable Programming Languages
From BLOG@CACM

A Computing Education Research Perspective on Programmable Programming Languages

Computing education researcher take on the implications of programmable programming languages

Operating Systems as Possible Worlds
From BLOG@CACM

Operating Systems as Possible Worlds

Is a comparison between operating systems, which are analyzed by software engineers for conditional execution paths, and possible worlds, which are analyzed by...

Cyber Insecurity and Cyber Libertarianism
From BLOG@CACM

Cyber Insecurity and Cyber Libertarianism

Here we are, 70 years into the computer age and we still do not seem to know how to build secure information systems. And yet, our community marches forward with...

Just Press Reboot
From BLOG@CACM

Just Press Reboot

Why does the press continue to talk about "computer problems"?

Star Trek@50: Inspiring Discovery and Innovation
From BLOG@CACM

Star Trek@50: Inspiring Discovery and Innovation

Star Trek has inspired generations to pursue science and technology careers, not a few of whom have transformed part of it into technological and commercial fact...

Welcome to the 40th Annual ACM-ICPC World Finals in Phuket, Thailand
From BLOG@CACM

Welcome to the 40th Annual ACM-ICPC World Finals in Phuket, Thailand

The ACM International Collegiate Programming Contest, sponsored by IBM, is the oldest, largest, and most prestigious programming competition in the world.

SC16 Expands Focus on HPC Provider Community, Practitioners
From BLOG@CACM

SC16 Expands Focus on HPC Provider Community, Practitioners

State of the Practice focus at SC16 expands opportunities for HPC service providers and practitioners to publish their innovations and best practices.

California's Internet Voting Initiatives
From BLOG@CACM

California's Internet Voting Initiatives

The vast majority of computer and network security experts agree that there is currently no way to adequately secure an online public election.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account