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.

Detecting deadlock in programs with data-centric synchronization

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek. Detecting deadlock in programs with data-centric synchronization. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 322-331, IEEE / ACM, 2013. [doi]

Authors

Daniel Marino

This author has not been identified. Look up 'Daniel Marino' in Google

Christian Hammer

This author has not been identified. Look up 'Christian Hammer' in Google

Julian Dolby

This author has not been identified. Look up 'Julian Dolby' in Google

Mandana Vaziri

This author has not been identified. Look up 'Mandana Vaziri' in Google

Frank Tip

This author has not been identified. It may be one of the following persons: Look up 'Frank Tip' in Google

Jan Vitek

This author has not been identified. It may be one of the following persons: Look up 'Jan Vitek' in Google
runs on