{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T17:30:15Z","timestamp":1771954215744,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T00:00:00Z","timestamp":1699660800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFB1506703"],"award-info":[{"award-number":["2020YFB1506703"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072018"],"award-info":[{"award-number":["62072018"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U22A2028"],"award-info":[{"award-number":["U22A2028"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,12]]},"DOI":"10.1145\/3581784.3607052","type":"proceedings-article","created":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T21:47:06Z","timestamp":1699998426000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["TrivialSpy: Identifying Software Triviality via Fine-grained and Dataflow-based Value Profiling"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5163-4607","authenticated-orcid":false,"given":"Xin","family":"You","sequence":"first","affiliation":[{"name":"Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1101-7927","authenticated-orcid":false,"given":"Hailong","family":"Yang","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8637-4182","authenticated-orcid":false,"given":"Kelun","family":"Lei","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7186-0556","authenticated-orcid":false,"given":"Zhongzhi","family":"Luan","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5382-1473","authenticated-orcid":false,"given":"Depei","family":"Qian","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. CORAL-2 Benchmarks https:\/\/asc.llnl.gov\/coral-2-benchmarks\/.  2017. CORAL-2 Benchmarks https:\/\/asc.llnl.gov\/coral-2-benchmarks\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1553"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265925"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2020.2994522"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.253"},{"key":"e_1_3_2_1_6_1","volume-title":"2nd Value-Prediction and Value-Based Optimization Workshop","author":"Atoofian Ehsan","year":"2004","unstructured":"Ehsan Atoofian , Amirali Baniasadi , and Nikitas Dimopoulos . 2004 . Improving performance by speculating trivializing operands in trivial instructions . In 2nd Value-Prediction and Value-Based Optimization Workshop , Boston, Massachusetts. 26--31. Ehsan Atoofian, Amirali Baniasadi, and Nikitas Dimopoulos. 2004. Improving performance by speculating trivializing operands in trivial instructions. In 2nd Value-Prediction and Value-Based Optimization Workshop, Boston, Massachusetts. 26--31."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3429440"},{"key":"e_1_3_2_1_8_1","volume-title":"NAS parallel benchmarks. Encyclopedia of Parallel Computing","author":"Bailey David H","year":"2011","unstructured":"David H Bailey . 2011. NAS parallel benchmarks. Encyclopedia of Parallel Computing ( 2011 ), 1254--1259. David H Bailey. 2011. NAS parallel benchmarks. Encyclopedia of Parallel Computing (2011), 1254--1259."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/255215.255225"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185768.3185771"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/378995.379236"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/266800.266825"},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"Value profiling and optimization","volume":"1","author":"Calder Brad","year":"1999","unstructured":"Brad Calder , Peter Feller , Alan Eustace , 1999 . Value profiling and optimization . Journal of Instruction Level Parallelism 1 , 1 (1999), 1 -- 6 . Brad Calder, Peter Feller, Alan Eustace, et al. 1999. Value profiling and optimization. Journal of Instruction Level Parallelism 1, 1 (1999), 1--6.","journal-title":"Journal of Instruction Level Parallelism"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259033"},{"key":"e_1_3_2_1_16_1","volume-title":"Slides from Linux Kongress","author":"De Melo Arnaldo Carvalho","unstructured":"Arnaldo Carvalho De Melo . 2010. The new linux'perf'tools . In Slides from Linux Kongress , Vol. 18 . Arnaldo Carvalho De Melo. 2010. The new linux'perf'tools. In Slides from Linux Kongress, Vol. 18."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/377792.377807"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304041"},{"key":"e_1_3_2_1_19_1","volume-title":"Tools for High Performance Computing","author":"DeRose Luiz","unstructured":"Luiz DeRose , Bill Homer , Dean Johnson , Steve Kaufmann , and Heidi Poxon . 2008. Cray performance analysis tools . In Tools for High Performance Computing . Springer , 191--199. Luiz DeRose, Bill Homer, Dean Johnson, Steve Kaufmann, and Heidi Poxon. 2008. Cray performance analysis tools. In Tools for High Performance Computing. Springer, 191--199."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207121"},{"key":"e_1_3_2_1_21_1","volume-title":"Instruction tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD and VIA CPUs. Fog. Regime of access: http:\/\/www.agner.org\/optimize","author":"Fog A","year":"2019","unstructured":"A Fog . 2019. Software optimization resources , Instruction tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD and VIA CPUs. Fog. Regime of access: http:\/\/www.agner.org\/optimize ( 2019 ). A Fog. 2019. Software optimization resources, Instruction tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD and VIA CPUs. Fog. Regime of access: http:\/\/www.agner.org\/optimize (2019)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410463.3414655"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/872726.806987"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Rajiv Gupta Eduard Mehofer and Youtao Zhang. 2002. Profile guided compiler optimizations. (2002).  Rajiv Gupta Eduard Mehofer and Youtao Zhang. 2002. Profile guided compiler optimizations. (2002).","DOI":"10.1201\/9781420040579.ch4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359630"},{"key":"e_1_3_2_1_26_1","volume-title":"Quest and high performance simulation of quantum computers. Scientific reports 9, 1","author":"Jones Tyson","year":"2019","unstructured":"Tyson Jones , Anna Brown , Ian Bush , and Simon C Benjamin . 2019. Quest and high performance simulation of quantum computers. Scientific reports 9, 1 ( 2019 ), 1--11. Tyson Jones, Anna Brown, Ian Bush, and Simon C Benjamin. 2019. Quest and high performance simulation of quantum computers. Scientific reports 9, 1 (2019), 1--11."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2016.2557075"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428199"},{"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","unstructured":"John Levon Philippe Elie etal 2008. OProfile a system-wide profiler for Linux systems. Homepage: http:\/\/oprofile.sourceforge.net (2008).  John Levon Philippe Elie et al. 2008. OProfile a system-wide profiler for Linux systems. Homepage: http:\/\/oprofile.sourceforge.net (2008)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510083"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2017.8344617"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394284"},{"key":"e_1_3_2_1_34_1","volume-title":"VTune performance analyzer essentials","author":"Reinders James","year":"2005","unstructured":"James Reinders . 2005. VTune performance analyzer essentials . Intel Press ( 2005 ). James Reinders. 2005. VTune performance analyzer essentials. Intel Press (2005)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1993.378089"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356214"},{"key":"e_1_3_2_1_37_1","first-page":"1","article-title":"ReuseTracker: Fast Yet Accurate Multicore Reuse Distance Analyzer","volume":"19","author":"Sasongko Muhammad Aditya","year":"2021","unstructured":"Muhammad Aditya Sasongko , Milind Chabbi , Mandana Bagheri Marzijarani , and Didem Unat . 2021 . ReuseTracker: Fast Yet Accurate Multicore Reuse Distance Analyzer . ACM Transactions on Architecture and Code Optimization (TACO) 19 , 1 (2021), 1 -- 25 . Muhammad Aditya Sasongko, Milind Chabbi, Mandana Bagheri Marzijarani, and Didem Unat. 2021. ReuseTracker: Fast Yet Accurate Multicore Reuse Distance Analyzer. ACM Transactions on Architecture and Code Optimization (TACO) 19, 1 (2021), 1--25.","journal-title":"ACM Transactions on Architecture and Code Optimization (TACO)"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342006064482"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446804.3446845"},{"key":"e_1_3_2_1_40_1","volume-title":"Computer Graphics Forum","author":"Stephenson Mark","unstructured":"Mark Stephenson , Ram Rangan , and Stephen W Keckler . 2021. Cooperative Profile Guided Optimizations . In Computer Graphics Forum , Vol. 40 . Wiley Online Library , 71--83. Mark Stephenson, Ram Rangan, and Stephen W Keckler. 2021. Cooperative Profile Guided Optimizations. In Computer Graphics Forum, Vol. 40. Wiley Online Library, 71--83."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00103"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3392717.3392754"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523448"},{"key":"e_1_3_2_1_44_1","volume-title":"PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections.. In OSDI. 37--54.","author":"Wang Haojie","year":"2021","unstructured":"Haojie Wang , Jidong Zhai , Mingyu Gao , Zixuan Ma , Shizhi Tang , Liyan Zheng , Yuanzhi Li , Kaiyuan Rong , Yuanyong Chen , and Zhihao Jia . 2021 . PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections.. In OSDI. 37--54. Haojie Wang, Jidong Zhai, Mingyu Gao, Zixuan Ma, Shizhi Tang, Liyan Zheng, Yuanzhi Li, Kaiyuan Rong, Yuanyong Chen, and Zhihao Jia. 2021. PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections.. In OSDI. 37--54."},{"key":"e_1_3_2_1_45_1","first-page":"570","article-title":"Astrophysical N-body simulations using hierarchical tree data structures","volume":"92","author":"Warren Michael S","year":"1992","unstructured":"Michael S Warren and John K Salmon . 1992 . Astrophysical N-body simulations using hierarchical tree data structures . SC 92 (1992), 570 -- 576 . Michael S Warren and John K Salmon. 1992. Astrophysical N-body simulations using hierarchical tree data structures. SC 92 (1992), 570--576.","journal-title":"SC"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45306-7_22"},{"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.1145\/3037697.3037729"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177159"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2015.29"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2002.1106814"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3576934"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00033"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00034"},{"key":"e_1_3_2_1_55_1","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Zheng Ningxin","year":"2022","unstructured":"Ningxin Zheng , Bin Lin , Quanlu Zhang , Lingxiao Ma , Yuqing Yang , Fan Yang , Yang Wang , Mao Yang , and Lidong Zhou . 2022 . {SparTA}:{Deep-Learning} Model Sparsity via {Tensor-with-Sparsity-Attribute} . In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22) . 213--232. Ningxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, Yuqing Yang, Fan Yang, Yang Wang, Mao Yang, and Lidong Zhou. 2022. {SparTA}:{Deep-Learning} Model Sparsity via {Tensor-with-Sparsity-Attribute}. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). 213--232."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00093"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507708"}],"event":{"name":"SC '23: International Conference for High Performance Computing, Networking, Storage and Analysis","location":"Denver CO USA","acronym":"SC '23","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","IEEE CS"]},"container-title":["Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3581784.3607052","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3581784.3607052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:22Z","timestamp":1750178182000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3581784.3607052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,11]]},"references-count":56,"alternative-id":["10.1145\/3581784.3607052","10.1145\/3581784"],"URL":"https:\/\/doi.org\/10.1145\/3581784.3607052","relation":{},"subject":[],"published":{"date-parts":[[2023,11,11]]},"assertion":[{"value":"2023-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}