“Processor with memory race recorder to record thread interleavings in multi-threaded software” (9,128,781)

“Methods and systems to identify and reproduce concurrency violations in multi-threaded programs using expressions” (9,135,139)

“Methods and systems to identify and reproduce concurrency violations in multi-threaded programs” (9,311,143)

“Replay execution of instructions in thread chunks in the chunk order recorded during previous execution” (9,317,297)

“Transactional memory management techniques” (9,361,152)

“Mechanism for facilitating dynamic and efficient management of instruction atomicity violations in software programs at computing systems” (9,501,340)

“Apparatus and method for improved lock elision techniques” (9,588,801)

“Unbounded transactional memory with forward progress guarantees using a hardware global lock” (9,639,392)

“Software replayer for transactional memory programs” (9,697,040)

“Methods and apparatus to manage concurrent predicate expressions” (9,830,196)