Inferring and Improving Street Maps with Data-Driven Automation
Automatic map inference, data refinement, and machine-assisted map editing promises more accurate map datasets.
Research and Advances
Advertisement
Industry experiences on the data challenges of AI and the call for a data ecosystem for industrial enterprises.
Technical Perspective: Finding the Sweet Spot Amid Accuracy and Performance
"Multi-Itinerary Optimization as Cloud Service," by Alexandru Cristian et al., makes accessible an end-to-end cloud service that produces traffic-aware, real-time dispatching of agents under complex constraints.
Technical Perspective: On Proofs, Entanglement, and Games
"MIP* = RE," by Zhengfeng Ji et al., studies quantum interactive proofs.
In this work, we study a fourth modification to the notion of efficient verification that originates in the study of quantum entanglement.
Multi-Itinerary Optimization as Cloud Service
We describe multi-itinerary optimization, a novel Bing Maps service that automates the process of building itineraries for multiple agents while optimizing their routes to minimize travel time or distance.
Technical Perspective: The Real-World Dilemma of Security and Privacy by Design
"Securing the Wireless Emergency Alerts System," by Jihoon Lee et al., investigates real-world attacks on the current implementation of Wireless Emergency Alerts.
Technical Perspective: Liquid Testing Using Built-in Phone Sensors
"Liquid Testing with Your Smartphone," by Shichao Yue and Dina Katabi, proposes a novel technique for determining the surface tension of a liquid by leveraging the optical absorption of waves propagating on the fluid surface.
Beyond the pandemic, organizations need to recognize what digital assets, interactions, and communication processes reap the most benefits from virtual reality.
Human Detection of Machine-Manipulated Media
Technologies for manipulating and faking online media may outpace people's ability to tell the difference.
The Role of Professional Certifications in Computer Occupations
Experienced and aspiring computing professionals need to manage their qualifications according to current market needs. That includes certification achievement as well as formal education, experience, and licenses.
The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.
Liquid Testing with Your Smartphone
We show a simple and accurate approach to measuring surface tension that's available to anyone with a smartphone.
Securing the Wireless Emergency Alerts System
We investigate the Wireless Emergency Alert system and develop and demonstrate the first practical spoofing attack on Presidential Alerts, using commercially available hardware and modified open source software.
Managing IT Professional Turnover
Organizational distrust, not compensation, is more likely to send IT pros packing.
The Future Is Big Graphs: A Community View on Graph Processing Systems
Ensuring the success of big graph processing for the next decade and beyond.
Technical Perspective: The Importance of WINOGRANDE
"WINOGRANDE" explores new methods of dataset development and adversarial filtering, expressly designed to prevent AI systems from making claims of smashing through benchmarks without making real progress.
Technical Perspective: Does Your Experiment Smell?
"PlanAlyzer," by Emma Tosch et al., details PlanAlyzer software, the first tool to statically check the validity of online experiments.
Formalizing and Guaranteeing Human-Robot Interaction
As robots begin to interact closely with humans, we need to build systems worthy of trust regarding the safety and quality of the interaction.
An Internet of Things Service Roadmap
A blueprint for leveraging the tremendous opportunities the IoT has to offer.
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
We present the first approach for checking the internal validity of online experiments statically, that is, from code alone.
WinoGrande: An Adversarial Winograd Schema Challenge at Scale
We introduce WinoGrande, a large-scale dataset of 44k problems, inspired by the original Winograd Schema Challenge, but adjusted to improve both the scale and the hardness of the dataset.
Unveiling Unexpected Training Data in Internet Video
Using clever video curation and processing practices to extract video training signals automatically.
The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform
A panoramic view of a popular platform for C program analysis and verification.
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