{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:12Z","timestamp":1750220052814,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T00:00:00Z","timestamp":1676592000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000015","name":"DOE U.S. Department of Energy","doi-asserted-by":"publisher","award":["17-SC-20-SC,DE-AC02-06CH11357"],"award-info":[{"award-number":["17-SC-20-SC,DE-AC02-06CH11357"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006168","name":"National Nuclear Security Administration","doi-asserted-by":"publisher","award":["17-SC-20-SC"],"award-info":[{"award-number":["17-SC-20-SC"]}],"id":[{"id":"10.13039\/100006168","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-2107042,CCF-1908488,CCF-2118708,CCF-2028851,CCF-2119069,CNS-1763743"],"award-info":[{"award-number":["CCF-2107042,CCF-1908488,CCF-2118708,CCF-2028851,CCF-2119069,CNS-1763743"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,2,17]]},"DOI":"10.1145\/3579990.3580011","type":"proceedings-article","created":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T10:27:10Z","timestamp":1677061630000},"page":"199-211","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Program State Element Characterization"],"prefix":"10.1145","author":[{"given":"Enrico Armenio","family":"Deiana","sequence":"first","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Suchy","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wilkins","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Homerding","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommy","family":"McMichen","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katarzyna","family":"Dunajewski","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Dinda","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikos","family":"Hardavellas","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Campanoni","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Clang Tidy. https:\/\/clang.llvm.org\/extra\/clang-tidy\/ Accessed: 2023-01-15"},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. dmalloc. https:\/\/dmalloc.com\/ Accessed: 2023-01-15"},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. Duma. https:\/\/www.linuxlinks.com\/duma\/ Accessed: 2023-01-15"},{"key":"e_1_3_2_1_4_1","unstructured":"[n. d.]. Electric Fence. https:\/\/linux.die.net\/man\/3\/efence Accessed: 2023-01-15"},{"key":"e_1_3_2_1_5_1","unstructured":"[n. d.]. Intel Inspector. https:\/\/software.intel.com\/en-us\/inspector Accessed: 2023-01-15"},{"key":"e_1_3_2_1_6_1","unstructured":"[n. d.]. jemalloc. http:\/\/jemalloc.net\/ Accessed: 2023-01-15"},{"key":"e_1_3_2_1_7_1","unstructured":"[n. d.]. MemWatch. https:\/\/www.linkdata.se\/sourcecode\/memwatch\/ Accessed: 2023-01-15"},{"key":"e_1_3_2_1_8_1","unstructured":"[n. d.]. Mpatrol. http:\/\/mpatrol.sourceforge.net\/ Accessed: 2023-01-15"},{"key":"e_1_3_2_1_9_1","unstructured":"[n. d.]. Mtrace. http:\/\/man7.org\/linux\/man-pages\/man3\/mtrace.3.html Accessed: 2023-01-15"},{"key":"e_1_3_2_1_10_1","unstructured":"[n. d.]. Pinatrace. https:\/\/software.intel.com\/sites\/landingpage\/pintool\/docs\/71313\/Pin\/html\/ Accessed: 2023-01-15"},{"volume-title":"SPEC CPU 2017","year":"2017","key":"e_1_3_2_1_11_1","unstructured":"[n. d.]. SPEC CPU 2017. https:\/\/www.spec.org\/cpu2017 Accessed: 2023-01-15"},{"key":"e_1_3_2_1_12_1","unstructured":"[n. d.]. Xcode. https:\/\/developer.apple.com\/xcode\/ Accessed: 2023-01-15"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/55364.55385"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386028"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/BDCloud.2018.00135"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"David Bailey E. Barszcz Barton J.T Browning D.S Carter R.L Dagum D Fatoohi R.A Paul Frederickson Lasinski T.A Robert Schreiber Horst Simon Venkat Venkatakrishnan and Weeratunga K. 1991. The Nas Parallel Benchmarks. International Journal of High Performance Computing Applications https:\/\/doi.org\/10.1177\/109434209100500306 10.1177\/109434209100500306","DOI":"10.1177\/109434209100500306"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"volume-title":"PLuTo: A Practical and Fully Automatic Polyhedral Program Optimization System. PLDI 2008 - 29th ACM SIGPLAN Conference on Programming Language Design and Implementation.","author":"Bondhugula Uday","key":"e_1_3_2_1_18_1","unstructured":"Uday Bondhugula, J. Ramanujam, and P. Sadayappan. 2008. PLuTo: A Practical and Fully Automatic Polyhedral Program Optimization System. PLDI 2008 - 29th ACM SIGPLAN Conference on Programming Language Design and Implementation."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054203"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","unstructured":"Enrico Armenio Deiana. 2022. Program State Element Characterization. https:\/\/doi.org\/10.5281\/zenodo.7374843 10.5281\/zenodo.7374843","DOI":"10.5281\/zenodo.7374843"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2019.00032"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"Enrico A. Deiana Vincent St-Amour Peter A. Dinda Nikos Hardavellas and Simone Campanoni. 2018. Unconventional Parallelization of Nondeterministic Applications. In ASPLOS. https:\/\/doi.org\/10.1145\/3173162.3173181 10.1145\/3173162.3173181","DOI":"10.1145\/3173162.3173181"},{"key":"e_1_3_2_1_23_1","first-page":"314","article-title":"Detecting and remedying memory leaks caused by object reference cycles","volume":"10","author":"Distefano Dino Salvo","year":"2019","unstructured":"Dino Salvo Distefano, Cristiano Calcagno, and Dulma Churchill. 2019. Detecting and remedying memory leaks caused by object reference cycles. US Patent 10,296,314","journal-title":"US Patent"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","unstructured":"D. Evans and D. Larochelle. 2002. Improving security using extensible lightweight static analysis. IEEE Software https:\/\/doi.org\/10.1109\/52.976940 10.1109\/52.976940","DOI":"10.1109\/52.976940"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","unstructured":"Saturnino Garcia Donghwan Jeon Christopher M Louie and Michael Bedford Taylor. 2011. Kremlin: rethinking and rebooting gprof for the multicore age. ACM SIGPLAN Notices https:\/\/doi.org\/10.1145\/1993316.1993553 10.1145\/1993316.1993553","DOI":"10.1145\/1993316.1993553"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWMSE.2009.5071383"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810509"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863736"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178258"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.86108"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.49"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","unstructured":"Milind Kulkarni Martin Burtscher Rajeshkar Inkulu Keshav Pingali and Calin Cas\u00e7aval. 2009. How much parallelism is there in irregular applications? ACM sigplan notices https:\/\/doi.org\/10.1145\/1594835.1504181 10.1145\/1594835.1504181","DOI":"10.1145\/1594835.1504181"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference. https:\/\/doi.org\/10","author":"Lachaize Renaud","year":"2012","unstructured":"Renaud Lachaize, Baptiste Lepers, and Vivien Qu\u00e9ma. 2012. MemProf: A Memory Profiler for NUMA Multicore Systems. In Proceedings of the 2012 USENIX Conference on Annual Technical Conference. https:\/\/doi.org\/10.5555\/2342821.2342826"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.238302"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.03.045"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO53902.2022.9741276"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2010.5452060"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465790"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983941"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892214"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3330345.3330375"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755947"},{"volume-title":"A Framework for Automatic OpenMP Code Generation. M. Tech thesis","author":"Raghesh Aloor","key":"e_1_3_2_1_46_1","unstructured":"Aloor Raghesh. 2011. A Framework for Automatic OpenMP Code Generation. M. Tech thesis, Indian Institute of Technology, Madras, India."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609588"},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, https:\/\/doi.org\/10","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A fast address sanity checker. Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, https:\/\/doi.org\/10.5555\/2342821.2342849"},{"volume-title":"Future Directions for Parallel and Distributed Computing: SPX 2019 Workshop Report. In NSF Workshop Reports.","author":"Stoller Scott D.","key":"e_1_3_2_1_49_1","unstructured":"Scott D. Stoller, Michael Carbin, Sarita V. Adve, Kunal Agrawal, Guy E. Blelloch, Dan, Stanzione, Katherine A. Yelick, and Matei A. Zaharia. 2019. Future Directions for Parallel and Distributed Computing: SPX 2019 Workshop Report. In NSF Workshop Reports."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345234"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2579561"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89740-8_16"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.15"}],"event":{"name":"CGO '23: 21st ACM\/IEEE International Symposium on Code Generation and Optimization","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","SIGPLAN ACM Special Interest Group on Programming Languages","IEEE-CS Computer Society"],"location":"Montr\u00e9al QC Canada","acronym":"CGO '23"},"container-title":["Proceedings of the 21st ACM\/IEEE International Symposium on Code Generation and Optimization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579990.3580011","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579990.3580011","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579990.3580011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:19Z","timestamp":1750183699000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579990.3580011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,17]]},"references-count":54,"alternative-id":["10.1145\/3579990.3580011","10.1145\/3579990"],"URL":"https:\/\/doi.org\/10.1145\/3579990.3580011","relation":{},"subject":[],"published":{"date-parts":[[2023,2,17]]},"assertion":[{"value":"2023-02-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}