Stratified synthesis: Automatically learning the x86-64 instruction set

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '16
Santa Barbara, CA, USA
New York, NY, USA
Pages 237-250
Note(s): x86 architecture, instruction set architecture, ISA specification