{"id":"https://openalex.org/W4321500346","doi":"https://doi.org/10.1145/3579990.3580011","title":"Program State Element Characterization","display_name":"Program State Element Characterization","publication_year":2023,"publication_date":"2023-02-17","ids":{"openalex":"https://openalex.org/W4321500346","doi":"https://doi.org/10.1145/3579990.3580011"},"language":"en","primary_location":{"id":"doi:10.1145/3579990.3580011","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3579990.3580011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084976006","display_name":"Enrico Armenio Deiana","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrico Armenio Deiana","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024206336","display_name":"Brian Suchy","orcid":"https://orcid.org/0000-0002-1559-9322"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Suchy","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012702426","display_name":"Michael Wilkins","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Wilkins","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045515249","display_name":"Brian Homerding","orcid":"https://orcid.org/0000-0002-5455-6181"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Homerding","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037751281","display_name":"Tommy McMichen","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tommy McMichen","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032184558","display_name":"Katarzyna Dunajewski","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Katarzyna Dunajewski","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077304920","display_name":"Peter A. Dinda","orcid":"https://orcid.org/0000-0001-5315-5987"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Dinda","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077219627","display_name":"Nikos Hardavellas","orcid":"https://orcid.org/0000-0002-1137-8100"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikos Hardavellas","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084389543","display_name":"Simone Campanoni","orcid":"https://orcid.org/0000-0001-9806-7016"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Simone Campanoni","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2883,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44730038,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"199","last_page":"211"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8832871317863464},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.8480353951454163},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7616510391235352},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7524685859680176},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6197645664215088},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5894511938095093},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5012547969818115},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.47049757838249207},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.44744402170181274},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.44019615650177},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.41816338896751404},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36445146799087524}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8832871317863464},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.8480353951454163},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7616510391235352},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7524685859680176},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6197645664215088},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5894511938095093},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5012547969818115},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.47049757838249207},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.44744402170181274},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.44019615650177},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.41816338896751404},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36445146799087524},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3579990.3580011","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3579990.3580011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land"}],"awards":[{"id":"https://openalex.org/G2250725950","display_name":null,"funder_award_id":"CCF-2107042,CCF-1908488,CCF-2118708,CCF-2028851,CCF-2119069,CNS-1763743","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3232922872","display_name":null,"funder_award_id":"17-SC-20-SC","funder_id":"https://openalex.org/F4320332369","funder_display_name":"National Nuclear Security Administration"},{"id":"https://openalex.org/G8591803157","display_name":null,"funder_award_id":"17-SC-20-SC,DE-AC02-06CH11357","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320332369","display_name":"National Nuclear Security Administration","ror":"https://ror.org/03sk1we31"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W190163119","https://openalex.org/W1987564528","https://openalex.org/W2008313934","https://openalex.org/W2044132551","https://openalex.org/W2081942292","https://openalex.org/W2084414005","https://openalex.org/W2102430469","https://openalex.org/W2104342377","https://openalex.org/W2112121929","https://openalex.org/W2115920894","https://openalex.org/W2122425154","https://openalex.org/W2132260309","https://openalex.org/W2134633067","https://openalex.org/W2139085735","https://openalex.org/W2146455667","https://openalex.org/W2147801215","https://openalex.org/W2153510998","https://openalex.org/W2154871416","https://openalex.org/W2169875292","https://openalex.org/W2293274942","https://openalex.org/W2297774820","https://openalex.org/W2305289128","https://openalex.org/W2547541865","https://openalex.org/W2752111507","https://openalex.org/W2793307102","https://openalex.org/W2924329194","https://openalex.org/W2940773456","https://openalex.org/W2951039780","https://openalex.org/W2999016616","https://openalex.org/W3007272028","https://openalex.org/W3033603793","https://openalex.org/W4220780061","https://openalex.org/W4231868136","https://openalex.org/W4239035626","https://openalex.org/W4246166885","https://openalex.org/W6894098572"],"related_works":["https://openalex.org/W2778498407","https://openalex.org/W4392500255","https://openalex.org/W2344367508","https://openalex.org/W3007026952","https://openalex.org/W2571988079","https://openalex.org/W2098629748","https://openalex.org/W2144528247","https://openalex.org/W4244608052","https://openalex.org/W4312050194","https://openalex.org/W2147884840"],"abstract_inverted_index":{"Modern":[0],"programming":[1,183],"languages":[2],"offer":[3],"abstractions":[4,18,37],"that":[5,94,145,168],"simplify":[6],"software":[7],"development":[8],"and":[9,61,97,115,156],"allow":[10],"hardware":[11],"to":[12,26,83,101],"reach":[13],"its":[14],"full":[15],"potential.":[16],"These":[17],"range":[19],"from":[20],"the":[21,58,86,113,131,149,178],"well-established":[22],"OpenMP":[23,154],"language":[24,184],"extensions":[25],"newer":[27],"C++":[28,161],"features":[29],"like":[30],"smart":[31,162],"pointers.":[32,163],"To":[33],"properly":[34],"use":[35],"these":[36],"in":[38],"an":[39,108],"existing":[40],"codebase,":[41],"programmers":[42],"must":[43],"determine":[44],"how":[45],"a":[46,78,91,104,121,126],"given":[47],"source":[48],"code":[49],"region":[50],"interacts":[51],"with":[52,125,160],"Program":[53,68],"State":[54,69],"Elements":[55],"(PSEs)":[56],"(i.e.,":[57],"program's":[59],"variables":[60],"memory":[62,158],"locations).":[63],"We":[64,89,143],"call":[65],"this":[66],"process":[67],"Element":[70],"Characterization":[71],"(PSEC).":[72],"Without":[73],"tool":[74],"support":[75,176],"for":[76,177],"PSEC,":[77],"programmer's":[79],"only":[80],"option":[81],"is":[82],"manually":[84],"study":[85],"entire":[87],"codebase.":[88],"propose":[90],"profile-based":[92,105],"approach":[93,106],"automates":[95],"PSEC":[96,134,141,169],"provides":[98],"abstraction":[99],"recommendations":[100,147],"programmers.":[102],"Because":[103],"incurs":[107],"impractical":[109],"overhead,":[110],"we":[111,166],"introduce":[112],"Compiler":[114],"Runtime":[116],"Memory":[117],"Observation":[118],"Tool":[119],"(CARMOT),":[120],"PSEC-specific":[122],"compiler":[123],"co-designed":[124],"parallel":[127],"runtime.":[128],"CARMOT":[129],"reduces":[130],"overhead":[132],"of":[133,138,181],"by":[135],"two":[136],"orders":[137],"magnitude,":[139],"making":[140],"practical.":[142],"show":[144],"CARMOT's":[146],"achieve":[148],"same":[150],"speedup":[151],"as":[152,172],"hand-tuned":[153],"directives":[155],"avoid":[157],"leaks":[159],"From":[164],"this,":[165],"argue":[167],"tools,":[170],"such":[171],"CARMOT,":[173],"can":[174],"provide":[175],"rich":[179],"ecosystem":[180],"modern":[182],"abstractions.":[185]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}