Characterizations for Java memory behavior | IEEE Conference Publication | IEEE Xplore