{"id":"https://openalex.org/W4410811266","doi":"https://doi.org/10.1145/3715340.3715445","title":"A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export","display_name":"A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export","publication_year":2025,"publication_date":"2025-02-04","ids":{"openalex":"https://openalex.org/W4410811266","doi":"https://doi.org/10.1145/3715340.3715445"},"language":"en","primary_location":{"id":"doi:10.1145/3715340.3715445","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715340.3715445","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3715340.3715445","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 19th International Working Conference on Variability Modelling of Software-Intensive Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3715340.3715445","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115059840","display_name":"Jude Gyimah","orcid":null},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jude Gyimah","raw_affiliation_strings":["Ruhr University Bochum, Bochum, Germany"],"raw_orcid":"https://orcid.org/0009-0003-5564-9253","affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106462521","display_name":"Jan Sollmann","orcid":"https://orcid.org/0009-0007-3973-4641"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Sollmann","raw_affiliation_strings":["Ruhr University Bochum, Bochum, Germany"],"raw_orcid":"https://orcid.org/0009-0007-3973-4641","affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117725496","display_name":"Ole Schuerks","orcid":null},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ole Schuerks","raw_affiliation_strings":["Ruhr University Bochum, Bochum, Germany"],"raw_orcid":"https://orcid.org/0009-0007-6281-4308","affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041260717","display_name":"Patrick Franz","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Patrick Franz","raw_affiliation_strings":["Chalmers | University of Gothenburg, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0009-0001-0586-6239","affiliations":[{"raw_affiliation_string":"Chalmers | University of Gothenburg, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072456187","display_name":"Thorsten Berger","orcid":"https://orcid.org/0000-0002-3870-5167"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thorsten Berger","raw_affiliation_strings":["Ruhr University Bochum and Chalmers | University of Gothenburg, Bochum, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3870-5167","affiliations":[{"raw_affiliation_string":"Ruhr University Bochum and Chalmers | University of Gothenburg, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"91","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"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.9988999962806702,"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.9976000189781189,"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/T10142","display_name":"Formal Methods in Verification","score":0.9857000112533569,"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/computer-science","display_name":"Computer science","score":0.7279822826385498},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.647643506526947},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45098528265953064},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36204490065574646}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7279822826385498},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.647643506526947},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45098528265953064},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36204490065574646},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3715340.3715445","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715340.3715445","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3715340.3715445","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 19th International Working Conference on Variability Modelling of Software-Intensive Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3715340.3715445","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715340.3715445","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3715340.3715445","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 19th International Working Conference on Variability Modelling of Software-Intensive Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410811266.pdf","grobid_xml":"https://content.openalex.org/works/W4410811266.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1260237309","https://openalex.org/W1547743088","https://openalex.org/W2005680430","https://openalex.org/W2007210734","https://openalex.org/W2009093319","https://openalex.org/W2009982135","https://openalex.org/W2018783607","https://openalex.org/W2021140132","https://openalex.org/W2036869460","https://openalex.org/W2048848542","https://openalex.org/W2051945152","https://openalex.org/W2058154764","https://openalex.org/W2059510240","https://openalex.org/W2107351452","https://openalex.org/W2128780139","https://openalex.org/W2131735874","https://openalex.org/W2148965601","https://openalex.org/W2149155803","https://openalex.org/W2151725765","https://openalex.org/W2151823662","https://openalex.org/W2153690411","https://openalex.org/W2157771728","https://openalex.org/W2160469838","https://openalex.org/W2168668632","https://openalex.org/W2170167679","https://openalex.org/W2293311388","https://openalex.org/W2734941459","https://openalex.org/W2753294950","https://openalex.org/W2756040459","https://openalex.org/W2886368483","https://openalex.org/W2904680236","https://openalex.org/W2964867822","https://openalex.org/W2968570979","https://openalex.org/W2970432965","https://openalex.org/W3093575449","https://openalex.org/W3163483881","https://openalex.org/W3184105498","https://openalex.org/W4200284049","https://openalex.org/W4200428004","https://openalex.org/W4205530845","https://openalex.org/W4319867088"],"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/W4388675521","https://openalex.org/W2108135022","https://openalex.org/W3148810651","https://openalex.org/W2789077243","https://openalex.org/W2898772359"],"abstract_inverted_index":{"The":[0],"Linux":[1,29,85],"kernel":[2,30,131],"and":[3,31,58,61,72,87],"its":[4,32,153],"huge":[5],"configuration":[6,23,33,113,122],"space":[7],"(>15,000":[8],"features)":[9],"has":[10,19],"been":[11],"a":[12,56,89,94],"frequent":[13],"study":[14],"object.While":[15],"the":[16,28,36,84,100,106,117,140,145,156],"research":[17,80],"community":[18,86],"developed":[20],"intelligent":[21],"software":[22],"tools,":[24],"often":[25,50],"motivated":[26],"by":[27,134],"language":[34],"Kconfig,":[35],"kernel's":[37],"own":[38],"configurator":[39],"xconfig":[40,118,149],"lacks":[41],"behind.Configuration":[42],"conflicts":[43],"need":[44],"to":[45,75,83,124,127],"be":[46],"resolved":[47],"manually,":[48],"which":[49],"causes":[51],"substantial":[52],"overhead.Unfortunately,":[53],"Kconfig":[54,107],"is":[55,93],"complex":[57],"intricate":[59],"language,":[60],"while":[62],"transformations":[63],"into":[64,77,109,116],"propositional":[65,110],"logic":[66],"exist,":[67],"they":[68],"typically":[69],"have":[70],"shortcomings":[71],"are":[73],"difficult":[74],"integrate":[76],"xconfig.We":[78],"contribute":[79],"results":[81],"back":[82],"present":[88],"demo":[90,143],"of":[91,97,105,148,158],"ConfigFix.It":[92],"plain-C-based":[95],"extension":[96],"xconfig,":[98],"providing":[99],"currently":[101],"most":[102],"accurate":[103],"abstraction":[104],"semantics":[108],"logic.It":[111],"provides":[112],"conflict":[114],"resolution.Integrated":[115],"UI,":[119],"it":[120],"offers":[121],"fixes":[123],"users":[125],"trying":[126],"enable":[128],"or":[129],"disable":[130],"features":[132],"restricted":[133],"dependencies.In":[135],"addition,":[136],"researchers":[137],"benefit":[138],"from":[139],"DIMACS":[141],"export.Our":[142],"presents":[144],"main":[146],"capabilities":[147],"as":[150,152],"well":[151],"evaluation":[154],"showing":[155],"accuracy":[157],"it.":[159]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}