TY - RPRT TI - Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support AU - Konrad Siek AU - Paweł T. Wojciechowski PY - 2016 UR - https://arxiv.org/abs/1506.06275 ID - 1506.06275 ER -