Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
Federico Bruzzone, Walter Cazzola, Luca Favini

TL;DR
This paper introduces a compiler-based method for prioritizing configurations in Rust programs, enabling efficient exploration of large configuration spaces through feature ranking and graph analysis.
Contribution
It presents the first compiler-based approach for ranking and refining feature relevance in Rust, integrating graph centrality and code impact for configuration prioritization.
Findings
Efficient generation of relevant configurations within bounded resources
Soundness guaranteed by SAT solver integration
Effective exploration of large configuration spaces
Abstract
Modern programming languages, most notably Rust, offer advanced linguistic constructs for building highly configurable software systems as aggregation of features -- identified by a configuration. However, they pose substantial challenges for program analysis, optimization, and testing, as the combinatorial explosion of configurations often makes exhaustive exploration infeasible. In this manuscript, we present the first compiler-based method for prioritizing configurations. Our approach consists of four main steps: 1. extracting a tailored intermediate representation from the Rust compiler, 2. constructing two complementary graph-based data structures, 3. using centrality measures to rank features, and 4. refining the ranking by considering the extent of code they impact. A fixed number of most relevant configurations are generated based on the achieved feature ranking. The validity of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Software Engineering Research · Software System Performance and Reliability
