Resettable Encoded Vector Clock for Causality Analysis With an Application to Dynamic Race Detection | IEEE Journals & Magazine | IEEE Xplore