Lightweight program specialization via dynamic slicing | Publicación