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.

Symbolic execution of multithreaded programs from arbitrary program contexts

Tom Bergan, Dan Grossman, Luis Ceze. Symbolic execution of multithreaded programs from arbitrary program contexts. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 491-506, ACM, 2014. [doi]

Authors

Tom Bergan

This author has not been identified. Look up 'Tom Bergan' in Google

Dan Grossman

This author has not been identified. Look up 'Dan Grossman' in Google

Luis Ceze

This author has not been identified. Look up 'Luis Ceze' in Google
runs on