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