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
ACM
New York, NY, USA
Pages 237-250
2016
Note(s): x86 architecture, instruction set architecture, ISA specification
PLDI '16
Santa Barbara, CA, USA
ACM
New York, NY, USA
Pages 237-250
2016
Note(s): x86 architecture, instruction set architecture, ISA specification