A mapping approach between IR and binary CFGs dealing with aggressive compiler optimizations for performance estimation | IEEE Conference Publication | IEEE Xplore