Is Your Graph Algorithm Eligible for Nondeterministic Execution? | IEEE Conference Publication | IEEE Xplore