Communications of the ACM
Refine your search:
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]
Computer Science Encyclopedia Can Fill a Gap
Our profession has the credibility and resources to create an Encyclopedia that will serve as the professional standard.
From [email protected]
Did Albert Einstein Calculate on the 'Millionaire' in Zurich?
In 1897, ETH Zurich was the first university in the world to have a copy of the legendary four-species calculating machine Millionaire.
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]
Irrational Exuberance and the 'FATE' of Technology
Questions of verification, safety, and trust must be central when we embody intelligence in physical systems.
From [email protected]
First-Class Philosophical Failure
Interrogation of "first-class object" as an analog to human life goes nowhere.
From [email protected]
Moving Computing Education Past Argument from Authority: Stuart Reges and Women Who Code
Computing educators often make decisions based on arguments from authority. Time to move on.
From [email protected]
Blame-Free Quality Control
How liable should programmers be for the quality of their software?
From [email protected]
Discussing Empirical Answers to Questions of Software Engineering
Focusing on what helps software developers.
From [email protected]
Algorithms Have Been Around for 4,000 Years
For some years now, the terms "algorithms", "digitization" and "artificial intelligence" have become commonplace. However, these terms are rarely explained. One...
From [email protected]
A Software Architect Is the Person You Blame
How efficient is your current software project, and could it potentially benefit from the addition of a software architect?
From [email protected]
Validating Beneficial AI
The foundational work of the first AI for Good Summit allows the AI community to work together to create an infrastructure for responsible communication, development...
From [email protected]
My First Interaction, Design, and Children Conference, IDC 2018
IDC 2018 was a fun conference with lots of great insights.
From [email protected]
From 007 to 'Agent 111'
James Bond-like spies have been eclipsed by a new generation of operatives who don't travel the world (not physically, anyway) or drink martinis, shaken or stirred...
From [email protected]
The Goal of Software Testing
Finding errors is not the same strategy as making sure that a product works.
From [email protected]
Teaching Two Programming Languages in the First CS Course
Should we teach two different programming languages in the first CS course? Probably not -- here's what we know.
From [email protected]
Articulation of Decision Responsibility
Can we establish a locution for the results of a program that does not ascribe decision-making power?
From [email protected]