* [[stmbench7|STMBench7]] provides a workload that is both realistic and non-trivial to implement in a scalable way.
  * [[leetm|LeeTM]] offers longer, realistic workloads and is based on Lee's circuit routing algorithm.
  * [[microbench|Microbench]] compares the performance of lock-based, lock-free, transactions, and elastic transactions on a given suite of data structures.