Small-scale programs

Large-scale programs

Our technique

0.69

0.55

DIET

0.50

0.35

Small-scale programs

Large-scale programs

Our technique

0.67

0.56

TSAN

0.39

0.36