Using Abstract Interpretation to Correct Synchronization Faults.

Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen

Browse the full VMCAI paper archive.