Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)

Kshitij Bansal, Eric Koskinen, Omer Tripp

Reasoning about commutativity between data-structure operations is an important problem with applications including parallelizing compilers, optimistic parallelization and, more re…