Polymorphic type inference for machine code. - Matthew Noonan; Alexey Loginov; David R. Cok (PLDI, 2016)