The dynamic trace memoization reuse technique | IEEE Conference Publication | IEEE Xplore