Automatic Generation of Precise and Useful Commutativity Conditions.

Kshitij Bansal, Eric Koskinen, Omer Tripp

Browse the full TACAS paper archive.