CRISP
See:
an ISCA paper
another ISCA paper
Shade
From
instruction-set simulation and tracing