Communications of the ACM
Refine your search:
From [email protected]
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]
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 [email protected]
NLU 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 [email protected]
Empirical Answers to Important Software Engineering Questions (Part 1 of 2)
Beyond the lamppost
From [email protected]
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 [email protected]
A Jolt or Two (Part 1)
You cannot learn something if you think you already know it, and don't.
From [email protected]
The Robots Are Taking Over! (Perhaps Not Quite Yet)
Programs fix themselves! Today! It's scary!
From [email protected]
Computing: Art, Magic, Science
A new EdX MOOC emphasizes abstractions, Design by Contract and software quality.
From [email protected]
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 [email protected]
Typing Without Typing
Type inference made practical for an object-oriented/functional programming language.
From [email protected]
Run-Time Assertions: What Are You Waiting For?
Would Design by Contract have avoided Heartbleed?
From [email protected]
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 [email protected]
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 [email protected]
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 [email protected]
Apocalypse No! (part 2)
Catastrophism and reliance on dubious studies have no place in serious discussions of software engineering.
From [email protected]
Athena Award Nominations Closing Soon!
Don't miss out on the chance to nominate someone for an Athena Award from ACM-W.
From [email protected]
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 [email protected]
A Fundamental Duality of Software Engineering
What is the value of that function for x = 6?
From [email protected]
Daniel Spielman Wins Macarthur 'genius' Award
Daniel Spielman, Henry Ford II Professor of Computer Science, Mathematics, and Applied Science at Yale University, is the latest computer scientist to receive a...12