Improving Transactional Code Generation via Variable Annotation and Barrier Elision - De Carvalho, Joao P. L. (2020)