{"id":"https://openalex.org/W4407942556","doi":"https://doi.org/10.1145/3708493.3712679","title":"Enhancing Program Analysis with Deterministic Distinguishable Calling Context","display_name":"Enhancing Program Analysis with Deterministic Distinguishable Calling Context","publication_year":2025,"publication_date":"2025-02-25","ids":{"openalex":"https://openalex.org/W4407942556","doi":"https://doi.org/10.1145/3708493.3712679"},"language":"en","primary_location":{"id":"doi:10.1145/3708493.3712679","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712679","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3708493.3712679","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036470848","display_name":"Sungkeun Kim","orcid":"https://orcid.org/0000-0003-0855-2443"},"institutions":[{"id":"https://openalex.org/I2250650973","display_name":"Samsung (South Korea)","ror":"https://ror.org/04w3jy968","country_code":"KR","type":"company","lineage":["https://openalex.org/I2250650973"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sungkeun Kim","raw_affiliation_strings":["Samsung Research, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0003-0855-2443","affiliations":[{"raw_affiliation_string":"Samsung Research, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I2250650973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013166244","display_name":"Khanh Nguyen","orcid":"https://orcid.org/0000-0003-0400-1070"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Khanh Nguyen","raw_affiliation_strings":["Texas A&M University, College Station, USA"],"raw_orcid":"https://orcid.org/0000-0003-0400-1070","affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030297011","display_name":"Chia-Che Tsai","orcid":"https://orcid.org/0000-0002-0016-6487"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chia-Che Tsai","raw_affiliation_strings":["Texas A&M University, College Station, USA"],"raw_orcid":"https://orcid.org/0000-0002-0016-6487","affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jaewoo Lee","orcid":"https://orcid.org/0009-0004-8801-3080"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jaewoo Lee","raw_affiliation_strings":["Texas A&M University, College Station, USA"],"raw_orcid":"https://orcid.org/0009-0004-8801-3080","affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102915313","display_name":"Abdullah Muzahid","orcid":"https://orcid.org/0000-0001-8145-815X"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdullah Muzahid","raw_affiliation_strings":["Texas A&M University, College Station, USA"],"raw_orcid":"https://orcid.org/0000-0001-8145-815X","affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002298749","display_name":"Eun Jung Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eun Jung Kim","raw_affiliation_strings":["Texas A&M University, College Station, USA"],"raw_orcid":"https://orcid.org/0000-0002-2590-698X","affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.452,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.76604834,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7878000140190125,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.7878000140190125,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10429","display_name":"EEG and Brain-Computer Interfaces","score":0.7200000286102295,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.7185999751091003,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.6930704116821289},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5979229211807251},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.06320145726203918}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6930704116821289},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5979229211807251},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.06320145726203918},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3708493.3712679","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712679","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3708493.3712679","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712679","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1553894716","https://openalex.org/W1970077739","https://openalex.org/W1977325135","https://openalex.org/W1987837522","https://openalex.org/W1997501780","https://openalex.org/W2008704879","https://openalex.org/W2087985741","https://openalex.org/W2101512909","https://openalex.org/W2101778912","https://openalex.org/W2108229043","https://openalex.org/W2126874930","https://openalex.org/W2136269217","https://openalex.org/W2140890722","https://openalex.org/W2144300381","https://openalex.org/W2151881397","https://openalex.org/W2151965112","https://openalex.org/W2156858199","https://openalex.org/W2160394585","https://openalex.org/W2167332015","https://openalex.org/W2295178416","https://openalex.org/W2297774820","https://openalex.org/W2532319962","https://openalex.org/W2604269348","https://openalex.org/W2605883949","https://openalex.org/W2734941459","https://openalex.org/W2914212514","https://openalex.org/W2963274022","https://openalex.org/W2964097210","https://openalex.org/W3011083606","https://openalex.org/W3097781304","https://openalex.org/W3130647239","https://openalex.org/W4210918539","https://openalex.org/W4225159042","https://openalex.org/W4232973962","https://openalex.org/W4239289337","https://openalex.org/W4241060387","https://openalex.org/W4242589468","https://openalex.org/W4243684882","https://openalex.org/W4248649658","https://openalex.org/W4253887501","https://openalex.org/W4283024785","https://openalex.org/W4285285689","https://openalex.org/W4299851009","https://openalex.org/W4300461182"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Calling":[0,94],"context":[1,27,105,122],"is":[2,28,112,132],"crucial":[3],"for":[4,178],"improving":[5],"the":[6,25,114,124,141,167],"precision":[7],"of":[8,103,111,170],"program":[9],"analyses":[10],"in":[11],"various":[12],"use":[13],"cases":[14],"(clients),":[15],"such":[16],"as":[17,123],"profiling,":[18],"debugging,":[19],"optimization,":[20],"and":[21,56,118,135,162,164,176,180],"security":[22],"checking.":[23],"Often":[24],"calling":[26,85,104,121],"encoded":[29,81],"using":[30],"a":[31,44,130,152],"numerical":[32],"value.":[33],"We":[34],"have":[35],"observed":[36],"that":[37,98,150],"many":[38],"clients":[39],"benefit":[40],"not":[41,66],"only":[42,63],"from":[43],"deterministic":[45],"but":[46],"also":[47],"globally":[48],"distinguishable":[49],"value":[50],"across":[51],"runs":[52],"to":[53,71,79,156,174],"simplify":[54],"bookkeeping":[55],"guarantee":[57],"complete":[58],"uniqueness.":[59],"However,":[60],"existing":[61],"work":[62],"guarantees":[64],"determinism,":[65],"global":[67],"distinguishability.":[68],"Clients":[69],"need":[70],"develop":[72],"auxiliary":[73],"helpers,":[74],"which":[75],"incurs":[76],"considerable":[77],"overhead":[78,154],"distinguish":[80],"values":[82],"among":[83],"all":[84],"contexts.":[86],"In":[87],"this":[88],"paper,":[89],"we":[90],"propose":[91],"Deterministic":[92],"Distinguishable":[93],"Context":[95],"Encoding":[96],"()":[97],"can":[99,136],"enable":[100],"both":[101],"properties":[102],"encoding":[106,119,159],"natively.":[107],"The":[108],"key":[109],"idea":[110],"leveraging":[113],"static":[115],"call":[116,126],"graph":[117],"each":[120],"running":[125],"path":[127],"count.":[128],"Thereby,":[129],"mapping":[131],"established":[133],"statically":[134],"be":[137],"readily":[138],"used":[139],"by":[140],"clients.":[142],"Our":[143],"experiments":[144],"with":[145],"two":[146,157],"client":[147],"tools":[148],"show":[149],"has":[151],"comparable":[153],"compared":[155],"state-of-the-art":[158],"schemes,":[160],"PCCE":[161],"PCC,":[163],"further":[165],"avoids":[166],"expensive":[168],"overheads":[169],"collision":[171],"detection,":[172],"up":[173],"2.1\u00d7":[175],"50%,":[177],"Splash-3":[179],"SPEC":[181],"CPU":[182],"2017,":[183],"respectively.":[184]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}