Communications of the ACM
Refine your search:
From BLOG@CACM
Soundness and Completeness: Defined 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...
From BLOG@CACM
Apocalypse No! (Part 2)
Catastrophism and reliance on dubious studies have no place in serious discussions of software engineering.
From BLOG@CACM
Athena Award Nominations Closing Soon!
Don't miss out on the chance to nominate someone for an Athena Award from ACM-W.
From BLOG@CACM
Software Engineering in the Venice of the North
ESEC-FSE 2013 (in Saint Petersburg,, 18-26 August) is the place to be for software engineering in 2013.
From BLOG@CACM
A Fundamental Duality of Software Engineering
What is the value of that function for x = 6?
From BLOG@CACM