{"id":"https://openalex.org/W3108175955","doi":"https://doi.org/10.1145/3425898.3426962","title":"VarSem: declarative expression and automated inference of variable usage semantics","display_name":"VarSem: declarative expression and automated inference of variable usage semantics","publication_year":2020,"publication_date":"2020-11-16","ids":{"openalex":"https://openalex.org/W3108175955","doi":"https://doi.org/10.1145/3425898.3426962","mag":"3108175955"},"language":"en","primary_location":{"id":"doi:10.1145/3425898.3426962","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425898.3426962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","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/A5100411657","display_name":"Yin Liu","orcid":"https://orcid.org/0000-0002-0637-4471"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yin Liu","raw_affiliation_strings":["Virginia Tech, USA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013168771","display_name":"Eli Tilevich","orcid":"https://orcid.org/0000-0003-2415-6926"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eli Tilevich","raw_affiliation_strings":["Virginia Tech, USA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100411657"],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":0.2669,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67040299,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"84","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980999827384949,"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.8464207649230957},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6448471546173096},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6340243220329285},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.48522400856018066},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.46456044912338257},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3781798481941223},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3776755928993225},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.29681527614593506},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2307465672492981}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8464207649230957},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6448471546173096},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6340243220329285},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.48522400856018066},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.46456044912338257},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3781798481941223},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3776755928993225},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.29681527614593506},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2307465672492981},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3425898.3426962","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425898.3426962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W23149702","https://openalex.org/W1438616768","https://openalex.org/W1509245290","https://openalex.org/W1589083224","https://openalex.org/W1608271177","https://openalex.org/W1981108270","https://openalex.org/W1989479444","https://openalex.org/W1997104165","https://openalex.org/W2010608861","https://openalex.org/W2018141726","https://openalex.org/W2039906702","https://openalex.org/W2082160726","https://openalex.org/W2085106103","https://openalex.org/W2113697305","https://openalex.org/W2134429122","https://openalex.org/W2140609933","https://openalex.org/W2154021641","https://openalex.org/W2156841542","https://openalex.org/W2209872464","https://openalex.org/W2599393174","https://openalex.org/W2740220421","https://openalex.org/W2750919941","https://openalex.org/W2795150841","https://openalex.org/W2803054784","https://openalex.org/W2887773459","https://openalex.org/W2888557792","https://openalex.org/W2909014315","https://openalex.org/W2911958453","https://openalex.org/W2915514522","https://openalex.org/W2958505215","https://openalex.org/W2962995178","https://openalex.org/W2964150020","https://openalex.org/W2999616200","https://openalex.org/W2999760805","https://openalex.org/W3005951744","https://openalex.org/W3023695194","https://openalex.org/W3033482452","https://openalex.org/W4212803538","https://openalex.org/W4232691406","https://openalex.org/W4255945201"],"related_works":["https://openalex.org/W2724855087","https://openalex.org/W2122804569","https://openalex.org/W2793786546","https://openalex.org/W2021330659","https://openalex.org/W2886906914","https://openalex.org/W2884362859","https://openalex.org/W2153202472","https://openalex.org/W2362297705","https://openalex.org/W2170147406","https://openalex.org/W2154057204"],"abstract_inverted_index":{"Programmers":[0],"declare":[1],"variables":[2,93],"to":[3,11,95,137],"serve":[4],"specific":[5],"implementation":[6],"purposes":[7],"that":[8,45,148],"we":[9,39,68],"refer":[10],"as":[12,82],"variable":[13,151],"usage":[14,49],"semantics":[15,50,152],"(VUS).":[16],"Understanding":[17],"VUS":[18],"is":[19,80],"required":[20],"for":[21,123],"various":[22],"software":[23,163],"engineering":[24],"tasks,":[25],"including":[26,110],"program":[27,43,92,107],"comprehension,":[28],"code":[29],"audits,":[30],"and":[31,54,114,117,127,156,164],"vulnerability":[32],"detection.":[33],"To":[34,64],"help":[35],"programmers":[36],"understand":[37],"VUS,":[38],"present":[40],"a":[41,47,71,76,83,96,119],"new":[42,125],"analysis":[44,108,128],"infers":[46,150],"variable's":[48,77],"from":[51],"its":[52],"textual":[53],"context":[55],"information":[56,62,142],"(e.g.,":[57],"symbolic":[58],"name,":[59],"type,":[60],"scope,":[61],"flow).":[63],"support":[65],"this":[66],"analysis,":[67],"introduce":[69],"VarSem,":[70],"domain-specific":[72],"language,":[73],"in":[74],"which":[75,91],"semantic":[78,98],"category":[79],"expressed":[81],"set":[84],"of":[85],"declarative":[86,103],"rules.":[87],"VarSem's":[88],"execution":[89],"determines":[90],"belong":[94],"given":[97],"category.":[99],"VarSem":[100,132,149],"translates":[101],"high-level":[102],"rules":[104,126],"into":[105],"low-level":[106],"techniques,":[109],"natural":[111],"language":[112],"processing":[113],"data":[115],"flow,":[116],"provides":[118],"highly":[120],"extensible":[121],"architecture":[122],"specifying":[124],"techniques.":[129],"We":[130],"evaluate":[131],"with":[133,153],"eight":[134],"real-world":[135],"systems":[136],"identify":[138],"their":[139],"personally":[140],"identifiable":[141],"variables.":[143],"The":[144],"evaluation":[145],"results":[146],"show":[147],"satisfying":[154],"accuracy/precision":[155],"passable":[157],"recall,":[158],"thus":[159],"potentially":[160],"benefiting":[161],"both":[162],"security":[165],"engineers.":[166]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}