{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:09:57Z","timestamp":1725548997372},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540307815"},{"type":"electronic","value":"9783540316121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596110_12","type":"book-chapter","created":{"date-parts":[[2005,12,15]],"date-time":"2005-12-15T00:39:40Z","timestamp":1134607180000},"page":"172-187","source":"Crossref","is-referenced-by-count":7,"title":["Automatic Implementation of Programming Language Consistency Models"],"prefix":"10.1007","author":[{"given":"Zehra","family":"Sura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chi-Leung","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xing","family":"Fang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaejin","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel P.","family":"Midkiff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Padua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. IEEE Computer, 66\u201376 (December 1996)","DOI":"10.1109\/2.546611"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Alpern, B., et al.: The Jalapeno virtual machine. IBM Systems Journal (February 2000)","DOI":"10.1147\/sj.391.0211"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. In: Proceedings ACM 1999 Conference on Object-Oriented Programming Systems (OOPSLA 1999), November 1999, pp. 1\u201319 (1999)","DOI":"10.1145\/320384.320386"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Emrath, P.A., Ghosh, S., Padua, D.A.: Event synchronization analysis for debugging parallel programs. In: Proceedings of Supercomputing, pp. 580\u2013588 (1989)","DOI":"10.1145\/76263.76329"},{"key":"12_CR5","unstructured":"Fang, X.: Inserting fences to guarantee sequential consistency. Master\u2019s thesis, Michigan State University (July 2002)"},{"key":"12_CR6","series-title":"The Java Series","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. The Java Series. Addison-Wesley Publishing Company, Redwood City (2000)","edition":"2"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Hill, M.D.: Multiprocessors should support simple memory-consistency models. IEEE Computer, 28\u201334 (August 1998)","DOI":"10.1109\/2.707614"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, A., Yelick, K.: Optimizing parallel SPMD programs. In: Seventh Workshop on Languages and Compilers for Parallel Computing (August 1994)","DOI":"10.1007\/BFb0025888"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"139","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, 139\u2013144 (1996)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"12_CR10","first-page":"114","volume-title":"Proceedings of The 10th International Workshop on Languages and Compilers for Parallel Computing","author":"J. Lee","year":"1997","unstructured":"Lee, J., Midkiff, S.P., Padua, D.A.: Concurrent static single assignment form and constant propagation for explicitly parallel programs. In: Proceedings of The 10th International Workshop on Languages and Compilers for Parallel Computing, pp. 114\u2013130. Springer, Heidelberg (1997)"},{"key":"12_CR11","unstructured":"Lee, J., Padua, D.A.: Hiding relaxed memory consistency with compilers. In: Proceedings of The 2000 International Conference on Parallel Architectures and Compilation Techniques (October 2000)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Lee, J., Padua, D.A., Midkiff, S.P.: Basic compiler algorithms for parallel programs. In: Proceedings of The 1999 ACM SIGPLAN Symposiun on Principles and Practice of Parallel Programming, May 1999, pp. 1\u201312 (1999)","DOI":"10.1145\/301104.301105"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Naumovich, G., Avruninand, G.S., Clarke, L.A.: An efficient algorithm for computing MHP information for concurrent Java programs. In: Proceedings of Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering (September 1999)","DOI":"10.1007\/3-540-48166-4_21"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Pugh, W.: Fixing the Java memory model. In: Proceedings of the ACM 1999 Java Grande Conference (June 1999)","DOI":"10.1145\/304065.304106"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Rugina, R., Rinard, M.: Pointer analysis for multithreaded programs. In: Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, June 1999, pp. 77\u201390 (1999)","DOI":"10.1145\/301618.301645"},{"issue":"2","key":"12_CR16","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 Transactions on Programming Languages and Systems\u00a010(2), 282\u2013312 (1988)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR17","unstructured":"Wong, C.-L., Sura, Z., Fang, X., Midkiff, S.P., Lee, J., Padua, D.: The Pensieve Project: A Compiler Infrastructure for Memory Models. In: The International Symposium on Parallel Architectures, Algorithms, and Networks (May 2002)"},{"key":"12_CR18","unstructured":"Eclipse Platform Technical Overview. Object Technology International, Inc. (July 2001), Available at http:\/\/www.eclipse.org"},{"key":"12_CR19","unstructured":"The NetBeans Platform. Sun Microsystems, Inc., Documentation, available at http:\/\/www.netbeans.org"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596110_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T11:54:43Z","timestamp":1586606083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596110_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540307815","9783540316121"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11596110_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}