kirancodes.me
To Proof Maintenance & Beyond!

PGZ: automatic zero-value code specialization

Mark Stephenson, Ram Rangan

Abstract

In prior work we proposed Zeroploit, a transform that duplicates code, specializes one path assuming certain key program operands, called versioning variables, are zero, and leaves the other path unspecialized. Dynamically, depending on the versioning variable’s value, either the specialized fast path or the default slow path will execute. We evaluated Zeroploit with hand-optimized codes in that work.

Related papers