Computing Applications
Advertisement
A Differential Approach to Undefined Behavior Detection
This paper studies undefined behavior arising in systems programming languages such as C/C++. We introduce a new static checker called STACK that precisely identifies undefined behavior bugs.
Technical Perspective: Stacking Up Undefined Behaviors
In "A Differential Approach to Undefined Behavior Detection," Wang et al. hypothesize that any time a compiler is able to delete code by using reasoning based on undefined behavior, the program being compiled probably contains a bug.
This paper looks at the problem of predicting category labels that mimic how human observers would name objects.
Deep or Shallow, NLP Is Breaking Out
Neural net advances improve computers' language ability in many fields.
When Computers Stand in the Schoolhouse Door
Classification algorithms can lead to biased decisions, so researchers are trying to identify such biases and root them out.
Q&A: A Graphics and Hypertext Innovator
Andries van Dam on interfaces, interaction, and why he still teaches undergraduates.
Some of the most perplexing and frustrating experiences that technologists have are with politics and social policy. One that is currently playing out involves encryption, and what (if anything) should be done to regulate it.
Fifty Years of Operating Systems
A recent celebration of 50 years of operating system research yields lessons for all professionals in designing offers for their clients.
Repeatability in Computer Systems Research
To encourage repeatable research, fund repeatability engineering and reward commitments to sharing research artifacts.
Lessons Learned from 30 Years of MINIX
MINIX shows even an operating system can be made to be self-healing.
Technical Perspective: Taming the Name Game
In "Learning to Name Objects," the authors offer a method to determine a basic-level category name for an object in an image.
Google has started hosting mobile apps and incorporating them into search results.
Computational Learning Techniques Becoming Mainstream
Applying support vector machines to predictive analytics.
Revealing the API Ecosystem and Enterprise Strategy via Visual Analytics
Seeking better understanding of digital transformation.
The Beckman Report on Database Research
Database researchers paint big data as a defining challenge. To make the most of the enormous opportunities at hand will require focusing on five research areas.
The Moral Hazard of Complexity-Theoretic Assumptions
In November 2015, the computing world was abuzz with the news that László Babai proved the Graph-Isomorphism Problem. If Babai’s result holds under scrutiny, it is likely to become one of the most celebrated results in theoretical computer science of the past several decades.
There are trade-offs to be found between a native mode implementation of an application and a browser-based implementation.
Self-Repair Techniques Point to Robots That Design Themselves
Robots are being taught to brainstorm alternatives when damaged.
The Verification of a Distributed System
A practitioner's guide to increasing confidence in system correctness.
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