Modeling and Discovering Data Race with Concurrent Code Property Graphs | IEEE Conference Publication | IEEE Xplore