"Predicting Program Properties from 'Big Code'" presents new techniques for leveraging big code to automate two programming activities: selecting understandable...Martin C. Rinard From Communications of the ACM | March 2019
As information technology has come to permeate our society, broader classes of users have developed the need for more sophisticated data manipulation and processing...Martin C. Rinard From Communications of the ACM | August 2012
C programmers are are all too familiar with out-of-bounds memory errors. The paper here presents an intriguing technique for...Martin C. Rinard From Communications of the ACM | December 2008