Celebrating Ten Years of Innovation, Leadership, and Lasting Impact Bert’s decade of contributions has shaped Ring in ...
Abstract: Inferring program transformations from concrete program changes has many potential uses, such as applying systematic program edits, refactoring, and automated program repair. Existing work ...