Stratified Synthesis: Automatically Learning the x86-64 Instruction Set (2016) [pdf]cs.stanford.edu74 pointstodsacerdoti4 years ago