JRed: Program Customization and Bloatware Mitigation Based on Static Analysis | IEEE Conference Publication | IEEE Xplore