acm-header
Sign In

Communications of the ACM

BLOG@CACM


bg-corner

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.

The Formal Picnic Approach to Requirements
From BLOG@CACM

The Formal Picnic Approach to Requirements

A mathematical excursion will improve your requirements.

Ten Traits of Exceptional Innovators
From BLOG@CACM

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 BLOG@CACM

Discussing Empirical Answers to Questions of Software Engineering

Focusing on what helps software developers.

The Real Problem With AI
From BLOG@CACM

The Real Problem With AI

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

­Until the Craze Fades
From BLOG@CACM

­Until the Craze Fades

Too much, perhaps, of a good thing?

Why Not Program Right?
From BLOG@CACM

Why Not Program Right?

Not your grandmother's class invariant.

When Will  We Learn?
From BLOG@CACM

When Will We Learn?

Massive software failure once again, with no lesson from past occurrences and no lesson for future systems.

End Anonymous Refereeing
From BLOG@CACM

End Anonymous Refereeing

Who came up with this bizarre idea?

Mainstream Enough For Me
From BLOG@CACM

Mainstream Enough For Me

The worst possible choice of e-mail recipient.

Beyond Folk Pedagogy
From BLOG@CACM

Beyond Folk Pedagogy

On evidence-based teaching.

Empirical Answers to Important Software Engineering Questions (Part 2 of 2)
From BLOG@CACM

Empirical Answers to Important Software Engineering Questions (Part 2 of 2)

Time to start from what matters to practitioners

Empirical Answers to Important Software Engineering Questions (Part 1 of 2)
From BLOG@CACM

Empirical Answers to Important Software Engineering Questions (Part 1 of 2)

Beyond the lamppost

The End of Software Engineering and the Last Methodologist
From BLOG@CACM

The End of Software Engineering and the Last Methodologist

Let's all do deep learning now.

Small and Big Pleasures
From BLOG@CACM

Small and Big Pleasures

What makes a supervisor happy?

The Citadel and the Amusement Park
From BLOG@CACM

The Citadel and the Amusement Park

There are two kinds of Web sites.

The Mythical Brooks Law
From BLOG@CACM

The Mythical Brooks Law

Yes, you can make a project less late by adding manpower. If you are a good manager.

Just Press Reboot
From BLOG@CACM

Just Press Reboot

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

Null-Pointer Crashes, No More
From BLOG@CACM

Null-Pointer Crashes, No More

Void safety is a guarantee that no code will ever catch a reference with its pants down.

Please Explain
From BLOG@CACM

Please Explain

H-index in Web of Science?
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account