Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: Borrowing Big Code to Automate Programming Activities
"Predicting Program Properties from 'Big Code'" presents new techniques for leveraging big code to automate two programming activities: selecting understandable...
From Communications of the ACM
Verifying Quantitative Reliability For Programs that Execute on Unreliable Hardware
We present Rely, a programming language that enables developers to reason about the quantitative reliability of an application — namely, the probability that it...
From Communications of the ACM
Technical Perspective: Example-Driven Program Synthesis For End-User Programming
As information technology has come to permeate our society, broader classes of users have developed the need for more sophisticated data manipulation and processing...
From Communications of the ACM