TAXI: Trace Analysis for x86 Interpretation | IEEE Conference Publication | IEEE Xplore