On a mission to boldly go where no man has gone before, the series and movies somehow missed some promising technologies . . .
Systems and Networking
Advertisement
Can Liberty Survive the Digital Age?
Online social media have provided a megaphone for voices that might not have been heard except in limited circles. The amplifying effect, however, gives visibility to deliberate (or ignorant) misinformation, hate speech, incitement to violence, and advocacy of terrorism.
Operating Systems as Possible Worlds
Is a comparison between operating systems, which are analyzed by software engineers for conditional execution paths, and possible worlds, which are analyzed by philosophers for consequences under assumptions, rich enough to shed philosophical light on either one?
Free Quantum Computers Online!
D-Wave and IBM offer access to supercomputing quantum computers in the cloud.
Given a choice between the right to mass-disinform and democracy, I choose democracy.
New hardware, services are aimed at identifying malware before it has the chance to execute.
Cyber Insecurity and Cyber Libertarianism
Here we are, 70 years into the computer age and we still do not seem to know how to build secure information systems. And yet, our community marches forward with no special sense of urgency.
Implantable wireless monitors give researchers a new look inside the human body.
Artists can use software to create art, and some software creates art all on its own.
Online Social Networks and Global Women’s Empowerment
Mediating social change or reinforcing male hegemony?
The Chess Player Who Couldn’t Pass the Salt
AI: Soft and hard, weak and strong, narrow and general. Dear KV,
Computational Thinking For Teacher Education
This framework for developing pre-service teachers' knowledge does not necessarily depend on computers or other educational technology.
Attack of the Killer Microseconds
Microsecond-scale I/O means tension between performance and productivity that will need new latency-mitigating ideas, including in hardware.
Crafting a National Cyberdefense, and Preparing to Support Computational Literacy
John Arquilla considers how we should interpret the alleged Russian cyberattack on the U.S. Presidential election; Mark Guzdial describes the potential benefits of a 'computing lab.'
A Service Computing Manifesto: The Next 10 Years
Mapping out the challenges and strategies for the widespread adoption of service computing.
In this work, we initiate a principled study of how to guarantee the validity of statistical inference in adaptive data analysis.
Technical Perspective: Proving File Systems Meet Expectations
"Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes" presents a big step toward real-world file systems that are crash-safe in a strict sense.
Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes
This paper introduces Crash Hoare logic, which extends traditional Hoare logic with a crash condition, a recovery procedure, and logical address spaces for specifying disk states at different abstraction levels.
Technical Perspective: Building a Safety Net For Data Reuse
The authors of "Guilt-Free Data Reuse" show there is a way to construct a safety net that goes around a fixed dataset so that it may be analyzed interactively without compromising statistical validity even when the dataset is analyzed in an interactive manner.
Consider 16 cards consisting of the ace through 8 of hearts and the ace through 8 of spades. You are allowed to arrange the cards as you wish. Your opponent chooses a number between 1 and 8.
Hyper-Converged Infrastructure
An out-of-the-box solution to infrastructure is drawing increasing attention.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More