Detecting and Analyzing Year 2038 Problem Bugs in User-Level Applications | IEEE Conference Publication | IEEE Xplore