{"id":"https://openalex.org/W2979745148","doi":"https://doi.org/10.1145/3357765.3359518","title":"Lifted static analysis using a binary decision diagram abstract domain","display_name":"Lifted static analysis using a binary decision diagram abstract domain","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W2979745148","doi":"https://doi.org/10.1145/3357765.3359518","mag":"2979745148"},"language":"en","primary_location":{"id":"doi:10.1145/3357765.3359518","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357765.3359518","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th 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/A5063086549","display_name":"Aleksandar S. Dimovski","orcid":"https://orcid.org/0000-0002-3601-2631"},"institutions":[{"id":"https://openalex.org/I4391012568","display_name":"Mother Teresa University","ror":"https://ror.org/04wnz0192","country_code":null,"type":"education","lineage":["https://openalex.org/I4391012568"]},{"id":"https://openalex.org/I2800414091","display_name":"Mother Teresa Hospital","ror":"https://ror.org/027x3m696","country_code":"AL","type":"healthcare","lineage":["https://openalex.org/I2800414091"]}],"countries":["AL"],"is_corresponding":true,"raw_author_name":"Aleksandar S. Dimovski","raw_affiliation_strings":["Mother Teresa University, Macedonia"],"affiliations":[{"raw_affiliation_string":"Mother Teresa University, Macedonia","institution_ids":["https://openalex.org/I2800414091","https://openalex.org/I4391012568"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5063086549"],"corresponding_institution_ids":["https://openalex.org/I2800414091","https://openalex.org/I4391012568"],"apc_list":null,"apc_paid":null,"fwci":1.5402,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87581935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"102","last_page":"114"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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/property","display_name":"Property (philosophy)","score":0.748100221157074},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.7292210459709167},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7204779386520386},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.663240909576416},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.6520034074783325},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.6221914291381836},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.6009378433227539},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5809558033943176},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5583142638206482},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5494399666786194},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4935950040817261},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4725898206233978},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42824694514274597},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.4128366708755493},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.41197097301483154},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38557279109954834},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2876146137714386},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2442323863506317},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16055721044540405},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1593480408191681},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.12956750392913818},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.10626912117004395}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.748100221157074},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.7292210459709167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7204779386520386},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.663240909576416},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.6520034074783325},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.6221914291381836},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.6009378433227539},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5809558033943176},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5583142638206482},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5494399666786194},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4935950040817261},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4725898206233978},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42824694514274597},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.4128366708755493},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.41197097301483154},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38557279109954834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2876146137714386},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2442323863506317},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16055721044540405},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1593480408191681},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.12956750392913818},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.10626912117004395},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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},{"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/3357765.3359518","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357765.3359518","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W77406878","https://openalex.org/W1501652040","https://openalex.org/W1518995377","https://openalex.org/W1572129784","https://openalex.org/W1573838559","https://openalex.org/W1611084195","https://openalex.org/W1679534293","https://openalex.org/W1839789313","https://openalex.org/W2007136125","https://openalex.org/W2014764321","https://openalex.org/W2016954568","https://openalex.org/W2043100293","https://openalex.org/W2048064553","https://openalex.org/W2060239975","https://openalex.org/W2069283169","https://openalex.org/W2069920427","https://openalex.org/W2072325005","https://openalex.org/W2080267935","https://openalex.org/W2081041113","https://openalex.org/W2100619699","https://openalex.org/W2110025251","https://openalex.org/W2132661148","https://openalex.org/W2147671787","https://openalex.org/W2163556509","https://openalex.org/W2171002355","https://openalex.org/W2249077347","https://openalex.org/W2274354802","https://openalex.org/W2394570354","https://openalex.org/W2511206070","https://openalex.org/W2554860003","https://openalex.org/W2738172349","https://openalex.org/W2793193660","https://openalex.org/W2796176211","https://openalex.org/W2921381765","https://openalex.org/W2934549348","https://openalex.org/W3022177319","https://openalex.org/W3158747708","https://openalex.org/W6634372013","https://openalex.org/W6636496789","https://openalex.org/W6638727080"],"related_works":["https://openalex.org/W2099479461","https://openalex.org/W2186785709","https://openalex.org/W2115614456","https://openalex.org/W1548080088","https://openalex.org/W568847311","https://openalex.org/W3049636381","https://openalex.org/W2172013989","https://openalex.org/W4231047380","https://openalex.org/W2765641823","https://openalex.org/W4297908618"],"abstract_inverted_index":{"Many":[0],"software":[1],"systems":[2],"are":[3],"today":[4],"variational.":[5],"They":[6],"can":[7,110],"produce":[8,54],"a":[9,41,132],"potentially":[10],"large":[11,133],"variety":[12],"of":[13,36,47,64,73,108,116,135],"related":[14],"programs":[15],"(variants)":[16],"by":[17,94],"selecting":[18],"suitable":[19],"configuration":[20],"options":[21],"(features)":[22],"at":[23],"compile":[24],"time.":[25],"Specialized":[26],"variability-aware":[27],"(lifted,":[28],"family-based)":[29],"static":[30],"analyses":[31,121],"allow":[32],"analyzing":[33],"all":[34,59,97],"variants":[35,49,109],"the":[37,48,65,106,114],"family,":[38],"simultaneously,":[39],"in":[40,91],"single":[42],"run":[43],"without":[44],"generating":[45],"any":[46],"explicitly.":[50],"In":[51],"effect,":[52],"they":[53],"precise":[55],"analysis":[56,67,83],"results":[57],"for":[58,96,129],"individual":[60],"variants.":[61,136],"The":[62],"elements":[63],"lifted":[66,120],"domain":[68,84],"represent":[69],"tuples":[70],"(i.e.":[71],"disjunction":[72],"properties),":[74],"which":[75],"maintain":[76],"one":[77,93,95],"property":[78,89],"from":[79],"an":[80],"existing":[81],"single-program":[82],"per":[85],"variant.":[86],"Nevertheless,":[87],"explicit":[88],"enumeration":[90],"tuples,":[92],"variants,":[98],"immediately":[99],"yields":[100],"to":[101],"combinatorial":[102],"explosion":[103],"given":[104],"that":[105],"number":[107,115,134],"grow":[111],"exponentially":[112],"with":[113,131],"features.":[117],"Therefore,":[118],"such":[119],"may":[122],"be":[123],"too":[124],"costly":[125],"or":[126],"even":[127],"infeasible":[128],"families":[130]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}