{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:31Z","timestamp":1772164051722,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T00:00:00Z","timestamp":1402531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"GreenVM project on Energy-Efficient Runtimes for Scalable Multicore Architectures","award":["1643"],"award-info":[{"award-number":["1643"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,12]]},"DOI":"10.1145\/2602988.2602999","type":"proceedings-article","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T08:50:25Z","timestamp":1402390225000},"page":"83-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["JDMM"],"prefix":"10.1145","author":[{"given":"Foivos S.","family":"Zakkak","sequence":"first","affiliation":[{"name":"Foundation for Research and Technology - Hellas &amp; University of Crete, Heraklion, CA, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Polyvios","family":"Pratikakis","sequence":"additional","affiliation":[{"name":"Foundation for Research and Technology - Hellas, Heraklion, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(01)00093-X"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/850940.852885"},{"key":"e_1_3_2_1_3_1","volume-title":"Bad and Ugly. In 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs, VAMP","author":"Aspinall D.","year":"2007","unstructured":"D. Aspinall and J. Sevc\u00edk . Java Memory Model Examples: Good , Bad and Ugly. In 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs, VAMP , 2007 . D. Aspinall and J. Sevc\u00edk. Java Memory Model Examples: Good, Bad and Ugly. In 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs, VAMP, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792233.1792237"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2013.6522319"},{"key":"e_1_3_2_1_6_1","first-page":"331","volume-title":"Axiomatically. In Proceedings of the 16th European Symposium on Programming, ESOP","author":"Cenciarelli P.","year":"2007","unstructured":"P. Cenciarelli , A. Knapp , and E. Sibilio . The Java Memory Model: Operationally, Denotationally , Axiomatically. In Proceedings of the 16th European Symposium on Programming, ESOP , pages 331 -- 346 . Springer Berlin Heidelberg , 2007 . P. Cenciarelli, A. Knapp, and E. Sibilio. The Java Memory Model: Operationally, Denotationally, Axiomatically. In Proceedings of the 16th European Symposium on Programming, ESOP, pages 331--346. Springer Berlin Heidelberg, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.21"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTR.2003.1253306"},{"key":"e_1_3_2_1_9_1","volume-title":"Java(TM) Language Specification","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . Java(TM) Language Specification , 3 rd Edition. Addison-Wesley Professional , 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. Java(TM) Language Specification, 3rd Edition. Addison-Wesley Professional, 2005.","edition":"3"},{"key":"e_1_3_2_1_10_1","first-page":"108","volume-title":"Proceedings of the International Solid-State Circuits Conference, ISSCC","author":"Howard J.","year":"2010","unstructured":"J. Howard , S. Dighe , Y. Hoskote , S. Vangal , D. Finan , G. Ruhl , D. Jenkins , H. Wilson , N. Borkar , G. Schrom , F. Pailet , S. Jain , T. Jacob , S. Yada , S. Marella , P. Salihundam , V. Erraguntla , M. Konow , M. Riepen , G. Droege , J. Lindemann , M. Gries , T. Apel , K. Henriss , T. Lund-Larsen , S. Steibl , S. Borkar , V. De , R. Van der Wijngaart, and T. Mattson. A 48-Core IA-32 message-passing processor with DVFS in 45nm CMOS . In Proceedings of the International Solid-State Circuits Conference, ISSCC , pages 108 -- 109 , 2010 . J. Howard, S. Dighe, Y. Hoskote, S. Vangal, D. Finan, G. Ruhl, D. Jenkins, H. Wilson, N. Borkar, G. Schrom, F. Pailet, S. Jain, T. Jacob, S. Yada, S. Marella, P. Salihundam, V. Erraguntla, M. Konow, M. Riepen, G. Droege, J. Lindemann, M. Gries, T. Apel, K. Henriss,T. Lund-Larsen, S. Steibl, S. Borkar, V. De, R. Van der Wijngaart, and T. Mattson. A 48-Core IA-32 message-passing processor with DVFS in 45nm CMOS. In Proceedings of the International Solid-State Circuits Conference, ISSCC, pages 108--109, 2010."},{"key":"e_1_3_2_1_11_1","first-page":"81","volume-title":"1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs, VAMP","author":"Huisman M.","year":"2007","unstructured":"M. Huisman and G. Petri . The Java Memory Model: a Formal Explanation . In 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs, VAMP , pages 81 -- 96 , 2007 . M. Huisman and G. Petri. The Java Memory Model: a Formal Explanation. In 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs, VAMP, pages 81--96, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_17"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.82"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_25"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2518191"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2012.20"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869478"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_27"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620419"},{"key":"e_1_3_2_1_26_1","volume-title":"Java Memory Model Causality Test Cases","author":"Pugh W.","year":"2004","unstructured":"W. Pugh and J. Manson . Java Memory Model Causality Test Cases , 2004 . On http:\/\/www.cs.umd.edu\/aspugh\/java\/memoryModel\/- CausalityTestCases .html. W. Pugh and J. Manson. Java Memory Model Causality Test Cases, 2004. On http:\/\/www.cs.umd.edu\/aspugh\/java\/memoryModel\/- CausalityTestCases.html."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_3"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806635"},{"key":"e_1_3_2_1_29_1","first-page":"256","volume-title":"Proceedings of the 6th Annual Conference of the Advanced School for Computing and Imaging, ASCI","author":"Veldema R.","year":"1999","unstructured":"R. Veldema , R. Bhoedjang , and H. Bal . Distributed Shared Memory Management for Java . In Proceedings of the 6th Annual Conference of the Advanced School for Computing and Imaging, ASCI , pages 256 -- 264 , 1999 . R. Veldema, R. Bhoedjang, and H. Bal. Distributed Shared Memory Management for Java. In Proceedings of the 6th Annual Conference of the Advanced School for Computing and Imaging, ASCI, pages 256--264, 1999."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1213::AID-CPE333>3.0.CO;2-J"},{"key":"e_1_3_2_1_31_1","first-page":"381","volume-title":"Proceeding of the IEEE International Conference on Cluster Computing, CLUSTER","author":"Zhu W.","year":"2002","unstructured":"W. Zhu , C.- L. Wang , and F. C. M. Lau . JESSICA2 : A Distributed Java Virtual Machine with Transparent Thread Migration Support . In Proceeding of the IEEE International Conference on Cluster Computing, CLUSTER , pages 381 -- 388 . IEEE Computer Society , 2002 . W. Zhu, C.-L.Wang, and F. C. M. Lau. JESSICA2: A Distributed Java Virtual Machine with Transparent Thread Migration Support. In Proceeding of the IEEE International Conference on Cluster Computing, CLUSTER, pages 381--388. IEEE Computer Society, 2002."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 17th High Performance and Large Scale Computing Conference, HP&LSC","author":"Zigman J. N.","year":"2002","unstructured":"J. N. Zigman and R. Sankaranarayana . Designing a Distributed JVM on a Cluster . In Proceedings of the 17th High Performance and Large Scale Computing Conference, HP&LSC , 2002 . J. N. Zigman and R. Sankaranarayana. Designing a Distributed JVM on a Cluster. In Proceedings of the 17th High Performance and Large Scale Computing Conference, HP&LSC, 2002."}],"event":{"name":"ISMM '14: International Symposium on Memory Management","location":"Edinburgh United Kingdom","acronym":"ISMM '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2014 international symposium on Memory management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2602988.2602999","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2602988.2602999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:17Z","timestamp":1750215677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2602988.2602999"}},"subtitle":["a java memory model for non-cache-coherent memory architectures"],"short-title":[],"issued":{"date-parts":[[2014,6,12]]},"references-count":30,"alternative-id":["10.1145\/2602988.2602999","10.1145\/2602988"],"URL":"https:\/\/doi.org\/10.1145\/2602988.2602999","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2775049.2602999","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,12]]},"assertion":[{"value":"2014-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}