Stratified synthesis: automatically learning the x86-64 instruction set

Article Details
Title:	Stratified synthesis: automatically learning the x86-64 instruction set
Article URLs:	https://doi.org/10.1145/2908080.2908121
Alternative Article URLs:
Authors:	Stefan Heule	Stanford University
	Eric Schkufza	VMware, USA
	Rahul Sharma	Stanford University
	Alex Aiken	Stanford University
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://stefanheule.com/s/projects/strata/ https://github.com/StanfordPL/strata/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1409813, 1160904
DBLP Key:	conf/pldi/HeuleS0A16
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2016