Automatic Program Correction Anton Akhi Friday, July 08, 2011.
Abstractions for Relaxed Memory Models
EMPIRICAL EVALUATION OF INNOVATIONS IN AUTOMATIC REPAIR CLAIRE LE GOUES SITE VISIT FEBRUARY 7, 2013 1.