Inproceedings,

Implementing an Efficient Path Based Equivalence Checker for Parallel Programs.

, and .
SEM4HPC@HPDC, page 3-10. ACM, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews