Dawson R. Engler Wilson C. Hsieh Derive: a tool that automatically reverse-engineers instruction encodings. 12-22 2000 Dynamo http://doi.acm.org/10.1145/351397.351409 db/conf/dynamo/dynamo2000.html#EnglerH00