Automatic detection and masking of non-atomic exception handling | IEEE Conference Publication | IEEE Xplore