PINT: Parallel INTerval-Based Race Detector | IEEE Conference Publication | IEEE Xplore