Tool List


  • The VELOX integrated TM stack is available for download. The VELOX TM package includes open-source code for TM applications, benchmarks, compilers, STM libraries, system libraries, OS-schedulers, legacy-code transactifiers, architecture simulators and FPGA prototypes. The complete integrated stack could be downloaded at one time, or each component could be downloaded separately here.

  • Cloud-TM is a highly innovative data-centric middleware platform aimed at facilitating development and abating operational and administration costs of cloud applications. The platform can be downloaded here.

Other Resources

Please send your contributions for this page to mcouceiro [at]