A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors | IEEE Conference Publication | IEEE Xplore