The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
"Predicting Program Properties from 'Big Code'" presents new techniques for leveraging big code to automate two programming activities: selecting understandable names for JavaScript identifiers and generating type annotations…
We present a new approach for predicting program properties from large codebases (aka "Big Code").
In this article, we give an almost complete derandomization of the Isolation Lemma for perfect matchings in bipartite graphs.
Whether there exists a deterministic parallel algorithm for bipartite matching remains an outstanding question at the frontiers of our understanding of the role of randomness in computation. The question has been (nearly) recently…