"VELOX TUTORIAL: The VELOX Transactional Memory System Stack from Applications to Hardware" - tutorial on Transactional Memory in the PLDI June 4, San Jose, California