Dynamic Robustness Verification Against Weak Memory (Extended Version)

Roy Margalit, Michalis Kokologiannakis, Shachar Itzhaky +1

Dynamic race detection is a highly effective runtime verification technique for identifying data races by instrumenting and monitoring concurrent program runs. However, standard dy…