Spa
See:
bib cite
brief writeup
Shade
The Spa
source code
From
instruction-set simulation and tracing