Martin C. Rinard – Communications of the ACM

Research and Advances Mar 1 2019

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 names for JavaScript identifiers and generating type annotations for JavaScript variables.

Computing Applications

Author Archives

Research and Advances Aug 1 2016

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 produces the correct result when executed on unreliable hardware.

Computing Applications

Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware, illustration

Research and Advances Aug 1 2012

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. The following paper focuses on an important emerging area — end user programming.

Artificial Intelligence and Machine Learning

Research and Advances Dec 1 2008

Technical Perspective: Patching Program Errors

C programmers are are all too familiar with out-of-bounds memory errors. The paper here presents an intriguing technique for automatically isolating and correcting these errors.

Computing Applications

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 Involved