Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Table 7

Data races avoidance results by Convoider and Grace (: success; : wrong output).

Bug	Avoiding result
	Convoider	Grace
Bug#10
Bug#11
Bug#12
Bug#13
Bug#14
Bug#15
Bug#16
Bug#17