External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection

Zhendong Wu, Kai Lu, Xiaoping Wang. Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection. In Guojun Wang, Albert Y. Zomaya, Gregorio Martínez Pérez, Kenli Li, editors, Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings, Part IV. Volume 9531 of Lecture Notes in Computer Science, pages 175-188, Springer, 2015. [doi]

Authors

Zhendong Wu

This author has not been identified. Look up 'Zhendong Wu' in Google

Kai Lu

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

Xiaoping Wang

This author has not been identified. Look up 'Xiaoping Wang' in Google
runs on