Artifact for Investigating the Semantics Futures in Transactional Memory Systems - Jingna Zeng (2020)