Logo Politecnico di Torino
ENIT
WebThesis

Resettable Encoded Vector Clock for Causality Analysis with an Application to Dynamic Race Detection

Tommaso Pozzetti

Resettable Encoded Vector Clock for Causality Analysis with an Application to Dynamic Race Detection.

Rel. Riccardo Sisto, Ajay Kshemkalyani. Politecnico di Torino, Master of science program in Computer Engineering, 2019