3 ms·Stratified Synthesis: Automatically Learning the X86-64 Instruction Set [pdf]3 points by xenophonf 10y ago