Stratified synthesis: automatically learning the x86-64 instruction set.

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken

Browse the full PLDI paper archive.