1. Sahara: Guiding the Debugging ofFailed Software Upgrades Rekha Bachwani, Olivier Crameri, Ricardo Bianchini, Dejan Kostic, Willy Zwaenepoel 2. MotivationModern software…