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.
Software Engineering and Programming Languages
Advertisement
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.
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.
Playing With, and Against, Computers
2019 ACM Computing Prize recipient David Silver on developing the AlphaGo algorithm, his fascination with Go, and on teaching computers to play.
Design Orientation and Optimization
Considering how to concurrently maximize output via vertical and horizontal optimization.
The Research Community, Research Subject, and Research Process.
Software Learning: The Art Of Design Regret
How should software engineers try to classify their reflections?
A European Union Approach to Regulating Big Tech
Considering a new regulatory proposal for addressing digital market competition concerns.
There is much to be learned from the lower-level details of hardware.
Responsible AI: Bridging From Ethics to Practice
Recommendations for increasing the benefits of artificial intelligence technologies.
Science Needs to Engage With Society: Some Lessons From COVID-19
Recent experiences toward communicating science to the general public.
WebRTC: Real-Time Communication for the Open Web Platform
What was once a way to bring audio and video to the Web has expanded into more use cases than we could ever imagine.
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.
Collaborations between two communities have unearthed a sweet spot for future programming efforts.
Central bank digital currencies hold the promise—and peril—of changing money as we know it.
There is an emerging effort to tap artificial intelligence to write code based on short text descriptions of what the code should do.
Program Verification: Vision and Reality
In 1969, Tony Hoare wrote in "An Axiomatic Basis for Computer Programming" about mathematical certainty, great reliance, and confidence. In retrospect, the hope for "mathematical certainty" was idealized, and not fully realistic, I believe.
Obtain a Ph.D. and a Career in Data
Innovative new approaches to learning are enabling people to gain skills that are vital in today's workplace.
Formal Software Verification Measures Up
Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
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