Improving Transactional Code Generation via Variable Annotation and Barrier Elision | IEEE Conference Publication | IEEE Xplore