Papers related to Reverse-engineering instruction encodings
- Reverse interpretation + mutation analysis = automatic retargeting [collberg:pldi:1997]
- The New Jersey machine-code toolkit [ramsey:usenix:1995]
- Automatic generation and validation of instruction encoders and decoders [xu:cav:2021]