Stratified synthesis: automatically learning the x86-64 instruction set

Stefan Heule, Eric Schkufza, Rahul Sharma 0001, Alex Aiken. Stratified synthesis: automatically learning the x86-64 instruction set. In Chandra Krintz, Emery Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. pages 237-250, ACM, 2016. [doi]

Authors

Stefan Heule

This author has not been identified. Look up 'Stefan Heule' in Google

Eric Schkufza

This author has not been identified. Look up 'Eric Schkufza' in Google

Rahul Sharma 0001

This author has not been identified. Look up 'Rahul Sharma 0001' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google