Communications of the ACM
Refine your search:
From BLOG@CACM
The Year-Round Joys and Benefits of Open Source Software
One of the things that makes us programmers feel warm and fuzzy is open source software. Companies support open source too. Why give something away for free? A...
From BLOG@CACM
Getting a Program Right (1)
Why it is good to have a systematic approach to software verification.
From BLOG@CACM
Talented Programmers Don't Tolerate Chaos
Talented programmers will strive to structure chaos and write perfect code.
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.
From BLOG@CACM
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
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.
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...
From Communications of the ACM
Discovering Bugs, or Ensuring Success?
Finding errors is not the same as making certain a software product works correctly.
From BLOG@CACM
Empirical Answers to Important Software Engineering Questions (Part 1 of 2)
Beyond the lamppost
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...
From BLOG@CACM
A Jolt or Two (Part 1)
You cannot learn something if you think you already know it, and don't.
From BLOG@CACM
The Robots Are Taking Over! (Perhaps Not Quite Yet)
Programs fix themselves! Today! It's scary!
From BLOG@CACM
Computing: Art, Magic, Science
A new EdX MOOC emphasizes abstractions, Design by Contract and software quality.
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.
From BLOG@CACM
Typing Without Typing
Type inference made practical for an object-oriented/functional programming language.
From BLOG@CACM