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]
Immigrants Help Solve the Looming STEM Worker Shortage
Our economic vitality depends on them.
From [email protected]
Blockchain Was the First, but Will Not Be the Last
What is the outlook for Zero-Trust Decentralization, and should we expect other products aside from Blockchain?
From [email protected]
In Search of A Rare Roman Pocket Calculator
As far as we know, three original copies of the Roman hand abacus have survived. There is a fourth device, but nobody knows where it is.
From [email protected]
Will We All Be Wearing Wearables?
If wearable computing products are really needed, what are the biggest practical and research challenges to mainstream adoption?
From [email protected]
Five Research Questions Raised by a Pre-Mortem on the 60 Minutes Segment on Code.org
If undergraduate CS research doesn't become gender-balanced in 10 years, why didn't it?
From BLO[email protected]
The Artificialistic Fallacy
Ethics discussions of artificial intelligence reveal a fallacy of omission.
From [email protected]
An Agile Approach to Learning Programming
The Super Simple Programming Book is one example to teach programming in an Agile way. In general, Agile concepts can lead to highly effective learning.
From [email protected]