Sign In

Communications of the ACM



Soundness and Completeness: With Precision
From [email protected]

Soundness and Completeness: With Precision

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

The Formal Picnic Approach to Requirements
From [email protected]

The Formal Picnic Approach to Requirements

A mathematical excursion will improve your requirements.

Ten Traits of Exceptional Innovators
From [email protected]

Ten Traits of Exceptional Innovators

I have had the privilege of meeting, and in some cases closely interacting with, pioneer scientists, technologists, and entrepreneurs, including Nobel, Fields,...

Discussing Empirical Answers to Questions of Software Engineering
From [email protected]

Discussing Empirical Answers to Questions of Software Engineering

Focusing on what helps software developers.

The Real Problem With AI
From [email protected]

The Real Problem With AI

It's algorithms. And data. They can be wrong.

Until the Craze Fades
From [email protected]

Until the Craze Fades

Too much, perhaps, of a good thing?

Mainstream Enough For Me
From [email protected]

Mainstream Enough For Me

The worst possible choice of e-mail recipient.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account