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]
The Ethical Responsibilities of the Student or End-User Programmer
If a student's program goes awry, who is responsible? How do we protect society and encourage people to learn about code?
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]
The Model Maker of Leonardo da Vinci, Blaise Pascal, and Charles Babbage
Discovery of a previously unknown replica of the legendary Swiss Millionaire calculating machine at Carnegie Mellon University in Pittsburgh, PA.
From [email protected]
Broadening Participation in Computing Is Easier Than You Think
Some small steps that can make a big difference.
From [email protected]
Short Take: Big Data and IoT in Practice
Looking at some use cases for the adoption of big data in industries that deal with physical things, and drawing some inferences.
From [email protected]
There Are No Digital Humanities
Many think that the opposite of digital is analog or mechanical.
From [email protected]
FictionStein
Science fiction like Frankenstein nudges readers to confer humanity but nudges them away from moral fortitude.
From [email protected]
The Formal Picnic Approach to Requirements
A mathematical excursion will improve your requirements.
From [email protected]
Direct Instruction is Better than Discovery, but What Should We be Directly Instructing?
We should teach students directly, not expect them to discover for themselves. What should we be teaching directly?
From [email protected]
A Tale of Two CTs (and a Revised Timeline for Computational Thinking)
Rethinking the timeline of Computational Thinking to recognize several computer scientists in addition to Jeannette Wing.
From [email protected]
Scalable Intelligent Systems by 2025
People are fundamental to a Scalable Intelligent System; there is no computer-only solution that can implement such a system.
From [email protected]
Ten Traits of Exceptional Innovators
I have had the privilege of meeting, and in some cases closely interacting with, pioneer scientists, technologists, and entrepreneurs, including Nobel, Fields,...
From [email protected]
What Children Want to Know About Computers
Does a super computer have a really big chip in it? Would we be more or less clever if computers had never been invented? These are the sorts of questions which...
From [email protected]
Changing Who Pays for CS Professional Development in the U.S. and Who Controls It: It Has to be Local
In the U.S., a shift in who pays to prepare computer science (CS) teachers.
From [email protected]
Mystery Dating of the World-famous 'Millionaire' Calculating Machine Solved
Regarding the discovery of new documents about the H.W. Egli AG (Zurich) company in the Museum für Kommunikation, Berne, Switzerland.
From [email protected]
What Turing and Church Left Out
Concurrency control for readers and writers in a database is a classic problem that illustrates the power of message passing.
From [email protected]
Tech User Responsibility
User support presents serious challenges that are aggravated by indeterminate client responsibility.
From [email protected]
Computational Thinking, Education for the Poor and Rich, and Dealing with Schools and Teachers As They Are: A Twitter Convo
A Twitter conversation turned into a narrative on computational thinking
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 [email protected]