Resettable Encoded Vector Clock for Causality Analysis With an Application to Dynamic Race Detection. - Tommaso Pozzetti; Ajay D. Kshemkalyani (IEEE Trans. Parallel Distributed Syst., 2021)