How developers micro-optimize Android apps (journal-first abstract) | IEEE Conference Publication | IEEE Xplore