Accurate and efficient filtering for the Intel thread checker race detector