{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:30Z","timestamp":1775873550364,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,4]],"date-time":"2017-04-04T00:00:00Z","timestamp":1491264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,4]]},"DOI":"10.1145\/3037697.3037729","type":"proceedings-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T08:47:40Z","timestamp":1491382060000},"page":"47-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["REDSPY"],"prefix":"10.1145","author":[{"given":"Shasha","family":"Wen","sequence":"first","affiliation":[{"name":"College of William & Mary, Williamsburg, VA, USA"}]},{"given":"Milind","family":"Chabbi","sequence":"additional","affiliation":[{"name":"Hewlett Packard Labs, Palo Alto, CA, USA"}]},{"given":"Xu","family":"Liu","sequence":"additional","affiliation":[{"name":"College of William & Mary, Williamsburg, VA, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,4,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"CCTLib. https:\/\/github.com\/CCTLib\/.  CCTLib. https:\/\/github.com\/CCTLib\/."},{"key":"e_1_3_2_1_2_1","unstructured":"The DWARF Debugging Standard. http:\/\/www.dwarfstd.org.  The DWARF Debugging Standard. http:\/\/www.dwarfstd.org."},{"key":"e_1_3_2_1_3_1","unstructured":"NU-MineBench Suite. http:\/\/cucis.ece.northwestern.edu\/projects\/DMS\/MineBench.html.  NU-MineBench Suite. http:\/\/cucis.ece.northwestern.edu\/projects\/DMS\/MineBench.html."},{"key":"e_1_3_2_1_4_1","unstructured":"Rodinia Benchmark Suite. http:\/\/www.cs.virginia.edu\/~skadron\/wiki\/rodinia\/index.php\/Rodinia:Accelerating_Compute-Intensive_Applications_with_Accelerators.  Rodinia Benchmark Suite. http:\/\/www.cs.virginia.edu\/~skadron\/wiki\/rodinia\/index.php\/Rodinia:Accelerating_Compute-Intensive_Applications_with_Accelerators."},{"key":"e_1_3_2_1_5_1","unstructured":"Intel VTune. https:\/\/software.intel.com\/en-us\/intel-vtune-amplifier-xe.  Intel VTune. https:\/\/software.intel.com\/en-us\/intel-vtune-amplifier-xe."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753228.1753233"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265925"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2000.888338"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199706)27:6%3C701::AID-SPE104%3E3.0.CO;2-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379236"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605419"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1997.645816"},{"key":"e_1_3_2_1_13_1","first-page":"1","author":"Calder B.","year":"1999","unstructured":"B. Calder , P. Feller , and A. Eustace . Value Profiling and Optimization. Journal of Instruction Level Parallelism , 1 , 1999 . B. Calder, P. Feller, and A. Eustace. Value Profiling and Optimization. Journal of Instruction Level Parallelism, 1, 1999.","journal-title":"Journal of Instruction Level Parallelism"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259033"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544164"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of International Workshop on Compilers and Operating Systems for Low Power","author":"Chung E.-Y.","year":"2000","unstructured":"E.-Y. Chung , L. Benini , and G. D. Micheli . Energy Efficient Source Code Transformation based on Value Profiling . In Proceedings of International Workshop on Compilers and Operating Systems for Low Power , 2000 . E.-Y. Chung, L. Benini, and G. D. Micheli. Energy Efficient Source Code Transformation based on Value Profiling. In Proceedings of International Workshop on Compilers and Operating Systems for Low Power, 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454120"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/377792.377807"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68564-7_12"},{"key":"e_1_3_2_1_20_1","volume-title":"Master dissertation","author":"Feller P. T.","year":"1998","unstructured":"P. T. Feller . Value Profiling for Instructions and Memory Locations . Master dissertation , 1998 . P. T. Feller. Value Profiling for Instructions and Memory Locations. Master dissertation, 1998."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207121"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/800230.806987"},{"key":"e_1_3_2_1_23_1","unstructured":"S. Henry H. Bollor\u00e9 and E. Oseret. Towards the Generalization of Value Profiling for High-Performance Application Optimization. http:\/\/sylvain-henry.info\/home\/files\/papers\/shenry_2015_vprof.pdf.  S. Henry H. Bollor\u00e9 and E. Oseret. Towards the Generalization of Value Profiling for High-Performance Application Optimization. http:\/\/sylvain-henry.info\/home\/files\/papers\/shenry_2015_vprof.pdf."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764669"},{"key":"e_1_3_2_1_25_1","unstructured":"Intel Corp. Intel 64 and IA-32 Architectures Software Developer'-\u00f4s Manual. https:\/\/software.intel.com\/en-us\/articles\/intel-sdm natexlaba.  Intel Corp. Intel 64 and IA-32 Architectures Software Developer'-\u00f4s Manual. https:\/\/software.intel.com\/en-us\/articles\/intel-sdm natexlaba."},{"key":"e_1_3_2_1_26_1","unstructured":"Intel Corp. Intel X86 Encoder Decoder Software Library. https:\/\/software.intel.com\/en-us\/articles\/xed-x86-encoder-decoder-software-library natexlabb.  Intel Corp. Intel X86 Encoder Decoder Software Library. https:\/\/software.intel.com\/en-us\/articles\/xed-x86-encoder-decoder-software-library natexlabb."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863733"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of Workshop on New Approaches to Software Construction","author":"Kamio T.","year":"2004","unstructured":"T. Kamio and H. Masahura . A Value Profiler for Assisting Object-Oriented Program Specialization . In Proceedings of Workshop on New Approaches to Software Construction , 2004 . T. Kamio and H. Masahura. A Value Profiler for Assisting Object-Oriented Program Specialization. In Proceedings of Workshop on New Approaches to Software Construction, 2004."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339678"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/360128.360133"},{"key":"e_1_3_2_1_31_1","unstructured":"J. Levontextitet al. OProfile. http:\/\/oprofile.sourceforge.net.  J. Levontextitet al. OProfile. http:\/\/oprofile.sourceforge.net."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1996.566464"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/237090.237173"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628121"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.22"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830790"},{"key":"e_1_3_2_1_38_1","first-page":"165","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence -","volume":"1","author":"Mostow J.","year":"1985","unstructured":"J. Mostow and D. Cohen . Automating Program Speedup by Deciding What to Cache . In Proceedings of the 9th International Joint Conference on Artificial Intelligence - Volume 1 , IJCAI'85, pages 165 -- 172 , San Francisco, CA, USA , 1985 . Morgan Kaufmann Publishers Inc. J. Mostow and D. Cohen. Automating Program Speedup by Deciding What to Cache. In Proceedings of the 9th International Joint Conference on Artificial Intelligence - Volume 1, IJCAI'85, pages 165--172, San Francisco, CA, USA, 1985. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45099-3_18"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451161"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73562"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541948"},{"key":"e_1_3_2_1_43_1","volume-title":"Corporation. SPEC CPU2006 Benchmark Suite. http:\/\/www.spec.org\/cpu2006","author":"SPEC","year":"2007","unstructured":"SPEC Corporation. SPEC CPU2006 Benchmark Suite. http:\/\/www.spec.org\/cpu2006 . 3 November 2007 . SPEC Corporation. SPEC CPU2006 Benchmark Suite. http:\/\/www.spec.org\/cpu2006. 3 November 2007."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2010.04.018"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45306-7_22"},{"key":"e_1_3_2_1_46_1","unstructured":"V. Weaver. Reading RAPL Energy Measurements from Linux. http:\/\/web.eece.maine.edu\/~vweaver\/projects\/rapl\/.  V. Weaver. Reading RAPL Energy Measurements from Linux. http:\/\/web.eece.maine.edu\/~vweaver\/projects\/rapl\/."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2015.29"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2836168"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375634.1375648"}],"event":{"name":"ASPLOS '17: Architectural Support for Programming Languages and Operating Systems","location":"Xi'an China","acronym":"ASPLOS '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3037697.3037729","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3037697.3037729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:50:27Z","timestamp":1750204227000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3037697.3037729"}},"subtitle":["Exploring Value Locality in Software"],"short-title":[],"issued":{"date-parts":[[2017,4,4]]},"references-count":50,"alternative-id":["10.1145\/3037697.3037729","10.1145\/3037697"],"URL":"https:\/\/doi.org\/10.1145\/3037697.3037729","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093336.3037729","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/3093337.3037729","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,4,4]]},"assertion":[{"value":"2017-04-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}