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.

OMPSan: Static Verification of OpenMP's Data Mapping Constructs

Prithayan Barua, Jun Shirako, Whitney Tsang, Jeeva Paudel, Wang Chen, Vivek Sarkar. OMPSan: Static Verification of OpenMP's Data Mapping Constructs. In Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman, editors, OpenMP: Conquering the Full Hardware Spectrum - 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings. Volume 11718 of Lecture Notes in Computer Science, pages 3-18, Springer, 2019. [doi]

Authors

Prithayan Barua

This author has not been identified. Look up 'Prithayan Barua' in Google

Jun Shirako

This author has not been identified. Look up 'Jun Shirako' in Google

Whitney Tsang

This author has not been identified. Look up 'Whitney Tsang' in Google

Jeeva Paudel

This author has not been identified. Look up 'Jeeva Paudel' in Google

Wang Chen

This author has not been identified. Look up 'Wang Chen' in Google

Vivek Sarkar

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