Efficient concurrency-bug detection across inputs

Dongdong Deng, Wei Zhang 0022, Shan Lu. Efficient concurrency-bug detection across inputs. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 785-802, ACM, 2013. [doi]

Authors

Dongdong Deng

This author has not been identified. Look up 'Dongdong Deng' in Google

Wei Zhang 0022

This author has not been identified. Look up 'Wei Zhang 0022' in Google

Shan Lu

This author has not been identified. Look up 'Shan Lu' in Google