The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
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.
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…
This paper looks at the problem of predicting category labels that mimic how human observers would name objects.
In "Learning to Name Objects," the authors offer a method to determine a basic-level category name for an object in an image.