Axis: Automatically fixing atomicity violations through solving control constraints.

Peng Liu, Charles Zhang

Browse the full ICSE paper archive.