{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:19:08Z","timestamp":1726042748421},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030285951"},{"type":"electronic","value":"9783030285968"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-28596-8_1","type":"book-chapter","created":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T23:02:45Z","timestamp":1566774165000},"page":"3-18","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["OMPSan: Static Verification of OpenMP\u2019s Data Mapping Constructs"],"prefix":"10.1007","author":[{"given":"Prithayan","family":"Barua","sequence":"first","affiliation":[]},{"given":"Jun","family":"Shirako","sequence":"additional","affiliation":[]},{"given":"Whitney","family":"Tsang","sequence":"additional","affiliation":[]},{"given":"Jeeva","family":"Paudel","sequence":"additional","affiliation":[]},{"given":"Wang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Vivek","family":"Sarkar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,9]]},"reference":[{"unstructured":"Aachen University: OpenMP Benchmark. \n                      https:\/\/github.com\/RWTH-HPC\/DRACC","key":"1_CR1"},{"doi-asserted-by":"publisher","unstructured":"Atzeni, S., et al.: Archer: effectively spotting data races in large OpenMP applications. In: 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 53\u201362, May 2016. \n                      https:\/\/doi.org\/10.1109\/IPDPS.2016.68","key":"1_CR2","DOI":"10.1109\/IPDPS.2016.68"},{"doi-asserted-by":"crossref","unstructured":"Eichenberger, A., et al.: OMPT and OMPD: OpenMP tools application programming interfaces for performance analysis and debugging. In: International Workshop on OpenMP (IWOMP 2013) (2013)","key":"1_CR3","DOI":"10.1007\/978-3-642-40698-0_13"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-40698-0_13","volume-title":"OpenMP in the Era of Low Power Devices and Accelerators","author":"AE Eichenberger","year":"2013","unstructured":"Eichenberger, A.E., et al.: OMPT: an OpenMP tools application programming interface for performance analysis. In: Rendell, A.P., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2013. LNCS, vol. 8122, pp. 171\u2013185. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-40698-0_13"},{"doi-asserted-by":"publisher","unstructured":"Jablin, T.B., Jablin, J.A., Prabhu, P., Liu, F., August, D.I.: Dynamically managed data for CPU-GPU architectures. In: Proceedings of the Tenth International Symposium on Code Generation and Optimization, CGO 2012, pp. 165\u2013174. ACM, New York (2012). \n                      https:\/\/doi.org\/10.1145\/2259016.2259038","key":"1_CR5","DOI":"10.1145\/2259016.2259038"},{"issue":"6","key":"1_CR6","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/1993316.1993516","volume":"46","author":"TB Jablin","year":"2011","unstructured":"Jablin, T.B., Prabhu, P., Jablin, J.A., Johnson, N.P., Beard, S.R., August, D.I.: Automatic CPU-GPU communication management and optimization. SIGPLAN Not. 46(6), 142\u2013151 (2011). \n                      https:\/\/doi.org\/10.1145\/1993316.1993516","journal-title":"SIGPLAN Not."},{"doi-asserted-by":"publisher","unstructured":"Knobe, K., Sarkar, V.: Array SSA form and its use in parallelization. In: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1998, pp. 107\u2013120. ACM, New York (1998). \n                      https:\/\/doi.org\/10.1145\/268946.268956","key":"1_CR7","DOI":"10.1145\/268946.268956"},{"doi-asserted-by":"publisher","unstructured":"Lee, S., Li, D., Vetter, J.S.: Interactive program debugging and optimization for directive-based, efficient GPU computing. In: 2014 IEEE 28th International Parallel and Distributed Processing Symposium, pp. 481\u2013490, May 2014. \n                      https:\/\/doi.org\/10.1109\/IPDPS.2014.57","key":"1_CR8","DOI":"10.1109\/IPDPS.2014.57"},{"doi-asserted-by":"publisher","unstructured":"Lee, S., Eigenmann, R.: OpenMPC: extended OpenMP programming and tuning for GPUs. In: Proceedings of the 2010 ACM\/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2010, pp. 1\u201311. IEEE Computer Society, Washington, DC (2010). \n                      https:\/\/doi.org\/10.1109\/SC.2010.36","key":"1_CR9","DOI":"10.1109\/SC.2010.36"},{"unstructured":"LLVM: LLVM MemorySSA. \n                      https:\/\/llvm.org\/docs\/MemorySSA.html","key":"1_CR10"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/3084540","volume":"14","author":"G Mendon\u00e7a","year":"2017","unstructured":"Mendon\u00e7a, G., Guimar\u00e3es, B., Alves, P., Pereira, M., Ara\u00fajo, G., Pereira, F.M.Q.: DawnCC: automatic annotation for data parallelism and offloading. ACM Trans. Arch. Code Optim. 14(2), 13:1\u201313:25 (2017). \n                      https:\/\/doi.org\/10.1145\/3084540","journal-title":"ACM Trans. Arch. Code Optim."},{"unstructured":"Novillo, D.: Memory SSA - a unified approach for sparsely representing memory operations. In: Proceedings of the GCC Developers\u2019 Summit (2007)","key":"1_CR12"},{"doi-asserted-by":"publisher","unstructured":"Pai, S., Govindarajan, R., Thazhuthaveetil, M.J.: Fast and efficient automatic memory management for GPUs using compiler-assisted runtime coherence scheme. In: Proceedings of the 21st International Conference on Parallel Architectures and Compilation Techniques, PACT 2012, pp. 33\u201342. ACM, New York (2012). \n                      https:\/\/doi.org\/10.1145\/2370816.2370824","key":"1_CR13","DOI":"10.1145\/2370816.2370824"}],"container-title":["Lecture Notes in Computer Science","OpenMP: Conquering the Full Hardware Spectrum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-28596-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T23:33:17Z","timestamp":1566775997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-28596-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030285951","9783030285968"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-28596-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IWOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on OpenMP","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Auckland","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New Zealand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iwomp2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/parallel.auckland.ac.nz\/iwomp2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"96% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.8","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}