Harnessing heap analysis for the synthesis of superoptimized bytecode | Publicación