VEER: Enhancing the Interpretability of Model-based Optimizations
Kewen Peng, Christian Kaltenecker, Norbert Siegmund, Sven Apel, Tim, Menzies

TL;DR
VEER is a fast, one-dimensional approximation method that reduces model disagreement in multi-objective system optimization, achieving comparable or better results efficiently.
Contribution
The paper introduces VEER, a novel one-dimensional approximation approach that mitigates model disagreement and significantly speeds up multi-objective optimization tasks.
Findings
VEER reduces model disagreement effectively.
VEER achieves comparable or better optimization results.
VEER is three orders of magnitude faster on large problems.
Abstract
Many software systems can be tuned for multiple objectives (e.g., faster runtime, less required memory, less network traffic or energy consumption, etc.). Optimizers built for different objectives suffer from "model disagreement"; i.e., they have different (or even opposite) insights and tactics on how to optimize a system. Model disagreement is rampant (at least for configuration problems). Yet prior to this paper, it has barely been explored. This paper shows that model disagreement can be mitigated via VEER, a one-dimensional approximation to the N-objective space. Since it is exploring a simpler goal space, VEER runs very fast (for eleven configuration problems). Even for our largest problem (with tens of thousands of possible configurations), VEER finds as good or better optimizations with zero model disagreements, three orders of magnitude faster (since its one-dimensional output…
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 · Formal Methods in Verification · Software Reliability and Analysis Research
