{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:46:19Z","timestamp":1725511579356},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540795605"},{"type":"electronic","value":"9783540795612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-79561-2_7","type":"book-chapter","created":{"date-parts":[[2008,4,30]],"date-time":"2008-04-30T08:31:41Z","timestamp":1209544301000},"page":"71-82","source":"Crossref","is-referenced-by-count":2,"title":["Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis"],"prefix":"10.1007","author":[{"given":"Ayon","family":"Basumallik","sequence":"first","affiliation":[]},{"given":"Rudolf","family":"Eigenmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"OpenMP Forum. OpenMP: A Proposed Industry Standard API for Shared Memory Programming. Technical report (October 1997)"},{"key":"7_CR2","unstructured":"Satoh, S., Kusano, K., Sato, M.: Compiler Optimization Techniques for OpenMP Programs. In: Proc. of the Second European Workshop on OpenMP (EWOMP 2000) (September 2000)"},{"key":"7_CR3","unstructured":"Lin, Y.: Static Nonconcurrency Analysis of OpenMP Programs. In: Proceedings of the first International Workshop on OpenMP (IWOMP 2005) (2005)"},{"issue":"6","key":"7_CR4","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1109\/71.242161","volume":"4","author":"S.V. Adve","year":"1993","unstructured":"Adve, S.V., Hill, M.D.: A Unified Formalization of Four Shared-Memory Models. IEEE Trans. on Parallel and Distributed Systems\u00a04(6), 613\u2013624 (1993)","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1007\/978-3-540-24644-2_35","volume-title":"Languages and Compilers for Parallel Computing","author":"S.-I. Lee","year":"2004","unstructured":"Lee, S.-I., Johnson, T.A., Eigenmann, R.: Cetus - An Extensible Compiler Infrastructure for Source-to-Source Transformation. In: Rauchwerger, L. (ed.) LCPC 2003. LNCS, vol.\u00a02958, pp. 539\u2013553. Springer, Heidelberg (2004)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/1088149.1088174","volume-title":"ICS 2005: Proceedings of the 19th annual International Conference on Supercomputing","author":"A. Basumallik","year":"2005","unstructured":"Basumallik, A., Eigenmann, R.: Towards automatic translation of openmp to mpi. In: ICS 2005: Proceedings of the 19th annual International Conference on Supercomputing, Cambridge, Massachusetts, USA, pp. 189\u2013198. ACM Press, New York (2005)"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1145\/42190.42277","volume":"10","author":"D. Shasha","year":"1988","unstructured":"Shasha, D., Snir, M.: Efficient and correct execution of parallel programs that share memory. ACM Trans. Program. Lang. Syst.\u00a010(2), 282\u2013312 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1006\/jpdc.1996.0136","volume":"38","author":"A. Krishnamurthy","year":"1996","unstructured":"Krishnamurthy, A., Yelick, K.: Analyses and optimizations for shared address space programs. Journal of Parallel and Distributed Computing\u00a038(2), 130\u2013144 (1996)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/782814.782854","volume-title":"ICS 2003: Proceedings of the 17th annual international conference on Supercomputing","author":"X. Fang","year":"2003","unstructured":"Fang, X., Lee, J., Midkiff, S.P.: Automatic fence insertion for shared memory multiprocessing. In: ICS 2003: Proceedings of the 17th annual international conference on Supercomputing, pp. 285\u2013294. ACM Press, New York (2003)"},{"issue":"8","key":"7_CR10","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1109\/12.947002","volume":"50","author":"J. Lee","year":"2001","unstructured":"Lee, J., Padua, D.A.: Hiding relaxed memory consistency with a compiler. IEEE Trans. Comput.\u00a050(8), 824\u2013833 (2001)","journal-title":"IEEE Trans. Comput."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1002\/cpe.771","volume":"16","author":"S.P. Midkiff","year":"2004","unstructured":"Midkiff, S.P., Lee, J., Padua, D.A.: A compiler for multiple memory models. Concurrency and Computation: Practice and Experience\u00a016, 197\u2013220 (2004)","journal-title":"Concurrency and Computation : Practice and Experience"},{"key":"7_CR12","unstructured":"Huang, L., Sethuraman, G., Chapman, B.: Parallel Dataflow Analysis for OpenMP Programs. In: Proceedings of the International Workshop on OpenMP (IWOMP 2007) (June 2007)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-540-31832-3_8","volume-title":"Shared Memory Parallel Programming with Open MP","author":"Y. Lin","year":"2005","unstructured":"Lin, Y., Terboven, C., an Mey, D., Copty, N.: Automatic Scoping of Variables in Parallel Regions of an OpenMP Program. In: Chapman, B.M. (ed.) WOMPAT 2004. LNCS, vol.\u00a03349, pp. 83\u201397. Springer, Heidelberg (2005)"},{"key":"7_CR14","unstructured":"Hoeflinger, J., de Supinski, B.: The OpenMP Memory Model. In: Proceedings of the first International Workshop on OpenMP (IWOMP 2005) (2005)"},{"key":"7_CR15","unstructured":"Bronevetsky, G., de Supinski, B.: Complete Formal Specification of the OpenMP Memory Model. In: Proceedings of the second International Workshop on OpenMP (IWOMP 2006) (2006)"}],"container-title":["Lecture Notes in Computer Science","OpenMP in a New Era of Parallelism"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79561-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T14:56:06Z","timestamp":1551452166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79561-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540795605","9783540795612"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79561-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}