"Accentuating the Positive: Atomicity Inference and Enforcement Using C" by Dasarath Weeratunge, Xiangyu Zhang et al.

Skip to main content

Computer Science Technical Reports

Title

Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions

Authors

Dasarath Weeratunge, Purdue UniversityFollow
Xiangyu Zhang, Purdue UniversityFollow
Suresh Jagannathan, Purdue UniversityFollow

Date of this Version

2011

Revised Date

4/18/2011 and 4/26/2011

Report Number

11-002

Number of Pages

17

COinS