Implementing an Efficient Path Based Equivalence Checker for Parallel Programs.

Soumyadip Bandyopadhyay, Kunal Banerjee

Browse the full HPDC paper archive.