{"id":"https://openalex.org/W2069283169","doi":"https://doi.org/10.1145/2491956.2491976","title":"SPL <sup>LIFT</sup>","display_name":"SPL <sup>LIFT</sup>","publication_year":2013,"publication_date":"2013-06-11","ids":{"openalex":"https://openalex.org/W2069283169","doi":"https://doi.org/10.1145/2491956.2491976","mag":"2069283169"},"language":"en","primary_location":{"id":"doi:10.1145/2491956.2491976","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491956.2491976","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","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/A5076678278","display_name":"Eric Bodden","orcid":"https://orcid.org/0000-0003-3470-3647"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Eric Bodden","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040055776","display_name":"T\u00e1rsis Tol\u00eado","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"T\u00e1rsis Tol\u00eado","raw_affiliation_strings":["Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051287042","display_name":"M\u00e1rcio Ribeiro","orcid":"https://orcid.org/0000-0002-4293-4261"},"institutions":[{"id":"https://openalex.org/I79889768","display_name":"Universidade Federal de Alagoas","ror":"https://ror.org/00dna7t83","country_code":"BR","type":"education","lineage":["https://openalex.org/I79889768"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"M\u00e1rcio Ribeiro","raw_affiliation_strings":["Federal University of Alagoas, Macei\u00f3, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Alagoas, Macei\u00f3, Brazil","institution_ids":["https://openalex.org/I79889768"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030845988","display_name":"Claus Brabrand","orcid":"https://orcid.org/0000-0001-5093-5806"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Claus Brabrand","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark","It university of copenhagen, copenhagen, denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"It university of copenhagen, copenhagen, denmark#TAB#","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073460644","display_name":"Paulo Borba","orcid":"https://orcid.org/0000-0002-0381-2843"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Paulo Borba","raw_affiliation_strings":["Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5076678278"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":18.2741,"has_fulltext":false,"cited_by_count":106,"citation_normalized_percentile":{"value":0.99225567,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"355","last_page":"364"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9664999842643738,"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.9664999842643738,"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/T11274","display_name":"Botulinum Toxin and Related Neurological Disorders","score":0.9104999899864197,"subfield":{"id":"https://openalex.org/subfields/2728","display_name":"Neurology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9010000228881836,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/lift","display_name":"Lift (data mining)","score":0.49042221903800964},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3680272102355957},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.06443905830383301}],"concepts":[{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.49042221903800964},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3680272102355957},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.06443905830383301}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2491956.2491976","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491956.2491976","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/0ac25813-c16d-492f-871f-12b685e52a79","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/0ac25813-c16d-492f-871f-12b685e52a79","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bodden, E, Tol\u00eado, T, Ribeiro, M, Brabrand, C, Borba, P & Mezini, M 2013, 'SPL LIFT : Statically Analyzing Software Product Lines in Minutes instead of Years', A C M / S I G P L A N Notices, vol. 48, no. 6, pp. 355-364. https://doi.org/10.1145/2491956.2491976","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320323678","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","ror":"https://ror.org/02te5rf52"},{"id":"https://openalex.org/F4320324265","display_name":"Instituto Nacional de Ci\u00eancia e Tecnologia para Engenharia de Software","ror":"https://ror.org/00c70d758"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W338991206","https://openalex.org/W1490160828","https://openalex.org/W1495498564","https://openalex.org/W1508482211","https://openalex.org/W1552065586","https://openalex.org/W1596778355","https://openalex.org/W1608142476","https://openalex.org/W1792369775","https://openalex.org/W1842210354","https://openalex.org/W1971327145","https://openalex.org/W1974608873","https://openalex.org/W1988320459","https://openalex.org/W1999214372","https://openalex.org/W2003113483","https://openalex.org/W2009093319","https://openalex.org/W2012148899","https://openalex.org/W2026947155","https://openalex.org/W2036157748","https://openalex.org/W2036918610","https://openalex.org/W2049497188","https://openalex.org/W2052664195","https://openalex.org/W2080573945","https://openalex.org/W2082263366","https://openalex.org/W2100619699","https://openalex.org/W2102890180","https://openalex.org/W2105285801","https://openalex.org/W2112630514","https://openalex.org/W2113201637","https://openalex.org/W2115725211","https://openalex.org/W2117352154","https://openalex.org/W2121771606","https://openalex.org/W2130195901","https://openalex.org/W2153269672","https://openalex.org/W2155735696","https://openalex.org/W2156881251","https://openalex.org/W2161565163","https://openalex.org/W2167363133","https://openalex.org/W2167672803","https://openalex.org/W2171002355","https://openalex.org/W2561675875","https://openalex.org/W2770491639","https://openalex.org/W2896162588","https://openalex.org/W4235070923","https://openalex.org/W4285719527","https://openalex.org/W4299835756"],"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":{"A":[0],"software":[1,11],"product":[2,148],"line":[3,71,135],"(SPL)":[4],"encodes":[5],"a":[6,69,105,111,133],"potentially":[7],"large":[8],"variety":[9],"of":[10,15,53,72,136,169],"products":[12,41],"as":[13,32],"variants":[14],"some":[16],"common":[17],"code":[18],"base.":[19],"Up":[20],"until":[21],"now,":[22],"re-using":[23],"traditional":[24,83,164],"static":[25,56,142],"analyses":[26,57,130,143],"for":[27,82,90],"SPLs":[28],"was":[29],"virtually":[30],"intractable,":[31],"it":[33],"required":[34],"programmers":[35,66],"to":[36,62,67,96,108,145,153],"generate":[37],"and":[38,119,161],"analyze":[39],"all":[40],"individually.":[42],"In":[43],"this":[44],"work,":[45],"however,":[46],"we":[47,121,150],"show":[48,122,154],"how":[49],"an":[50,97],"important":[51],"class":[52],"existing":[54],"inter-procedural":[55],"can":[58,127],"be":[59],"transparently":[60],"lifted":[61],"SPLs.":[63],"Without":[64],"requiring":[65],"change":[68],"single":[70,134],"code,":[73],"our":[74,156],"approach":[75,157,165],"SPLLIFT":[76,125],"automatically":[77],"converts":[78],"any":[79],"analysis":[80,99],"formulated":[81,100],"programs":[84],"within":[85],"the":[86,102,163],"popular":[87],"IFDS":[88],"framework":[89],"inter-procedural,":[91],"finite,":[92],"distributive,":[93],"subset":[94],"problems":[95],"SPL-aware":[98],"in":[101],"IDE":[103],"framework,":[104],"well-known":[106],"extension":[107],"IFDS.":[109],"Using":[110],"full":[112],"implementation":[113],"based":[114],"on":[115],"Heros,":[116],"Soot,":[117],"CIDE":[118],"JavaBDD,":[120],"that":[123,155],"with":[124],"one":[126],"reuse":[128],"IFDS-based":[129],"without":[131],"changing":[132],"code.":[137],"Through":[138],"experiments":[139],"using":[140],"three":[141],"applied":[144],"four":[146],"Java-based":[147],"lines,":[149],"were":[151],"able":[152],"produces":[158],"correct":[159],"results":[160],"outperforms":[162],"by":[166],"several":[167],"orders":[168],"magnitude.":[170]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":18},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":14},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":14},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":18},{"year":2013,"cited_by_count":7}],"updated_date":"2025-11-23T05:10:03.516525","created_date":"2016-06-24T00:00:00"}