CONFIGEN: A tool for managing configuration options
Emmanuel Ohayon (CEA LIST), Matthieu Lemerre (CEA LIST), Vincent David, (CEA LIST)

TL;DR
CONFIGEN is a tool that simplifies software modularization by enabling component selection through an interactive interface, automatically generating configuration files, and supporting complex system refactoring based on propositional logic.
Contribution
It introduces a novel tool that integrates propositional logic for managing software configurations and automates configuration file generation for complex systems.
Findings
Successfully used in complex system software refactoring
Automates configuration file generation for C/assembly and Makefiles
Based on propositional logic, addressing theoretical challenges
Abstract
This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interactive interface. Configuration files for use by C/assembly code and Makefiles are then automatically generated, and we successfully used it as a helper tool for complex system software refactoring. CONFIGEN is based on propositional logic, and its implementation faces hard theoretical problems.
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.
