{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:21Z","timestamp":1750306521693,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","award":["MIS 380153"],"award-info":[{"award-number":["MIS 380153"]}],"id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,3]]},"DOI":"10.1145\/2636228.2636232","type":"proceedings-article","created":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T19:09:15Z","timestamp":1409944155000},"page":"23-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An efficient representation for lazy constructors using 64-bit pointers"],"prefix":"10.1145","author":[{"given":"Georgios","family":"Fourtounis","sequence":"first","affiliation":[{"name":"National Technical University of Athens, Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Papaspyrou","sequence":"additional","affiliation":[{"name":"National Technical University of Athens, Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281667"},{"volume-title":"Inc.","year":"1986","author":"Aho A. V.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","unstructured":"AMD. AMD64 architecture programmer's manual volume 2: 128-bit and 256-bit media instructions rev. 3.16. http:\/\/developer.amd.com\/wordpress\/media\/2012\/10\/26568_APM_v4.pdf 2012. Accessed: 31-01-2014.  AMD. AMD64 architecture programmer's manual volume 2: 128-bit and 256-bit media instructions rev. 3.16. http:\/\/developer.amd.com\/wordpress\/media\/2012\/10\/26568_APM_v4.pdf 2012. Accessed: 31-01-2014."},{"volume-title":"System programming, rev. 3.23","author":"AMD.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01811537"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99378"},{"key":"e_1_3_2_1_7_1","unstructured":"M. Ash. Friday Q&A 2013-09-27: ARM64 and you (blog entry). https:\/\/www.mikeash.com\/pyblog\/friday-qa-2013-09-27-arm64-and-you.html. Accessed: 24-01-2014.  M. Ash. Friday Q&A 2013-09-27: ARM64 and you (blog entry). https:\/\/www.mikeash.com\/pyblog\/friday-qa-2013-09-27-arm64-and-you.html. Accessed: 24-01-2014."},{"key":"e_1_3_2_1_8_1","unstructured":"L.-R. Bab\u00e9. Firefox 4 performance. https:\/\/hacks.mozilla.org\/2011\/03\/firefox4-performance\/ 2011. Accessed: 31-01-2014.  L.-R. Bab\u00e9. Firefox 4 performance. https:\/\/hacks.mozilla.org\/2011\/03\/firefox4-performance\/ 2011. Accessed: 31-01-2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/360881.360920"},{"key":"e_1_3_2_1_10_1","unstructured":"H. Boehm. A garbage collector for C and C++. http:\/\/www.hpl.hp.com\/personal\/Hans_Boehm\/gc\/ 2014. Accessed: 01-03-2014.  H. Boehm. A garbage collector for C and C++. http:\/\/www.hpl.hp.com\/personal\/Hans_Boehm\/gc\/ 2014. Accessed: 01-03-2014."},{"volume-title":"Whitepaper","year":"2005","author":"Borkar S. Y.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802037"},{"volume-title":"Massachusetts Institute of Technology","year":"1999","author":"Caro A.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"H.\n       \n      Cejtin S.\n       \n      Jagannathan and \n      \n      \n      S.\n       \n      Weeks\n      \n  \n  . \n  Flow-directed closure conversion for typed languages. In G. Smolka editor Programming Languages and Systems volume \n  1782\n   of \n  Lecture Notes in Computer Science pages \n  56\n  --\n  71\n  . \n  Springer Berlin Heidelberg 2000\n  . DOI: 10.1007\/3-540-46425-5_4.     10.1007\/3-540-46425-5_4\nH. Cejtin S. Jagannathan and S. Weeks. Flow-directed closure conversion for typed languages. In G. Smolka editor Programming Languages and Systems volume 1782 of Lecture Notes in Computer Science pages 56--71. Springer Berlin Heidelberg 2000. DOI: 10.1007\/3-540-46425-5_4.","DOI":"10.1007\/3-540-46425-5_4"},{"key":"e_1_3_2_1_16_1","unstructured":"D. Chernicoff. The corporate datacenter -- it's ready for Windows Server x64 editions. http:\/\/download.microsoft.com\/download\/4\/4\/7\/44715635--144e-4726--8705-b8ec83c0a34d\/The%20Corporate%20Datacenter-It%27s%20Ready%20for%20Windows%20Server%20x64%20Editions.pdf 2007. Accessed: 31-01-2014.  D. Chernicoff. The corporate datacenter -- it's ready for Windows Server x64 editions. http:\/\/download.microsoft.com\/download\/4\/4\/7\/44715635--144e-4726--8705-b8ec83c0a34d\/The%20Corporate%20Datacenter-It%27s%20Ready%20for%20Windows%20Server%20x64%20Editions.pdf 2007. Accessed: 31-01-2014."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.889095"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773202"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"J.\n       \n      Fairbairn\n     and \n      \n      \n      S.\n       \n      Wray\n      \n  \n  . \n  Tim: A simple lazy abstract machine to execute supercombinators. In G. Kahn editor Functional Programming Languages and Computer Architecture volume \n  274\n   of \n  Lecture Notes in Computer Science pages \n  34\n  --\n  45\n  . \n  Springer Berlin Heidelberg 1987\n  . DOI: 10.1007\/3-540-18317-5_3.     10.1007\/3-540-18317-5_3\nJ. Fairbairn and S. Wray. Tim: A simple lazy abstract machine to execute supercombinators. In G. Kahn editor Functional Programming Languages and Computer Architecture volume 274 of Lecture Notes in Computer Science pages 34--45. Springer Berlin Heidelberg 1987. DOI: 10.1007\/3-540-18317-5_3.","DOI":"10.1007\/3-540-18317-5_3"},{"key":"e_1_3_2_1_20_1","series-title":"OpenAccess Series in Informatics (OASIcs)","first-page":"39","volume-title":"2nd Symposium on Languages, Applications and Technologies","author":"Fourtounis G.","year":"2013"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45284-0_11"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/327070.327153"},{"volume-title":"Inc.","year":"1983","author":"Goldberg A.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/800068.802152"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"R. Jones A. Hosking and E. Moss. The Garbage Collection Handbook: The Art of Automatic Memory Management. Chapman & Hall\/CRC 1st edition 2011.   R. Jones A. Hosking and E. Moss. The Garbage Collection Handbook: The Art of Automatic Memory Management. Chapman & Hall\/CRC 1st edition 2011.","DOI":"10.1201\/9781315388021"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_3_2_1_28_1","unstructured":"S. L. P. Jones editor. Haskell 98 Language and Libraries: The Revised Report. http:\/\/haskell.org\/ September 2002.  S. L. P. Jones editor. Haskell 98 Language and Libraries: The Revised Report. http:\/\/haskell.org\/ September 2002."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"K.\n       \n      Langendoen\n     and \n      \n      \n      P. H.\n       \n      Hartel\n      \n  \n  . \n  FCG: A code generator for lazy functional languages. In U. Kastens and P. Pfahler editors Compiler Construction volume \n  641\n   of \n  Lecture Notes in Computer Science pages \n  278\n  --\n  296\n  . \n  Springer Berlin Heidelberg 1992\n  . DOI: 10.1007\/3-540-55984-1_26.     10.1007\/3-540-55984-1_26\nK. Langendoen and P. H. Hartel. FCG: A code generator for lazy functional languages. In U. Kastens and P. Pfahler editors Compiler Construction volume 641 of Lecture Notes in Computer Science pages 278--296. Springer Berlin Heidelberg 1992. DOI: 10.1007\/3-540-55984-1_26.","DOI":"10.1007\/3-540-55984-1_26"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111583.1111587"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/320080.320096"},{"key":"e_1_3_2_1_32_1","unstructured":"A. Limited. Principles of ARM memory maps. http:\/\/infocenter.arm.com\/help\/topic\/com.arm.doc.den0001c\/DEN0001C_principles_of_arm_memory_maps.pdf 2012. Accessed: 29-01-2014.  A. Limited. Principles of ARM memory maps. http:\/\/infocenter.arm.com\/help\/topic\/com.arm.doc.den0001c\/DEN0001C_principles_of_arm_memory_maps.pdf 2012. Accessed: 29-01-2014."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503779"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291194"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596563"},{"key":"e_1_3_2_1_36_1","unstructured":"M. Matz J. Hubicka A. Jaeger and M. Mitchell. AMD64 ABI draft 0.99.5 September 3 2010. URL www.x86-64.org\/documentation\/abi.pdf. Accessed: 31-01-2014.  M. Matz J. Hubicka A. Jaeger and M. Mitchell. AMD64 ABI draft 0.99.5 September 3 2010. URL www.x86-64.org\/documentation\/abi.pdf. Accessed: 31-01-2014."},{"key":"e_1_3_2_1_37_1","unstructured":"Mruby developers. Full-length nan boxing on 64bit platforms #1441. https:\/\/github.com\/mruby\/mruby\/pull\/1441 2013. Accessed: 31-01-2014.  Mruby developers. Full-length nan boxing on 64bit platforms #1441. https:\/\/github.com\/mruby\/mruby\/pull\/1441 2013. Accessed: 31-01-2014."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/773146.773044"},{"key":"e_1_3_2_1_39_1","unstructured":"Oracle. Compressedoops. https:\/\/wikis.oracle.com\/display\/HotSpotInternals\/CompressedOops 2012. Accessed: 14-05-2014.  Oracle. Compressedoops. https:\/\/wikis.oracle.com\/display\/HotSpotInternals\/CompressedOops 2012. Accessed: 14-05-2014."},{"key":"e_1_3_2_1_40_1","unstructured":"Oracle. SPARC Assembly Language Reference Manual 5.2: Address Sizes. http:\/\/docs.oracle.com\/cd\/E26502_01\/html\/E28387\/glyfs.html. Accessed: 28-01-2014.  Oracle. SPARC Assembly Language Reference Manual 5.2: Address Sizes. http:\/\/docs.oracle.com\/cd\/E26502_01\/html\/E28387\/glyfs.html. Accessed: 28-01-2014."},{"key":"e_1_3_2_1_41_1","unstructured":"M. Pall. LuaJIT 2.0 intellectual property disclosure and research opportunities. http:\/\/lua-users.org\/lists\/lua-l\/2009-11\/msg00089.html 2009. Accessed: 31-01-2014.  M. Pall. LuaJIT 2.0 intellectual property disclosure and research opportunities. http:\/\/lua-users.org\/lists\/lua-l\/2009-11\/msg00089.html 2009. Accessed: 31-01-2014."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364489"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8611-7"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34407-7_4"},{"key":"e_1_3_2_1_45_1","unstructured":"The IEEE and The Open Group. The Open Group Base Specifications Issue 6 IEEE Std 1003.1 stdint.h -- integer types. http:\/\/pubs.opengroup.org\/onlinepubs\/000095399\/basedefs\/stdint.h.html 2004. Accessed: 28-01-2014.  The IEEE and The Open Group. The Open Group Base Specifications Issue 6 IEEE Std 1003.1 stdint.h -- integer types. http:\/\/pubs.opengroup.org\/onlinepubs\/000095399\/basedefs\/stdint.h.html 2004. Accessed: 28-01-2014."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"K.\n       \n      Venstermans L.\n       \n      Eeckhout and \n      \n      \n      K. D.\n       \n      Bosschere\n      \n  \n  . \n  Object-relative addressing: Compressed pointers in 64-bit Java virtual machines. In E. Ernst editor ECOOP volume \n  4609\n   of \n  Lecture Notes in Computer Science pages \n  79\n  --\n  100\n  . \n  Springer 2007\n  .   K. Venstermans L. Eeckhout and K. D. Bosschere. Object-relative addressing: Compressed pointers in 64-bit Java virtual machines. In E. Ernst editor ECOOP volume 4609 of Lecture Notes in Computer Science pages 79--100. Springer 2007.","DOI":"10.1007\/978-3-540-73589-2_5"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1275937.1275941"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/216585.216588"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Y.\n       \n      Zhang\n     and \n      \n      \n      R.\n       \n      Gupta\n      \n  \n  . \n  Data compression transformations for dynamically allocated data structures. In R. N. Horspool editor CC volume \n  2304\n   of \n  Lecture Notes in Computer Science pages \n  14\n  --\n  28\n  . \n  Springer 2002\n  .   Y. Zhang and R. Gupta. Data compression transformations for dynamically allocated data structures. In R. N. Horspool editor CC volume 2304 of Lecture Notes in Computer Science pages 14--28. Springer 2002.","DOI":"10.1007\/3-540-45937-5_4"}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Gothenburg Sweden","acronym":"ICFP'14"},"container-title":["Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2636228.2636232","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2636228.2636232","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:58Z","timestamp":1750227118000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2636228.2636232"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":47,"alternative-id":["10.1145\/2636228.2636232","10.1145\/2636228"],"URL":"https:\/\/doi.org\/10.1145\/2636228.2636232","relation":{},"subject":[],"published":{"date-parts":[[2014,9,3]]},"assertion":[{"value":"2014-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}