Detecting Data Race in Network Applications using Static Analysis | IEEE Conference Publication | IEEE Xplore