Analysis on interactive data race checker: IDRC | IEEE Conference Publication | IEEE Xplore