An Abstract Domain for Heap Commutativity.

Jared Pincus, Eric Koskinen

Browse the full VMCAI paper archive.