Formally Verified Software in the Real World
Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.
Systems and Networking
Advertisement
Human-Level Intelligence or Animal-Like Abilities?
What just happened in artificial intelligence and how it is being misunderstood.
The future of computing research relies on addressing an array of limitations on a planetary scale.
Enabling Highly Scalable Remote Memory Access Programming with MPI-3 One Sided
In this work, we design and develop bufferless protocols that demonstrate how to implement the MPI-3 RMA interface and support scaling to millions of cores.
Technical Perspective: The Future of MPI
"Enabling Highly Scalable Remote Memory Access Programming with MPI-3 One Sided" convincingly shows that the potential of MPI one-sided communication can be realized.
Fundamental Concepts of Reactive Control for Autonomous Drones
We conceive a notion of reactive control that allows drones to execute the low-level control logic only upon recognizing the need to, based on the influence of the environment onto the drone operation.
Technical Perspective: A Control Theorist’s View on Reactive Control for Autonomous Drones
"Fundamental Concepts of Reactive Control for Autonomous Drones" introduces the notion of "reactive control" in which an autopilot's control logic is run only intermittently based on whether readings from sensors indicate a need to react to something in the environment.
Reaping the Benefits of a Diverse Background
Earlier this year, ACM named Dina Katabi of the Massachusetts Institute of Technology's Computer Science and Artificial Intelligence Laboratory recipient of the 2017 ACM Prize in Computing for her creative contributions to wireless systems.
How Software Enabled the Thai Cave Rescue
Software-defined radios allowed the rescuers to communicate, when simple radio technology could not.
.S. Election System Security Still Vexing
There appears to be no standard approach among the state and local jurisdictions that will administer the next election.
Detecting Illness by Watching You Type
Show us how you type, and artificial intelligence may be able to identify your brain disorder.
AI Helps Doctors Use Data Better
Using artificial intelligence to process medical sensor data can have a significant impact on health-related costs and outcomes.
Driver’s Licenses Going Digital
Iowa plans to be the first U.S. state to replace hard-copy driver's licenses with an app.
Computer Architecture: Disruption from Above
For the research community, opportunities to shape a profoundly different, new age of computer architecture are emerging.
Discovering Bugs, or Ensuring Success?
Finding errors is not the same as making certain a software product works correctly.
New data protection laws raise questions about whether certain jurisdictions are trying to thwart the ability of foreign governments to obtain data on their citizens.
Scientists are developing tiny medical machines that stretch the definition of the term "robot."
When Machine Learning is Facially Invalid
Observations on the use of machine learning and facial inferences to classify people using inexplicable data.
A Domain-Specific Architecture for Deep Neural Networks
Tensor processing units improve performance per watt of neural networks in Google datacenters by roughly 50x.
Peer Assessment of CS Doctoral Programs Shows Strong Correlation with Faculty Citations
Strong correlation indicates notable research productivity of individual faculty members in turn boosts the standing of their programs.
Emotion Recognition Using Wireless Signals
This paper demonstrates a new technology that can infer a person's emotions from RF signals reflected off his body.
Technical Perspective: Is Your WiFi a Sensor?
"Emotion Recognition Using Wireless Signals" shows that not only can the heartrate be counted with accuracy comparable to ECG devices, but the variabilities of the heart signals—in each pulse—can be recognized as well.
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