Executor
See:
bib cite
FAQ from ARDI
(an HTML version might be
here
)
An overview of Executor's internals
Shade
From
instruction-set simulation and tracing
