Sign In

Communications of the ACM

BLOG@CACM



What Everyone Knows and What No One Knows
From BLOG@CACM

What Everyone Knows and What No One Knows

Who cares about logic?

Getting a Program Right (7)
From BLOG@CACM

Getting a Program Right (7)

Have you run a program proof before? Now is your chance!

Getting a Program Right (6)
From BLOG@CACM

Getting a Program Right (6)

Thanks for your patience.

Getting a Program Right (1)
From BLOG@CACM

Getting a Program Right (1)

Why it is good to have a systematic approach to software verification.

Talented Programmers Don't Tolerate Chaos
From BLOG@CACM

Talented Programmers Don't Tolerate Chaos

Talented programmers will strive to structure chaos and write perfect code.

Not So Good After All? Don't Let 'Altruism' Kill Your Company
From BLOG@CACM

Not So Good After All? Don't Let 'Altruism' Kill Your Company

Altruism is often heralded as a panacea for management challenges, but it could actually be a death sentence for your team and projects. Here's why. 

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.

Computer Science Relies on the Opposite of Godel's Results
From BLOG@CACM

Computer Science Relies on the Opposite of Godel's Results

The first-order theories of Gödel's results necessarily leave mathematical objects ill-defined.

NL­ Is Not NLP++
From BLOG@CACM

NL­ Is Not NLP++

This is a plea to the technical community working in the domain of natural language processing and natural language understanding to appreciate the difference between...

Discovering Bugs, or Ensuring Success?
From Communications of the ACM

Discovering Bugs, or Ensuring Success?

Finding errors is not the same as making certain a software product works correctly.

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

Is Academia Guilty of Intellectual Colonization of Practice?
From BLOG@CACM

Is Academia Guilty of Intellectual Colonization of Practice?

Researchers should not treat practitioners as mere objects of their studies or simple sources of data, but work towards creating research partnerships with practitioners...

A Jolt or Two (Part 1)
From BLOG@CACM

A Jolt or Two (Part 1)

You cannot learn something if you think you already know it, and don't.

The Robots Are Taking Over! (Perhaps Not Quite Yet)
From BLOG@CACM

The Robots Are Taking Over! (Perhaps Not Quite Yet)

Programs fix themselves! Today! It's scary!

Computing: Art, Magic, Science
From BLOG@CACM

Computing: Art, Magic, Science

A new EdX MOOC emphasizes abstractions, Design by Contract and software quality.

Hadoop at a Crossroads?
From BLOG@CACM

Hadoop at a Crossroads?

A few facts and opinions and a couple of announcements, with a prediction on where the "Hadoop stack" might be going.

Typing Without Typing
From BLOG@CACM

Typing Without Typing

Type inference made practical for an object-oriented/functional programming language.

Run-Time Assertions: What Are You Waiting For?
From BLOG@CACM

Run-Time Assertions: What Are You Waiting For?

Would Design by Contract have avoided Heartbleed?

ACM Multimedia 2013 – Best Papers and the Revision Process
From BLOG@CACM

ACM Multimedia 2013 – Best Papers and the Revision Process

This year ACM Multimedia had a new revision process that may be of interest for other ACM conferences. Let's review it and see also the best papers selection.

The First Heidelberg Laureate Forum 2013
From BLOG@CACM

The First Heidelberg Laureate Forum 2013

The Heidelberg Laureate Forum (HLF) 2013 is an annual event where 200 young researchers get to meet with and learn from 40 Turing Award, Fields Medal, Abel Prize...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account