Communications of the ACM
Refine your search:
The Internet of Things and the Future of Virus Detection and Prevention
Leveraging the Internet of Things in indoor environments could help prevent highly infectious diseases from spreading rapidly…
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
Run-Time Assertions: What Are You Waiting For?
Would Design by Contract have avoided Heartbleed?
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.
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...
From BLOG@CACM
Turing's 1936 Paper and the First Dutch Computers
The following question has polarized the computer-science community: Did Alan Turing's 1936 paper 'On Computable Numbers' influence the early history of computer...12