DeepXplore: Automated Whitebox Testing of Deep Learning Systems
We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world deep learning systems.
Software Engineering and Programming Languages
Advertisement
The Shortest Possible Schedule Theorem: Yes, You Can Throw Money at Software Deadlines
As close as we have to a universal law of software engineering management.
Machine language translation is advancing rapidly, but can it reach the level of human understanding?
Technical Perspective: The Scalability of CertiKOS
The authors of "Building Certified Concurrent OS Kernels" illustrate that formal verification can scale up to a moderate-size program (6,500 lines of C) that has substantial shared-memory concurrency.
Pinning Down Variables, and Taking an Agile Approach
Robin K. Hill tries to better define variables, while Edwin Torres acknowledges he is his own greatest obstacle.
The Cloud as an Innovation Platform for Software Development
How cloud computing became a platform.
How Might We Increase System Trustworthiness?
Summarizing some of the changes that seem increasingly necessary to address known system and network deficiencies and anticipate currently unknown vulnerabilities.
Unlocking Data to Improve Public Policy
When properly secured, anonymized, and optimized for research, administrative data can be put to work to help government programs better serve those in need.
Building Certified Concurrent OS Kernels
In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
The concept of randomness is easy to grasp on an intuitive level but challenging to characterize in rigorous mathematical terms.
Why Programmers Should Curb Their Enthusiasm, and Thinking About Computational Thinking
Yegor Bugayenko ponders the dangers of "hazardous enthusiasm," while Mark Guzdial considers whether the need to teach computational thinking can be "designed away."
Big data and modern analytics offer enormous possibilities for research, provided scientists can produce consistent results.
Can You Locate Your Location Data?
Smartphone apps offering location data services may be desirable, but their ability to collect personal data that can be sold to third parties is less attractive.
Alloy: A Language and Tool for Exploring Software Designs
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
A Breakthrough in Explainable AI
Researchers create an artificial intelligence agent that explains its reasoning.
Some actions or decisions are irreversible. We would do ourselves a great favor if we were to design our digital systems to the maximum extent possible to avoid irreversible traps.
Block-based Programming in Computer Science Education
Considering how block-based programming environments and tools might be used at the introductory level and beyond.
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