Re-constructing high-level information for language-specific binary re-optimizationToshihiko KojuReid Copelandet al.2016CGO 2016