Three Big Ideas

• Functional Arrays: A solution to the Large Object Problem

• Cooperating with FLAGs

  • Non-transactional code interacting with transactions
  • Software transactions interacting with a Hardware Transactional Memory

• Model-checking Software Transactions

Notes: