Harnessing heap analysis for the synthesis of superoptimized bytecode - Albert, E; Correas, J; Gordillo, P; Román-Díez, G; Rubio, A (Journal Of Systems And Software, 2025)