Christian Kästner Contact: kaestner@cs.cmu.edu Projects Limiting Recertification in Highly Configurable Systems: Analyzing Interactions and Isolation among Configuration Options Highly Configurable Systems