VELOX: An Integrated Approach to Transactional Memory on Multi- and Many-core Computers
S(o)OS: Service-oriented Operating Systems
TransForm: Theoretical Foundations of Transactional Memory