Non-race concurrency bug detection through order-sensitive critical sections

2013 ◽  
Author(s):  
Ruirui Huang ◽  
Erik Halberg ◽  
G. Edward Suh
Keyword(s):  
Bug Detection ◽  
Concurrency Bug Detection ◽  
Critical Sections ◽  
Concurrency Bug

scholarly journals Multicore acceleration of priority-based schedulers for concurrency bug detection

2012 ◽  
Vol 47 (6) ◽  
pp. 543-554 ◽  
Author(s):  
Santosh Nagarakatte ◽  
Sebastian Burckhardt ◽  
Milo M.K. Martin ◽  
Madanlal Musuvathi
Keyword(s):  
Bug Detection ◽  
Concurrency Bug Detection ◽  
Multicore Acceleration ◽  
Concurrency Bug

scholarly journals Efficient concurrency-bug detection across inputs

2013 ◽  
Vol 48 (10) ◽  
pp. 785-802 ◽  
Author(s):  
Dongdong Deng ◽  
Wei Zhang ◽  
Shan Lu
Keyword(s):  
Bug Detection ◽  
Concurrency Bug Detection ◽  
Concurrency Bug

Collaborative Technique for Concurrency Bug Detection

2014 ◽  
Vol 43 (2) ◽  
pp. 260-285 ◽  
Author(s):  
Zhendong Wu ◽  
Kai Lu ◽  
Xiaoping Wang ◽  
Xu Zhou
Keyword(s):  
Bug Detection ◽  
Concurrency Bug Detection ◽  
Concurrency Bug
Sign in / Sign up

Export Citation Format

Share Document